4.0.0 ch.usi.sqt triangle 1.0-SNAPSHOT 8 8 UTF-8 org.junit.jupiter junit-jupiter-api 5.9.2 test org.evosuite evosuite 1.2.0 system ${project.basedir}/testing-tools/evosuite-1.2.0.jar