diff options
| author | Ajax <commial@gmail.com> | 2015-11-09 14:49:51 +0100 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2015-11-09 15:01:12 +0100 |
| commit | b4114c3e786cf9c90b9c81cb4594d7775a266f5d (patch) | |
| tree | 55e86387c9e1ee9b2b0c7fed92d8cf6cffde9160 /example/expression/solve_condition_stp.py | |
| parent | 7681a432c7c98df9d075701a172df0d5f311f753 (diff) | |
| download | focaccia-miasm-b4114c3e786cf9c90b9c81cb4594d7775a266f5d.tar.gz focaccia-miasm-b4114c3e786cf9c90b9c81cb4594d7775a266f5d.zip | |
Example: move output .txt to .dot
Diffstat (limited to 'example/expression/solve_condition_stp.py')
| -rw-r--r-- | example/expression/solve_condition_stp.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/example/expression/solve_condition_stp.py b/example/expression/solve_condition_stp.py index 8c65c83c..034a115f 100644 --- a/example/expression/solve_condition_stp.py +++ b/example/expression/solve_condition_stp.py @@ -228,11 +228,11 @@ if __name__ == '__main__': rez = " AND ".join(all_csts) out.append("QUERY(NOT (%s));" % rez) end = "\n".join(out) - open('out.txt', 'w').write(end) + open('out.dot', 'w').write(end) try: cases = subprocess.check_output(["/home/serpilliere/tools/stp/stp", "-p", - "out.txt"]) + "out.dot"]) except OSError: print "ERF, cannot find stp" break |