Conformance

Bugfix: avoid spurious tautology pruning when dealing with certain re… #317

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Go (stable)	22s
Go (oldstable)	12s
	34s