search

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation
0 stars 0 forks source link

add command line support #9

Closed izlatkin closed 3 years ago

izlatkin commented 3 years ago

--input_file= or --input_dir= --output= --coverage=true/false / with or wo coverage

izlatkin commented 3 years ago

https://github.com/izlatkin/HornLauncher/commit/38706b662ea205f5d20523e55a0d8f8e4c102d11