Name		Name	Last commit message	Last commit date
parent directory ..
experimentsDb		experimentsDb
lib		lib
log		log
metrics		metrics
project		project
specs		specs
src		src
.gitignore		.gitignore
ECOOP_AE_Submission_Document.md		ECOOP_AE_Submission_Document.md
README.md		README.md
build.sbt		build.sbt
emptyAppList.txt		emptyAppList.txt
enablezram.sh		enablezram.sh
exportDocker.sh		exportDocker.sh
note		note
pushDocker.sh		pushDocker.sh
rebuildJar.sh		rebuildJar.sh
run.sh		run.sh
runDocker.sh		runDocker.sh
runDockerLinux.sh		runDockerLinux.sh
runModelGenTest.sh		runModelGenTest.sh
runSbtTests.sh		runSbtTests.sh
runWorkers.sh		runWorkers.sh
run_info.sh		run_info.sh
run_locreach.sh		run_locreach.sh
run_nospec.sh		run_nospec.sh
run_spec.sh		run_spec.sh
testOut_nov_11_23.txt		testOut_nov_11_23.txt
testOut_results_nov_12_2023.txt		testOut_results_nov_12_2023.txt

README.md

Running Unit Tests

Install Android Studio and SDK (level 26 and 29 are needed for unit tests)
- Make sure that ANDROID_HOME is set (e.g. [user home]/Library/Android/sdk)
Install java 8 (I recommend using JEnv and OpenJDK. (As I recall this is currently a SOOT limitation)
install z3 from here: https://github.com/Z3Prover/z3
- when building, use python3 scripts/mk_make.py --java to compile the java bindings.
set sbt heap size with export SBT_OPTS="-Xmx2036M"
Run sbt test
Note that some tests may take a while.
It is recommended to develop in Intellij (community edition is fine)
If using a non-default version of java and jenv, set the JENV_VERSION environment variable to the jenv version you want to use (e.g. export JENV_VERSION=1.8). You can list available versions using the command jenv versions.
For jupyter notebooks, install nbdev hooks: https://nbdev.fast.ai/tutorials/git_friendly_jupyter.html