- The original dataset in Lyra is stored in Lyra-python-xxx.csv in the 'dataset/Python' directory.
- The original dataset in Pisces is stored in Pisces-java-xxx.csv in the 'dataset/Java' directory.
All data in Pisces can be compiled, but since no test cases were provided in Lyra, there are also no test cases in Pisces.
Therefore, human study is still needed to evaluate the correctness of the code.
- We use the pylint library for compilation checking in Lyra. Our version is python3.9, and other dependent packages can be found at https://github.com/LIANGQINGYUAN/Lyra.
- We use Maven for compilation checking in Pisces (because we use Springboot). Our version is jdk1.8, and the relevant pom.xml file is provided.
We implemented the SAT algorithm using the open-source SPT-Code, with the demo provided in 'SAT-demo.py'.
Modify the parameters and run 'run.py'.