Skip to content
Googlebenchmark

added test to ensure literal in axiom uses a derived predicate #243

Sign in to view logs

added test to ensure literal in axiom uses a derived predicate

added test to ensure literal in axiom uses a derived predicate #243

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Performance regression check
9m 55s
9m 55s