test(nra_ode): add pzuliani_02.smt2.expected

dreal · Nov 1, 2015 · d1eecd5 · d1eecd5
1 parent 244b765
commit d1eecd5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/tests/nra_ode/pzuliani_02.smt2.expected b/src/tests/nra_ode/pzuliani_02.smt2.expected
@@ -0,0 +1 @@
+delta-sat with delta = 0.00100000000000000