search

izlatkin / HornLauncher

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

check and fix files with implicit declaration #22

Closed izlatkin closed 2 years ago

izlatkin commented 3 years ago

Files with implicit declaration: MADWiFi-encode_ie_ok SpamAssassin-loop afnp2014 apache-escape-absolute apache-get-tag bhmr2007 cggmp2005_variant count_by_k count_by_nondet css2003 ddlm2013 down fragtest_simple gauss_sum gcnr2008 gj2007b gsv2008 half half_2 heapsort hhk2008 id_build id_trans jm2006 jm2006_variant large_const mcmillan2006 nest-if3 nested-1 nested6 nested9 seq-3 string_concat-noarr up

izlatkin commented 3 years ago

looks like https://github.com/izlatkin/sv-benchmarks/blob/master/c/loop-invgen/assert.h contains all necessary dependencies

izlatkin commented 3 years ago

https://github.com/izlatkin/sv-benchmarks/commit/888342d3238e8af0937304de423be9369a5c9d6e