Make test suite more broad #83
Description
The test suite currently contains only .smt2 from Viper (specifically Sillicon I think). It would be good to include files from other verifiers to make the tests more robust.
{{ message }}
The test suite currently contains only .smt2 from Viper (specifically Sillicon I think). It would be good to include files from other verifiers to make the tests more robust.