Erickson Alves

SV-Comp 2020 results: ``` Statistics: 123 Files correct: 99 correct true: 99 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 24 Score: 198 (max: 246) ```...

For AWS test suite, the results are essentially the same.

For _SoftwareSystems-DeviceDriversLinux64-ReachSafety_: SV-Comp 2020 Results: ``` Statistics: 2705 Files correct: 1177 correct true: 1149 correct false: 28 correct u: 68 correct u true: 32 correct u false: 36 incorrect: 9...

@rafaelsamenezes confirmed in Jenkins that the job has executed normally.

@mikhailramalho @rafaelsamenezes I have tested this branch with _ReachSafety-Arrays_ category to check the output from _benchexec_. Out of 436 tasks, we can successfully verify 98 of them, 1 is unknown,...

Nice, but we need to change that on Jenkins, right?!

@rafaelsamenezes can we just update the script in `master` branch?

I have made the changes to `esbmc-wrapper.py` and `prepare_environment.sh`. Now we are checking _SoftwareSystems-DeviceDriversLinux64-ReachSafety_ suite again to debug it.

@rafaelsamenezes it seems that `benchexec` is hanged. Would you mind checking it?

Hi @ChristopherBrix , Thank you for replying. I see. Is it possible to run Neurify without giving it such images inputs? If so, how can I do that?