We need a set of example contracts and a basic benchmarking setup to evaluate performance regressions. This will be especially useful when experimenting with different modes of execution and input representation in Soufflé.
[x] Introduce a simple benchmarking suite based on benchmark
[x] Add a few large contracts to the test suite (see Tact compiler tests)
[x] Enhance benchmarks/detectors.ts to test performance of specific detectors
We need a set of example contracts and a basic benchmarking setup to evaluate performance regressions. This will be especially useful when experimenting with different modes of execution and input representation in Soufflé.
benchmarkbenchmarks/detectors.tsto test performance of specific detectors