Tabakov-Vardi generator #555

Job	Run time
run-tests (ubuntu-latest)	4m 27s
warnings-base (ubuntu-latest)	4m 32s
run-test-performance (ubuntu-latest)	5m 9s
run-tests (macos-latest)	4m 0s
warnings-base (macos-latest)	4m 37s
run-test-performance-base (ubuntu-latest)	7m 1s
run-test-performance (macos-latest)	6m 15s
run-test-performance-base (macos-latest)	4m 24s
warnings-new (ubuntu-latest)	2m 17s
warnings-new (macos-latest)	1m 50s
code-coverage	1m 57s
compare-versions (ubuntu-latest)	3s
compare-versions (macos-latest)	8s
compare-performance (ubuntu-latest)	21s
compare-performance (macos-latest)	17s
	47m 18s

Provide feedback