diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-01-13 23:08:40 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-01-13 23:24:12 +0100 |
commit | 94fe6a0d525bff3cdd4450b2abd04eb2cb044308 (patch) | |
tree | 948461ad09772d5e2612b1fbf1d384360c0a29a7 /test/regress/regress0/fmf | |
parent | 3a973bd4fb586707a20d5e73146b79ff9fd6a77a (diff) |
Lemma cache datatypes. Do not send true lemma in quantifiers. Minor fix for datatypes model generation for UFinite datatypes when FMF.
Diffstat (limited to 'test/regress/regress0/fmf')
0 files changed, 0 insertions, 0 deletions