diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-08-15 11:30:17 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-08-15 11:30:17 -0500 |
commit | baaab488c597e3e30dd3b929a5a612ba7fd660af (patch) | |
tree | b7841c415997360b5d18218821ce3587b834ba84 /test/regress/regress0/uflia/xs-09-16-3-4-1-5.delta02.smt | |
parent | 6c58094be960ddca3a2187081bac769da61cc2af (diff) |
Enable bounded set membership with --fmf-bound. Map to term models for bounded set membership.
Diffstat (limited to 'test/regress/regress0/uflia/xs-09-16-3-4-1-5.delta02.smt')
0 files changed, 0 insertions, 0 deletions