mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-18 18:36:41 +00:00
Code Activity

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

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-06-12 13:00:06 +01:00
commit 28fce367b1
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() {}