From b4114c3e786cf9c90b9c81cb4594d7775a266f5d Mon Sep 17 00:00:00 2001 From: Ajax Date: Mon, 9 Nov 2015 14:49:51 +0100 Subject: Example: move output .txt to .dot --- example/expression/solve_condition_stp.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'example/expression/solve_condition_stp.py') 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 -- cgit 1.4.1