Bug Fix Unittests

update readme and manual-port to include repair minimization improvem… #717

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-python	6m 27s
Test CirFix Quick Repairs	1m 33s
Common Benchmark Tests	18s
Check Repairs Tests	39s
test-rust (stable)	44s
	9m 41s