diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-10-07 23:27:44 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-07 23:27:44 -0700 |
commit | 94feff6c3b03325115e2c1c91121b83945dba4b0 (patch) | |
tree | e8bbbe5f922ccf671f8adf4673c5a00cb139bf8f /test/regress/regress0/arith/integers/ackermann1.smt2 | |
parent | 217710627bd440cb28524d014afb5f10058302fd (diff) |
Build system: Add build type for incremental competition builds. (#3365)
Previously, competition builds for incremental tracks required to
manually pass in -DCVC4_SMTCOMP_APPLICATION_TRACK as compiler flag. This
introduces an additional build type for incremental competition builds
to simplify configuration for such builds.
Diffstat (limited to 'test/regress/regress0/arith/integers/ackermann1.smt2')
0 files changed, 0 insertions, 0 deletions