This project is read-only.
1

Closed

Crash in Boogie's Model Parser with CVC4

description

Commit be13964fbff4 of CVC4 crashes the Model Parser in combination with CUDA50/3_Imaging/histogram/histogram256.cu. This might indicate either that the parser is not general enough or that the generated model is incorrect.
Closed Sep 25, 2014 at 11:52 AM by jketema

comments

jketema wrote May 27, 2014 at 7:29 PM

The problem first seems to occur in CVC4 commit 2594dfe76830d