mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 03:15:50 +00:00
Code Activity

Merge branch 'unstable' of https://github.com/AleksandarZeljic/z3 into smallFloats

Browse source
This commit is contained in:
Aleksandar Zeljic 2015-06-12 18:35:59 +02:00
commit 66e585e817
21 changed files with 571 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tactic/fpa/qffp_tactic.cpp
View file

@ -53,7 +53,7 @@ struct has_fp_to_real_predicate {
class has_fp_to_real_probe : public probe {
public:
virtual result operator()(goal const & g) {
return !test<has_fp_to_real_predicate>(g);
return test<has_fp_to_real_predicate>(g);
}
virtual ~has_fp_to_real_probe() {}