diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-21 10:21:34 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-21 10:21:34 -0700 |
commit | ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 (patch) | |
tree | a7c2ab8013f46dbea75fcd6e7da3fb83e2012b2f /contrib/learn_resource_weights.py | |
parent | 86aa9bc35ba9dc9a57913a2ffc71619c7657cc35 (diff) |
Goodbye CVC4, hello cvc5! (#6371)
This commits changes the build system to cvc5 and removes the remaining
occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
Diffstat (limited to 'contrib/learn_resource_weights.py')
-rwxr-xr-x | contrib/learn_resource_weights.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/learn_resource_weights.py b/contrib/learn_resource_weights.py index 8f5213ec2..76a7a043d 100755 --- a/contrib/learn_resource_weights.py +++ b/contrib/learn_resource_weights.py @@ -14,7 +14,7 @@ def parse_commandline(): """Parse commandline arguments""" epilog = """ This script can be used to compute good resource weights based on benchmark -results. The resource weights are used by cvc4 to approximate the running time +results. The resource weights are used by cvc5 to approximate the running time by the spent resources, multiplied with their weights. In the first stage ("parse") this script reads the output files of a benchmark |