diff options
Diffstat (limited to 'example/symbol_exec/depgraph.py')
| -rw-r--r-- | example/symbol_exec/depgraph.py | 8 |
1 files changed, 8 insertions, 0 deletions
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) |