search

izlatkin / HornLauncher

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

wrong instrumentation for gcnr2008.c #32

Open izlatkin opened 2 years ago

izlatkin commented 2 years ago

file:///Users/ilyazlatkin/PycharmProjects/results/sanbox_27_sep/gcnr2008/gcnr2008.c

reach_error();exit(0) - should be commented