search

rems-project / isla

Symbolic execution tool for Sail ISA specifications
Other
61 stars 10 forks source link

Better error message on error from litmus run errors #40

Open bensimner opened 3 years ago