From 231f8b427745b71e466bda4c3d10556afc72a78d Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Sat, 15 Feb 2020 23:20:34 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/main.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/main.cpp | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/src/main.cpp b/src/main.cpp
index f9ba315..b5febdd 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -293,9 +293,8 @@ int main(int argc, char** argv)
file.close();
}
if (auto run = k->intersecting_run(af))
- {
- /*std::cout << "formula is violated by the following run:\n" << *run;*/
- run->highlight(5); // 5 is a color number.
+ {
+ run->highlight(5);
fstream file;
file.open("violated.dot",fstream::out);
cout<<"Property is violated"<<endl;
--
GitLab