add commandline options to ./landslide (e.g. --decision-info-only, --explore-forwards) - Githubissues

bblum / landslide-simics

the landslide codebase (old simics version)

11 stars 9 forks source link

add commandline options to ./landslide (e.g. --decision-info-only, --explore-forwards) #12

Open bblum opened 11 years ago

bblum commented 9 years ago

some of these can be linked into the id wrapper