Module: ppl/ppl Branch: master Commit: baa72379c66f766c6ee6a6956e6f3f329cffeba7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=baa72379c66f7...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 15 13:58:39 2010 +0200
Overflow is expected for PIP_Problem tests with 8 bits coefficients.
---
interfaces/OCaml/tests/test1.ml | 162 ++++++++++++++++++++++++--------------- 1 files changed, 101 insertions(+), 61 deletions(-)
diff --git a/interfaces/OCaml/tests/test1.ml b/interfaces/OCaml/tests/test1.ml index a3d84aa..e877d34 100644 --- a/interfaces/OCaml/tests/test1.ml +++ b/interfaces/OCaml/tests/test1.ml @@ -506,12 +506,21 @@ print_string_if_noisy "PIP_Problem_OK ";; print_string_if_noisy "and PIP_Tree_Node_is_bottom \n";; let pip = ppl_new_PIP_Problem 3 [e1 >=/ e2; e1 <=/ e2 -/ (linear_expression_of_int 7)] [2];; -let ptree = ppl_PIP_Problem_solution pip;; -let - out = if (ppl_PIP_Problem_OK pip - & ppl_PIP_Tree_Node_is_bottom ptree) - then "success" else "failed" - in (print_string_if_noisy out);; + +begin +try + let ptree = ppl_PIP_Problem_solution pip + in let out = if (ppl_PIP_Problem_OK pip & ppl_PIP_Tree_Node_is_bottom ptree) + then "success" else "failed" + in (print_string_if_noisy out) +with PPL_arithmetic_overflow what -> + let unexpected = (ppl_Coefficient_bits() != 8) + in if (unexpected) + then raise (PPL_arithmetic_overflow(what)); + print_string_if_noisy "Expected overflow exception caught: "; + print_string_if_noisy what; + print_string_if_noisy "\n" +end;; print_string_if_noisy "\n";;
print_string_if_noisy "PIP_Problem 2 \n";; @@ -542,22 +551,31 @@ let out = if (not b0 & b1 & (big_par = 7)) else "ppl_PIP_Problem big parameter dimension tests failed" in (print_string_if_noisy out);; print_string_if_noisy "\n";; -let out = if (ppl_PIP_Problem_is_satisfiable pip2) - then "ppl_PIP_Problem_is_satisfiable test succeeded" - else "ppl_PIP_Problem_is_satisfiable test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -print_string_if_noisy "testing ppl_PIP_Problem_ascii_dump: " ;; -(* print_string_if_noisy (ppl_PIP_Problem_ascii_dump pip2);; *) -print_string_if_noisy "\n";; -let ptree2 = ppl_PIP_Problem_solution pip2;; -let _r = ppl_PIP_Problem_OK pip2;; -print_string_if_noisy "\n";; -let out = if (ppl_PIP_Tree_Node_is_bottom ptree2) - then "ppl_PIP_Tree_Node_is_bottom test succeeded" - else "ppl_PIP_Tree_Node_is_bottom test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; + +begin +try + let out = if (ppl_PIP_Problem_is_satisfiable pip2) + then "ppl_PIP_Problem_is_satisfiable test succeeded" + else "ppl_PIP_Problem_is_satisfiable test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + print_string_if_noisy "testing ppl_PIP_Problem_ascii_dump: "; + print_string_if_noisy (ppl_PIP_Problem_ascii_dump pip2); + print_string_if_noisy "\n"; + let ptree2 = ppl_PIP_Problem_solution pip2 + in let out2 = if (ppl_PIP_Tree_Node_is_bottom ptree2) + then "ppl_PIP_Tree_Node_is_bottom test succeeded" + else "ppl_PIP_Tree_Node_is_bottom test failed" + in (print_string_if_noisy out2); + print_string_if_noisy "\n" +with PPL_arithmetic_overflow what -> + let unexpected = (ppl_Coefficient_bits() != 8) + in if (unexpected) + then raise (PPL_arithmetic_overflow(what)); + print_string_if_noisy "Expected overflow exception caught: "; + print_string_if_noisy what; + print_string_if_noisy "\n" +end;;
print_string_if_noisy "\nPIP_Problem 3 \n";; let i = Variable 0 @@ -583,45 +601,67 @@ let pip_cs = [pip_c1; pip_c2; pip_c3; pip_c4] ;;
let ps = [2; 3];; let pip3 = ppl_new_PIP_Problem 4 pip_cs ps;; -let result = ppl_PIP_Problem_solve pip3;; -let out = if (result == Optimized_Pip_Problem) - then "PIP Problem_solve pip3 test succeeded" - else "PIP Problem_solve pip3 test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let node = ppl_PIP_Problem_solution pip3;; -let out = if (ppl_PIP_Tree_Node_OK node) - then "ppl_PIP_Tree_Node_OK node test succeeded" - else "ppl_PIP_Tree_Node_OK node test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let out = if (ppl_PIP_Tree_Node_is_decision node) - then "ppl_PIP_Tree_Node_is_decision node test succeeded" - else "ppl_PIP_Tree_Node_is_decision node test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let out = if (ppl_PIP_Tree_Node_artificials node = []) - then "ppl_PIP_Tree_Node_artificials node test succeeded" - else "ppl_PIP_Tree_Node_artificials node test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let _node_cs = ppl_PIP_Tree_Node_constraints node;; -let tchild = ppl_PIP_Tree_Node_true_child node;; -let _fchild = ppl_PIP_Tree_Node_false_child node;; -let out = if (ppl_PIP_Tree_Node_is_decision tchild) - then "ppl_PIP_Tree_Node_is_decision tchild test succeeded" - else "ppl_PIP_Tree_Node_is_decision tchild test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let ttchild = ppl_PIP_Tree_Node_true_child tchild;; -let ftchild = ppl_PIP_Tree_Node_false_child tchild;; -let out = if (ppl_PIP_Tree_Node_is_solution ttchild) - then "ppl_PIP_Tree_Node_is_decision ttchild test succeeded" - else "ppl_PIP_Tree_Node_is_decision ttchild test failed" - in (print_string_if_noisy out);; -print_string_if_noisy "\n";; -let _par_vals = ppl_PIP_Tree_Node_parametric_values ttchild 0;; -let _ftchild_arts = ppl_PIP_Tree_Node_artificials ftchild;; + +begin +try + let result = ppl_PIP_Problem_solve pip3 in + let out = if (result == Optimized_Pip_Problem) + then "PIP Problem_solve pip3 test succeeded" + else "PIP Problem_solve pip3 test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let node = ppl_PIP_Problem_solution pip3 in + begin + let out = if (ppl_PIP_Tree_Node_OK node) + then "ppl_PIP_Tree_Node_OK node test succeeded" + else "ppl_PIP_Tree_Node_OK node test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let out = if (ppl_PIP_Tree_Node_is_decision node) + then "ppl_PIP_Tree_Node_is_decision node test succeeded" + else "ppl_PIP_Tree_Node_is_decision node test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let out = if (ppl_PIP_Tree_Node_artificials node = []) + then "ppl_PIP_Tree_Node_artificials node test succeeded" + else "ppl_PIP_Tree_Node_artificials node test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let _node_cs = ppl_PIP_Tree_Node_constraints node in (); + let + _fchild = ppl_PIP_Tree_Node_false_child node + and + tchild = (ppl_PIP_Tree_Node_true_child node) + in ( + let out = if (ppl_PIP_Tree_Node_is_decision tchild) + then "ppl_PIP_Tree_Node_is_decision tchild test succeeded" + else "ppl_PIP_Tree_Node_is_decision tchild test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let + ttchild = (ppl_PIP_Tree_Node_true_child tchild) + and + ftchild = (ppl_PIP_Tree_Node_false_child tchild) + in ( + let out = if (ppl_PIP_Tree_Node_is_solution ttchild) + then "ppl_PIP_Tree_Node_is_decision ttchild test succeeded" + else "ppl_PIP_Tree_Node_is_decision ttchild test failed" + in (print_string_if_noisy out); + print_string_if_noisy "\n"; + let _par_vals = ppl_PIP_Tree_Node_parametric_values ttchild 0 in (); + let _ftchild_arts = ppl_PIP_Tree_Node_artificials ftchild in () + ) + ); + print_string_if_noisy "\n" + end +with PPL_arithmetic_overflow what -> + let unexpected = (ppl_Coefficient_bits() != 8) + in if (unexpected) + then raise (PPL_arithmetic_overflow(what)); + print_string_if_noisy "Expected overflow exception caught: "; + print_string_if_noisy what; + print_string_if_noisy "\n" +end;;
(* Pointset_Powerset_Grid is not enabled by default, the following code is *) (* commented *)