Duplicate constraint in OPB makes VeriPB Segfault on a Mac
Some of the CP solver proofs are crashing with the clang compiled VeriPB on a Mac. It seems to be something to do with having duplicate constraints in the OPB file.
Minimum breaking example:
crash.opb
1 x0 >= 0 ;
1 x0 >= 0 ;
crash.veripb
pseudo-Boolean proof version 2.0
f 2 0
red 1 x1 2 x2 4 ~x3 >= 4 ; x3 0
end pseudo-Boolean proof
For me gives:
Running VeriPB version 0.3.2.post150+git.9db2e96c.dirty
Segmentation fault: 11