@oe1cxw I'm trying to use smtbmc and I've deliberately created false asserts, but the model checker still passes 
Am I doing something very stupid?
https://gist.github.com/GuzTech/9c162d1a01ef5f5344f966ed7ed6d9da …
-
-
I took it from your "Getting started" page: https://gist.github.com/GuzTech/0ad0592cd2d0e2535d29e4eab37b4103 …
-
I just call it with "sby -f stack.sby". The funny thing is that it did work before, and that it does read the file. For example, if I make a mistake, it will point it out. That's why I deliberately put assert(0) in there among other false assertions.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.