projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b257f55) | patch
Require statistics for regression (#6714)
authorGereon Kremer <nafur42@gmail.com>
Wed, 9 Jun 2021 14:03:04 +0000 (16:03 +0200)
committerGitHub <noreply@github.com>
Wed, 9 Jun 2021 14:03:04 +0000 (09:03 -0500)
commitb77fe268066841fa532e1d19ecf5e55c441ca034
treec822d1b32fd5b9c48d50451cb6d526885f951f70tree
parentb257f55a3051362cb3f86d23c2e90384311faa73commit | diff
Require statistics for regression (#6714)

This PR makes a new regression explicitly require statistics.
test/regress/regress0/options/statistics.smt2 diff | blob | history