remove original monolithic project

Author: lexicalscope

svm-core/eclipse-formatter.xml eclipse-formatter.xml

@@ -13,9 +13,7 @@
 <booleanAttribute key="org.eclipse.jdt.junit.KEEPRUNNING_ATTR" value="false"/>
 <stringAttribute key="org.eclipse.jdt.junit.TESTNAME" value=""/>
 <stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.eclipse.jdt.junit.loader.junit4"/>
-<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value=""/>
 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="svm-core"/>
-<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/>
 <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea"/>
 </launchConfiguration>

svm-core/launch/svm tests.launch launch/svm tests.launch

@@ -16,23 +16,22 @@
 	</properties>
 
 	<modules>
-		<module>svm-smt-z3</module>
-		<module>svm-z3-plugin</module>
-		<module>svm-jlib</module>
-		<module>svm-core</module>
-		<module>svm-classloading</module>
+		<module>matchers-additional</module>
+		<module>svm-snapshot</module>
 		<module>svm-state</module>
+		<module>svm-trie</module>
 		<module>svm-vm</module>
-		<module>svm-jinstruction</module>
+		<module>svm-jlib</module>
+		<module>svm-classloading</module>
+		<module>svm-jnatives</module>
 		<module>svm-jcore</module>
+		<module>svm-jinstruction</module>
 		<module>svm-jvm-conc</module>
-		<module>svm-jnatives</module>
+		<module>svm-smt-z3</module>
+		<module>svm-z3-plugin</module>
+		<module>svm-jsymbols</module>
 		<module>svm-jinstruction-symb</module>
-		<module>svm-trie</module>
-		<module>matchers-additional</module>
 		<module>svm-jvm-symb</module>
-		<module>svm-jsymbols</module>
-		<module>svm-snapshot</module>
 	</modules>
 	<build>
 		<pluginManagement>

pom.xml

@@ -96,7 +96,6 @@ public interface ISimplificationResult {
       void simplified(ISymbol simplification);
    }
 
-
    public void modelForBv32Expr(final ISymbol symbol, final Pc pc, final ISimplificationResult result) {
       new SimplifyISymbolGivenPc(symbol, pc, result).eval(new Simplifier(ctx));
    }

svm-core/.classpath

@@ -6,6 +6,7 @@
 import org.junit.Test;
 
 import com.lexicalscope.junit.junitautocloseable.AutoCloseRule;
+import com.lexicalscope.symb.z3.FeasibilityChecker;
 import com.microsoft.z3.BitVecNum;
 import com.microsoft.z3.BitVecSort;
 import com.microsoft.z3.BoolExpr;