How to run MemSAT

[graymalkin]

Hi,

Now I've got MemSAT building, can you offer any pointers on how to run it? If you can give me a couple of pointers I can maybe write up the instructions into the README.

• Simon

[juliandolby]

The only way to run it right now is to use the tests in com.ibm.wala.memset.test; running that project in Eclipse as a Unit test ought to run 200+ tests. To see how to use it outside the tests, the best bet is likely to look at how the tests run it. — Julian

…

On Jun 14, 2018, at 6:50 AM, Simon Cooksey ***@***.***> wrote: Hi, Now I've got MemSAT building, can you offer any pointers on how to run it? If you can give me a couple of pointers I can maybe write up the instructions into the README. Simon — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#2>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABk3fvSGoEp-MRF-eSEYx6nIIX8tDDo2ks5t8j_sgaJpZM4UnvB9>.