search

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
130 stars 91 forks source link

Changed decision procedure of ExampleDReal.jpf #57

Open tusharrai2017 opened 3 years ago

tusharrai2017 commented 3 years ago

The decision procedure DReal was giving error - Unknown Decision Procedure while testing ExampleDReal.jpf file in src/examples.I have changed decision procedure to choco since it is used for non-linear real constraints and the test executed successfully. This is my PR for the same.I will wait for feedback. Thanks.

tusharrai2017 commented 3 years ago

@corinus can you please look at this ? Thanks.