Lazy Testing

Development

Install Dependencies

pip install -r requirements.txt

Decompile Codebase

Place jvm2json.exe in the utils directory.

python utils/java2json.py

Or watch for changes in Java files

python utils/java2json.py -w

Run main

python src/main.py {codebase} [dynamic/[symbolic]]

Example:

python src/main.py constant_becomes_equal dynamic
# or
python src/main.py constant_becomes_equal

Run performance test

python src/perf.py {codebase}

Run Tests

pytest tests

CodeBases

Codebase are meant to test isolated scenarios and are meant to not change much over time so we can write unit test for them. If you need to test how bytecode is generated consider using the scratch codebase.