diff options
author | Andres Nötzli <andres.noetzli@gmail.com> | 2017-06-16 20:07:17 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.stanford.edu> | 2017-06-16 20:07:17 -0700 |
commit | 41f51ad4b0093611fa022629b15f1012a376f8e9 (patch) | |
tree | 87811e42e4f296903aa0ded1b7ce7cc5ff419ef4 /src/theory/theory_engine.cpp | |
parent | 0da095c3f5be79a85c085b4b46d7a0a0513ecdd6 (diff) |
Change language in competition script to smt2.6 (#171)
* Change language in competition script to smt2.6
The benchmark scrambler for the application track cuts out
the :smt-lib-version command, so this commit sets it
manually to 2.6 (all benchmarks in SMT-COMP use the 2.6
standard) instead of 2.0. I have not seen any failures due
to that but might as well be prudent.
* Change language in competition script to smt2.6
The benchmark scrambler (at least for the application
track) cuts out the :smt-lib-version command, so this
commit sets it manually to 2.6 (all benchmarks in SMT-COMP
use the 2.6 standard) instead of 2.0. I have not seen any
failures due to that but might as well be prudent.
Diffstat (limited to 'src/theory/theory_engine.cpp')
0 files changed, 0 insertions, 0 deletions