Default header if no test were generated

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation

0 stars 0 forks source link

Closed izlatkin closed 2 years ago

izlatkin commented 2 years ago

Generate testgen.h with long random input

izlatkin commented 2 years ago

3b3cd04c65b6d465080c45bece1a82313978f7c7