search

izlatkin / HornLauncher

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

[s3 openssl] issue with two benchmarks #54

Open izlatkin opened 2 years ago

izlatkin commented 2 years ago

TG gives 0% an 2%, resp:

s3_srvr_11.cil.c
s3_srvr_6.cil-1.c

tg gives low coverage for s3_srvr_11.cil.c and generates only one testcase merge issue with s3_srvr_6.cil-1.c