From 2766afb8d1161f3332e5e6f4341d3b7d36f8e794 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sun, 22 Apr 2012 15:43:40 +0000 Subject: [PATCH] Change to code for running experiments. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1650 e59a4935-1847-0410-ae03-e826735625c1 --- src/util/measure.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/util/measure.cpp b/src/util/measure.cpp index 69fd51b..07160a3 100644 --- a/src/util/measure.cpp +++ b/src/util/measure.cpp @@ -215,7 +215,7 @@ work(int p) out << "\\hline" << endl; out << "\\end{tabular}" << endl; out << "\\caption{Comparison of unit propagation and bit-blasting at "<< p << "\\%. "; - out << iterations << " iterations at " << bits << " bits.}" << endl; + out << iterations << " iterations at " << bits << " bits. \label{tbl:p"<< p << "}}}" << endl; out << "\\end{center}" << endl; out << "\\end{table}" << endl; } @@ -225,6 +225,7 @@ main() { mgr = new STPMgr; Cpp_interface interface(*mgr); + mgr->UserFlags.division_by_zero_returns_one_flag=true; out << "\\begin{subtables}" << endl; work(1); -- 2.47.3