Yo dawg, I heard you like formal...
That's why you need to formal, and then formal your formal. https://github.com/ucb-bar/riscv-torture/issues/11 …pic.twitter.com/GPM5UYeKgb
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This is a trivial bug for a conventional test suite to find. Formal shines brightest on complex sequences/timings.
-
And yet: The conventional test suits did not find that bug. :) Not riscv-torture, not riscv-tests, not anything csmith+gcc generates.
- Show replies
New conversation -
-
-
ps Might be worth giving the ideas here a shot: http://scrub.cs.berkeley.edu/wp-content/uploads/2012/01/2012ASPLOS-PokeEMU.pdf …
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.