Nope. The bug is still there. Created an issue on github now: https://github.com/SRI-CSL/yices2/issues/70 … cc @SRI_Intl
This looks like a bad bug in Yices2! And I was looking for a bug in my code.. I'll update Yices to latest git head and see if that fixes it.pic.twitter.com/zIqclVgAAW
-
-
-
Hey
@RolfRolles saw you were using Yices in your shellcode synthesis tooling, not sure if this impacts you
End of conversation
New conversation -
-
-
I'm just happy that this one was relatively easy to pin down. The complete SMT2 trace is over 2 MB big..
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Running the trace takes 25 minutes. It's an incremental SMT problem where the error happens in the 62nd check-sat. Not related to C/cbmc.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.