/src/test/java/resources/

• ../
• AllTests.xml
• BugTests.xml
• ComparisonTests.xml
• Correctness.xml
• ExistentialEvaluation.xml
• FullEvaluation.xml
• HeavyTests.xml
• MainTests.xml
• MiscellaneousTests.xml
• SygeniaTests.xml
• answers
• test.properties