search

izlatkin / HornLauncher

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

[memorysafty] low coverage - check global-atexit-1.c #44

Open izlatkin opened 2 years ago

izlatkin commented 2 years ago
image