replace/comment abort() and reach_error() function

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation

0 stars 0 forks source link

Closed izlatkin closed 3 years ago

izlatkin commented 3 years ago

comment reach_error() and replace abort() to exit(0) for coverage gathering

izlatkin commented 3 years ago