diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2015-11-09 14:27:16 +0100 |
|---|---|---|
| committer | serpilliere <serpilliere@users.noreply.github.com> | 2015-11-09 14:27:16 +0100 |
| commit | 29a00f31d46e49333df450b85580af152aae2668 (patch) | |
| tree | 5179bbaae19f3d8fe6a2398ca6d0e09b5d923c19 /example/expression/solve_condition_stp.py | |
| parent | 7681a432c7c98df9d075701a172df0d5f311f753 (diff) | |
| parent | 4140fa4725a31d7b1f8856c2da30a87a17c80c67 (diff) | |
| download | miasm-29a00f31d46e49333df450b85580af152aae2668.tar.gz miasm-29a00f31d46e49333df450b85580af152aae2668.zip | |
Merge pull request #258 from commial/extension-dot
Extension 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 |