search

izlatkin / HornLauncher

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

add time per file in log and in console #8

Closed izlatkin closed 3 years ago

izlatkin commented 3 years ago

https://github.com/izlatkin/HornLaucher/commit/b6e38ea3d07c6d8b5dab0e007490e777498693c3