Enable soundness tests on all benchmarks

softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses

Other

13 stars 12 forks source link

Enable soundness tests on all benchmarks #4

Open jevdplas opened 3 years ago

jevdplas commented 3 years ago

Currently only simple benchmarks are used for soundness tests. Enabling all of the benchmarks results in the tests failing, due to memory usage. It is easy to enable them back (see 6be782b).