From 938bf1261a5e33d5f111dffccfaa47c451463009 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Thu, 24 Jun 2010 14:16:34 +0000 Subject: [PATCH] Adding realistic expected times to these test cases git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@875 e59a4935-1847-0410-ae03-e826735625c1 --- tests/big-test/dsa_chop_dc.stp.cvc | 2 +- tests/big-test/dsa_chop_noopt-nossa.stp.cvc | 2 +- tests/big-test/dsa_chop_noopt-ssa.stp.cvc | 2 +- tests/big-test/dsa_chop_noopt.stp.cvc | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/tests/big-test/dsa_chop_dc.stp.cvc b/tests/big-test/dsa_chop_dc.stp.cvc index d8edefb..d266fba 100644 --- a/tests/big-test/dsa_chop_dc.stp.cvc +++ b/tests/big-test/dsa_chop_dc.stp.cvc @@ -1,6 +1,6 @@ %% Regression level = 0 %% Result = InValid -%% Runtime = 1 +%% Runtime = 85 %% Language = presentation % free variables: diff --git a/tests/big-test/dsa_chop_noopt-nossa.stp.cvc b/tests/big-test/dsa_chop_noopt-nossa.stp.cvc index 4810b20..0eaae69 100644 --- a/tests/big-test/dsa_chop_noopt-nossa.stp.cvc +++ b/tests/big-test/dsa_chop_noopt-nossa.stp.cvc @@ -1,6 +1,6 @@ %% Regression level = 0 %% Result = InValid -%% Runtime = 1 +%% Runtime = 88 %% Language = presentation % free variables: diff --git a/tests/big-test/dsa_chop_noopt-ssa.stp.cvc b/tests/big-test/dsa_chop_noopt-ssa.stp.cvc index d513307..695c6fb 100644 --- a/tests/big-test/dsa_chop_noopt-ssa.stp.cvc +++ b/tests/big-test/dsa_chop_noopt-ssa.stp.cvc @@ -1,6 +1,6 @@ %% Regression level = 0 %% Result = InValid -%% Runtime = 1 +%% Runtime = 54 %% Language = presentation % free variables: diff --git a/tests/big-test/dsa_chop_noopt.stp.cvc b/tests/big-test/dsa_chop_noopt.stp.cvc index d513307..eea850b 100644 --- a/tests/big-test/dsa_chop_noopt.stp.cvc +++ b/tests/big-test/dsa_chop_noopt.stp.cvc @@ -1,6 +1,6 @@ %% Regression level = 0 %% Result = InValid -%% Runtime = 1 +%% Runtime = 60 %% Language = presentation % free variables: -- 2.47.3