mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-07 19:51:22 +00:00
Code Activity

hide fp.xform.scale

Browse source
This commit is contained in:
Arie Gurfinkel 2020-04-10 15:46:59 -04:00
parent a261bd94ed
commit fa900c39ab
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/muz/fp/horn_tactic.cpp
View file

@ -359,6 +359,8 @@ class horn_tactic : public tactic {
not_supported("xform.magic"); not_supported("xform.magic");
if (p.xform_quantify_arrays()) if (p.xform_quantify_arrays())
not_supported("xform.quantify_arrays"); not_supported("xform.quantify_arrays");
if (p.xform_scale())
not_supported("xform.scale");
} }
void not_supported(char const* s) { void not_supported(char const* s) {