Alarm clock 14 - Githubissues

nunchaku-inria / nunchaku

Model finder for higher-order logic

https://nunchaku-inria.github.io/nunchaku/

BSD 2-Clause "Simplified" License

42 stars 3 forks source link

Closed ML44 closed 8 years ago

ML44 commented 8 years ago

Error message "Alarm clock 14" when timeout.

c-cube commented 8 years ago

Should work now (tell me otherwise). I think it's because in some cases I would give CVC4 a negative timeout.