diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-04-29 13:14:46 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-29 13:14:46 -0700 |
commit | 6ba68a1897838f3aefa6cbd254a1262326e446c7 (patch) | |
tree | f6318419d899cb34e4b245999dfe8cd2b12fe6aa /examples/SimpleVC.tcl | |
parent | 22c36b3bceb5d1a73dc0f0355c0a01703db51acc (diff) |
SMT-COMP 2020: Fix scripts to use --no-type-checking instead of --no-checking. (#4417)
Diffstat (limited to 'examples/SimpleVC.tcl')
0 files changed, 0 insertions, 0 deletions