From adb1f95e0a35b421a186435461f8f67405b1dec5 Mon Sep 17 00:00:00 2001 From: Ken McMillan Date: Fri, 7 Jun 2013 11:51:22 -0700 Subject: [PATCH] small fixes in duality --- src/api/dotnet/Properties/AssemblyInfo.cs | 4 ++-- src/duality/duality_solver.cpp | 2 +- src/duality/duality_wrapper.cpp | 6 ++++-- 3 files changed, 7 insertions(+), 5 deletions(-) diff --git a/src/api/dotnet/Properties/AssemblyInfo.cs b/src/api/dotnet/Properties/AssemblyInfo.cs index 1cd0fe7b8..517349177 100644 --- a/src/api/dotnet/Properties/AssemblyInfo.cs +++ b/src/api/dotnet/Properties/AssemblyInfo.cs @@ -34,6 +34,6 @@ using System.Security.Permissions; // You can specify all the values or you can default the Build and Revision Numbers // by using the '*' as shown below: // [assembly: AssemblyVersion("4.2.0.0")] -[assembly: AssemblyVersion("4.3.2.0")] -[assembly: AssemblyFileVersion("4.3.2.0")] +[assembly: AssemblyVersion("4.3.2.0")] +[assembly: AssemblyFileVersion("4.3.2.0")] diff --git a/src/duality/duality_solver.cpp b/src/duality/duality_solver.cpp index 142d8e457..f743e541c 100644 --- a/src/duality/duality_solver.cpp +++ b/src/duality/duality_solver.cpp @@ -787,7 +787,7 @@ namespace Duality { Edge *e = unwinding->CreateLowerBoundEdge(node); // node->Annotation = save; insts_of_node[node->map].push_back(node); - std::cout << "made leaf: " << node->number << std::endl; + // std::cout << "made leaf: " << node->number << std::endl; return e; } #endif diff --git a/src/duality/duality_wrapper.cpp b/src/duality/duality_wrapper.cpp index fcb637a84..737773e0b 100644 --- a/src/duality/duality_wrapper.cpp +++ b/src/duality/duality_wrapper.cpp @@ -560,9 +560,11 @@ expr context::make_quant(decl_kind op, const std::vector &_sorts, const st { static stopwatch sw; static bool started = false; - if(!started) + if(!started){ sw.start(); - return sw.get_seconds(); + started = true; + } + return sw.get_current_seconds(); } }