rems-project / isla

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

add make check #33

Closed bensimner closed 3 years ago

bensimner commented 3 years ago

running cargo check is nice when testing things out because cargo build is slow