search

rems-project / isla

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

README.md: update footprint example commmand line #80

Closed mmcloughlin closed 8 months ago

mmcloughlin commented 8 months ago

Updates the isla-footprint example command line to point at the renamed snapshot and config file names.

Alasdair commented 8 months ago

Thanks!