MiniSat Error #2
Description
Hello,
I would like to do a class project to expand AllRepair by handling deleting/inserting break/continue statements and tightening and loosening conditions.
When I tried to build the repair unit, the minisat component was unable to compile. I got the most recent version of minisat and it built successfully. But now whenever I test AllRepair with one of the input examples used in the paper I get this error: AllRepair: ERROR DURING TRANSLATION. What version of minisat should I use or what else should I do to fix this?
Also, does the algorithm handle programs with continue statements? None of the input cases had continue statements. Could you clarify how break and continue statements are represented in the tool?