diff options
Diffstat (limited to '')
| -rw-r--r-- | nneq/nneq.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/nneq/nneq.py b/nneq/nneq.py index d9d7d30..4f46cbf 100644 --- a/nneq/nneq.py +++ b/nneq/nneq.py @@ -135,7 +135,6 @@ def inpla_export(model: onnx.ModelProto) -> inpla_str: return "\n".join(input_script + list(reversed(node_script)) + result_lines) def inpla_run(model: inpla_str) -> z3_str: - print(model) return subprocess.run(["./inpla"], input=f"{rules}\n{model}", capture_output=True, text=True).stdout syms = {} |