L. Applis

When changing maven to use jdk8, everything seems to work as expected. Atleast Gzoltar finds suspicious code as expected in j8, and does not do so in j11.

Good Afternoon @martinezmatias , Astor now terminates for Math280 (without finding a solution) but at least all Gzoltar Issues seem to be ironed out. At the moment I added the...

@martinezmatias I am a bit stuck again 🤷‍♂️ In older Gzoltar there seems to be information on the file under inspection, in newer there is not. The best I have...

Goude Middag @martinezmatias, The gzoltar part seems now pretty stable and happy. The new patients are [LauncherJunitProcess](https://github.com/SpoonLabs/astor/blob/master/src/main/java/fr/inria/astor/core/validation/junit/LaucherJUnitProcess.java) and the [JunitNoLogExecutor](https://github.com/SpoonLabs/astor/blob/master/src/main/java/fr/inria/astor/core/validation/junit/JUnitNologExternalExecutor.java). Without any modification, it seems that the NoLog Executor is...

Good Morning @martinezmatias , I am gravely stuck by now 😅 Good things first: The `-parameter` worked properly. In general I understand what's going on in the JunitExecutor, but it...

@martinezmatias thanks for the quick response. I think it's actually all still connected to migrating above java 8 in #307 . All of these changes are necessary to actually run...

Nice to hear :) When I remove the dependency I get ~100 Errors in 13 files, whereof 6 are in `fr.inria.astor.core.manipulation.synthesis.dynamoth` but also 6 are in `fr.inria.astor.approaches.tos.core.evaltos`. Dynamoth can be...

@martinezmatias , do you have an estimate how long you think it will take? Are there things I can support you for the *refactoring*?

@martinezmatias wow that was quick! :D I did some checks: - ✔️ `mvn compile` with OpenJDK15 on Windows works - ✔️ `mvn compile` with OpenJDK15 on MaOS BigSur works -...

I am currently trying to run on some of the examples, and they fail because in [gzoltar-faultlocalization](https://github.com/SpoonLabs/astor/blob/7bb0810aba97031d538831ccc7f6d90799ff722b/src/main/java/fr/inria/astor/core/faultlocalization/gzoltar/GZoltarFaultLocalization.java#L197) none of the tests fail (or is seen as a failing test). I...