Benjamin DANGLOT

Hi, thank you! Please find here, the txt report obtained: [runIf_z3_leaves.txt](https://github.com/pietrobraione/jbse/files/1613188/runIf_z3.txt) Here, I give you the same report but using `RunParameters.StepShowMode.ALL`: [runIf_z3_all.txt](https://github.com/pietrobraione/jbse/files/1613189/runIf_z3.txt) you might need him. Thank a lot! --...

Hi, Okay, I just changes the relative path to point to the jar generated by maven (inside `target`). But I am facing another issue. The Symbolic execution takes a lot...

Hi, > If you loop liberally over a symbolic string without putting an iteration bound, symbolic execution will diverge. Okay thank you very much! > However I am definitely very...

Hi @pietrobraione I saw that you made a lot of changes recently on JBSE. Could you please keep me update if I can switch on the `master` branch rather than...

This test aims at specifying the method `parseHex(string)` of `org.traccar.helper.DataConverter` in order to ensure that the exception/errors flow is under control.

Hello @Tailp That looks very nice! Thank you.

@Tailp I merged #847 I have some questions about it: 1. Is the provided URL for the example, _i.e._ `http://35.246.191.225:3000/`, accessible from everywhere? I tried but could not reach it....

Now, This can be done by implementing a dedicated set of class using TestFramework.

Will take more time than I thought: By default, it looks for a maven project at the same place than the `pom.xml`. If we do generate the pom files into...

#898 is the first attempt. However, it seems like this is complicated to handle all the cases (even the current tests in DSpot are complicated) I'll go for the first...