Benchmarks

Merge pull request #316 from cvick32/kani-autogen #482

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Benchmark epoch	3m 46s
Benchmark iai duration	37s
Benchmark iai epoch	37s
Benchmark duration	1m 48s
	6m 48s