From fa860da93df5532c382bcccc6b30bde76177fd6c Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Tue, 24 Jan 2012 04:32:40 +0000 Subject: [PATCH] Fix comment.: git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1521 e59a4935-1847-0410-ae03-e826735625c1 --- src/c_interface/c_interface.h | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/src/c_interface/c_interface.h b/src/c_interface/c_interface.h index 5b64ef5..de0dbd5 100644 --- a/src/c_interface/c_interface.h +++ b/src/c_interface/c_interface.h @@ -204,12 +204,10 @@ extern "C" { Expr vc_simplify(VC vc, Expr e); //! Check validity of e in the current context. e must be a FORMULA - // - //if returned 0 then input is INVALID. - // - //if returned 1 then input is VALID - // - //if returned 2 then ERROR + //returns 0 -> the input is INVALID + //returns 1 -> the input is VALID + //returns 2 -> then ERROR + //returns 3 -> then TIMEOUT // NB. The timeout is a soft timeout, use the -g flag for a hard timeout that // will abort automatically. The soft timeout is checked sometimes in the code, @@ -218,7 +216,6 @@ extern "C" { // the timeout yet.. int vc_query(VC vc, Expr e, int timeout_ms= -1); - //! Return the counterexample after a failed query. Expr vc_getCounterExample(VC vc, Expr e); -- 2.47.3