diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-09-08 15:14:19 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-09-08 15:14:19 -0500 |
commit | a3a436b7b52eee9b6b5c93d58fb84e707b5e832b (patch) | |
tree | 7c1d1aaa5ab4a5a393368f8a2fbf7bf6f62fb2a4 /test/regress/regress0/sep/sep-neg-nstrict.smt2 | |
parent | ce883ca9296c872affb47547304a9ecc0ec5224d (diff) |
Refactor seplog preprocess. Handle case where sep data type cannot be inferred.
Diffstat (limited to 'test/regress/regress0/sep/sep-neg-nstrict.smt2')
0 files changed, 0 insertions, 0 deletions