Support partially the semantic of bvnot on uninterpreted semantic val… #87

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (macos-latest, 4.10.1)	14m 59s
build (ubuntu-latest, 4.10.1)	4m 29s
Make all	8m 3s
Make package release	0s
	27m 31s