Does MemSAT have to run in Eclipse?

[Tsunaou]

Hello. I am a student studying memory model and consistency. I have read the MemSAT paper and I am very interested in this project.
Yesterday, I opened an issue about how to build the WALA project which is the dependency of MemSAT. Thanks to @msridhar , I successfully build WALA by

./gradlew publishToMavenLocal

And I have downloaded the Kodkod.jar of version 2.1 from the github and put it in com.ibm.wala.memsat.lib and com.ibm.wala.memsat.test.lib

The com.ibm.wala.core.tests-1.5.5-SNAPSHOT and com.ibm.wala.cast.test-1.5.5-SNAPSHOTcould not be built from the WALA project, but I found the two packages are not imported in the code , so I annoted them in pom.xml.

So I run the command

mvn clean install

The first error was in com.ibm.wala.memsat.frontEnd.slicer.PartialSlice that DataDependenceOptions.FULL, ControlDependenceOptions.FULL can not be found. I addressed it by import them from com.ibm.wala.ipa.slicer.Slicer.

The second error stumped me. It logs:

[INFO] 
[INFO] -------------------------------------------------------
[INFO]  T E S T S
[INFO] -------------------------------------------------------
[INFO] Running test.refactoring.JMMAltRefactoringTests
[INFO] Running test.sequential.MiniaturTests
[INFO] Running test.refactoring.JMMOriginalRefactoringTests
Unexpected problems in /home/young/Desktop/MemSAT/MemSAT/com.ibm.wala.memsat.test/../com.ibm.wala.memsat.testdata/source/data/little/Little.java
 The value of the local variable v is not used
The value of the field Little.MyEntry.element is not used
The value of the field Little.MyLinkedList.size is not used
The method add(Object) from the type Little.MyLinkedList is never used locally
The method addBefore(Object, Little.MyEntry) from the type Little.MyLinkedList is never used locally

[ERROR] Tests run: 3, Failures: 0, Errors: 3, Skipped: 0, Time elapsed: 14.095 s <<< FAILURE! - in test.refactoring.JMMOriginalRefactoringTests
[ERROR] testBug10(test.refactoring.JMMOriginalRefactoringTests)  Time elapsed: 7.135 s  <<< ERROR!
java.lang.IllegalArgumentException: null cache

[ERROR] testBug11(test.refactoring.JMMOriginalRefactoringTests)  Time elapsed: 3.733 s  <<< ERROR!
java.lang.IllegalArgumentException: null cache

[ERROR] testBugInlineLocal(test.refactoring.JMMOriginalRefactoringTests)  Time elapsed: 3.009 s  <<< ERROR!
java.lang.IllegalArgumentException: null cache

Unexpected problems in /home/young/Desktop/MemSAT/MemSAT/com.ibm.wala.memsat.test/../com.ibm.wala.memsat.testdata/source/data/little/Little.java
 The value of the local variable v is not used
The value of the field Little.MyEntry.element is not used
The value of the field Little.MyLinkedList.size is not used
The method add(Object) from the type Little.MyLinkedList is never used locally
The method addBefore(Object, Little.MyEntry) from the type Little.MyLinkedList is never used locally

[ERROR] Tests run: 3, Failures: 0, Errors: 3, Skipped: 0, Time elapsed: 14.525 s <<< FAILURE! - in test.refactoring.JMMAltRefactoringTests
[ERROR] testBug10(test.refactoring.JMMAltRefactoringTests)  Time elapsed: 6.925 s  <<< ERROR!
java.lang.IllegalArgumentException: null cache

[ERROR] testBug11(test.refactoring.JMMAltRefactoringTests)  Time elapsed: 4.752 s  <<< ERROR!
java.lang.IllegalArgumentException: null cache

[ERROR] testBugInlineLocal(test.refactoring.JMMAltRefactoringTests)  Time elapsed: 2.603 s  <<< ERROR!
java.lang.IllegalArgumentException: null cache

[INFO] Running test.linearizability.LinearizabilityTests
[WARNING] Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.062 s - in test.linearizability.LinearizabilityTests
[INFO] Running test.angelic.AngelicTests
[INFO] Running test.causality.CausalConsistencyCausalityTests
[WARNING] Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.048 s - in test.causality.CausalConsistencyCausalityTests
Unexpected problems in /home/young/Desktop/MemSAT/MemSAT/com.ibm.wala.memsat.test/../com.ibm.wala.memsat.testdata/source/data/little/Little.java
 The value of the local variable v is not used
The value of the field Little.MyEntry.element is not used
The value of the field Little.MyLinkedList.size is not used
The method add(Object) from the type Little.MyLinkedList is never used locally
The method addBefore(Object, Little.MyEntry) from the type Little.MyLinkedList is never used locally

[INFO] Running test.causality.JMMAltCausalityTests
Unexpected problems in /home/young/Desktop/MemSAT/MemSAT/com.ibm.wala.memsat.test/../com.ibm.wala.memsat.testdata/source/data/little/Little.java
 The value of the local variable v is not used
The value of the field Little.MyEntry.element is not used
The value of the field Little.MyLinkedList.size is not used
The method add(Object) from the type Little.MyLinkedList is never used locally
The method addBefore(Object, Little.MyEntry) from the type Little.MyLinkedList is never used locally
...

I suspect it is a problem with my running environment or the version is dismatch.
I import this maven project in IDEA and my OS is Ubuntu18.04 with java 1.8.
I am not familiar with Eclipse, does MemSAT have to run in Eclipse?
How to successfully run the MemSAT project?

[msridhar]

@juliandolby can you help here?