search

izlatkin / HornLauncher

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

[TestCov integration] large size of some xml files #38

Open izlatkin opened 2 years ago

izlatkin commented 2 years ago

need to find new way to implement XML generator or trim files if they are longer than SIZE(?)

some of problematic cases:

1.0G    ./loopv3
1.0G    ./const
1.0G    ./benchmark46_disjunctive
1.4G    ./benchmark53_polynomial
1.4G    ./benchmark40_polynomial
1.8G    ./mod3
1.9G    ./mod3.c.v+cfa-reducer
2.9G    ./mod3.c.v+lhb-reducer
2.9G    ./mod3.c.v+sep-reducer