diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-08-04 00:04:20 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-04 00:04:20 -0700 |
| commit | d3070131bace10028498003c2f6cfd6f40a50358 (patch) | |
| tree | d95567be644b4660cddd15c851813e43ec3c3932 /src/theory/quantifiers/quant_conflict_find.h | |
| parent | 243a1d58a139077ecf19ac8a68573e51c08e4621 (diff) | |
Fix regression script for incremental SMT-LIB v2 benchmarks. (#3155)
The regression script did not extract the expected status from incremental
SMT-LIB v2 benchmarks correctly if status was given via (set-info :status ...). The
script used re.search for finding the status, which only searches for
the first occurrence instead of finding all (set-info :status ...).
This commit fixes the issue by using re.findall instead.
Diffstat (limited to 'src/theory/quantifiers/quant_conflict_find.h')
0 files changed, 0 insertions, 0 deletions