From 49230e09e6a5300c95cc86212bfbc80d334b5027 Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Tue, 8 Dec 2009 20:05:44 +0000 Subject: [PATCH] minor edits git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@487 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/run_stp_tests.pl | 2 +- src/to-sat/SimpBool.cpp | 13 ++++++------- 2 files changed, 7 insertions(+), 8 deletions(-) diff --git a/scripts/run_stp_tests.pl b/scripts/run_stp_tests.pl index cf30def..1bd10ae 100755 --- a/scripts/run_stp_tests.pl +++ b/scripts/run_stp_tests.pl @@ -76,7 +76,7 @@ my %optionsDefault = ("level" => 4, # when looking for info comments "maxInfoLines" => 4, # Runtime limit; 0 = no limit - "time" => 30, + "time" => 60, # Additional command line options to stp "stpOptions" => "-d"); diff --git a/src/to-sat/SimpBool.cpp b/src/to-sat/SimpBool.cpp index 5ff029a..273b46a 100644 --- a/src/to-sat/SimpBool.cpp +++ b/src/to-sat/SimpBool.cpp @@ -494,13 +494,12 @@ namespace BEEV // } else { - ASTNode left = - CreateNode(AND, child0, child1); - ASTNode right = - CreateNode(AND, - CreateNode(NOT,child0), - child2); - retval = CreateNode(XOR, left, right); + ASTNode left = CreateNode(AND, child0, child1); + ASTNode right = CreateNode(AND, CreateNode(NOT,child0), child2); + ASTVec c; + c.push_back(left); + c.push_back(right); + retval = CreateSimpXor(c); } if (_trace_simpbool) -- 2.47.3