From 2a9ef019bc17c712c8e18a4704c69ef9f5875402 Mon Sep 17 00:00:00 2001
From: Ajax <commial@gmail.com>
Date: Tue, 28 Apr 2015 08:21:52 +0200
Subject: DepGraph: Introduce implicit result management, with constraint
 solving API

---
 example/symbol_exec/depgraph.py | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'example/symbol_exec/depgraph.py')

diff --git a/example/symbol_exec/depgraph.py b/example/symbol_exec/depgraph.py
index 802d4fca..0a406b0b 100644
--- a/example/symbol_exec/depgraph.py
+++ b/example/symbol_exec/depgraph.py
@@ -75,3 +75,11 @@ for sol_nb, sol in enumerate(dg.get(current_block.label, elements, line_nb, set(
 	print "Solution %d: %s -> %s" % (sol_nb,
 					 result,
 					 fname)
+        if args.implicit:
+            sat = sol.is_satisfiable
+            constraints = ""
+            if sat:
+                constraints = {}
+                for element in sol.constraints:
+                    constraints[element] = sol.constraints[element]
+            print "\tSatisfiability: %s %s" % (sat, constraints)
-- 
cgit 1.4.1