From 667fb882631bf0d2c6113b6ad84871eef84c0cfd Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Thu, 29 Dec 2011 02:04:00 +0000 Subject: [PATCH] Refactor. Redoing the same changes in smaller pieces. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1448 e59a4935-1847-0410-ae03-e826735625c1 --- src/AST/RunTimes.h | 2 +- src/simplifier/simplifier.cpp | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/AST/RunTimes.h b/src/AST/RunTimes.h index df1e2bb..49537fa 100644 --- a/src/AST/RunTimes.h +++ b/src/AST/RunTimes.h @@ -28,7 +28,7 @@ public: BitBlasting, Solving, BVSolver, - CreateSubstitutionMap, + PropagateEqualities, SendingToSAT, CounterExampleGeneration, SATSimplifying, diff --git a/src/simplifier/simplifier.cpp b/src/simplifier/simplifier.cpp index f7e97c8..796757d 100644 --- a/src/simplifier/simplifier.cpp +++ b/src/simplifier/simplifier.cpp @@ -124,9 +124,9 @@ namespace BEEV ASTNode Simplifier::CreateSubstitutionMap(const ASTNode& a, ArrayTransformer* at) { - _bm->GetRunTimes()->start(RunTimes::CreateSubstitutionMap); + _bm->GetRunTimes()->start(RunTimes::PropagateEqualities); ASTNode result = substitutionMap.CreateSubstitutionMap(a, at); - _bm->GetRunTimes()->stop(RunTimes::CreateSubstitutionMap); + _bm->GetRunTimes()->stop(RunTimes::PropagateEqualities); return result; } -- 2.47.3