Lucas C. Cordeiro

I assume that @fbrausse is looking at this issue.

Thanks, @fbrausse.

@rafaelsamenezes: could you please check this issue? You have already worked on this code with our collaboration with Intel.

@rafaelsamenezes: Can I ask you whether you had a chance to check this issue?

@fbrausse: can I ask you for the status of this issue? > It does that when an implementation is missing or there is no solver support. As far as I...

Closed via https://github.com/esbmc/esbmc/commit/647c9f738c82d0370a06d02145c9d3a65fd6c369.

Dear @salvadorer, Thank you very much for this report. In the most recent versions of ESBMC (you can get them from https://github.com/esbmc/esbmc/releases), we removed the support for `--parallel-solving` due to...

@mikhailramalho: can I ask you whether you could run this PR over the SV-COMP benchmarks?

@intrigus-lgtm: Can I ask you whether you had a chance to advance with this PR? Please let us know if you need further support.

@intrigus-lgtm: Did you have any chance to progress with this PR? ;-)