This project is read-only.
1

Closed

Crash in displaying of counterexamples when CVC4 is used

description

Run, e.g., testsuite/OpenCL/pointeranalysistests/manyprocedures/kernel.cl with CVC4 as solver.
Closed Sep 25, 2014 at 11:52 AM by jketema

comments