mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-22 05:43:39 +00:00
Code Activity

fixed unhandled case warning in test/qe_arith.cpp

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-10-25 14:34:00 +01:00
parent 8c5c564d6c
commit c7fddf80c2
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/test/qe_arith.cpp
View file

@ -375,6 +375,9 @@ static void add_random_ineq(
case opt::t_le: case opt::t_le:
fml = a.mk_le(t1, t2); fml = a.mk_le(t1, t2);
break; break;
case opt::t_mod:
NOT_IMPLEMENTED_YET();
break;
} }
fmls.push_back(fml); fmls.push_back(fml);
mbo.add_constraint(vars, rational(coeff), rel); mbo.add_constraint(vars, rational(coeff), rel);