diff options
| author | mirenn <me@mirenn.dev> | 2026-03-17 18:59:35 +0100 |
|---|---|---|
| committer | mirenn <me@mirenn.dev> | 2026-03-18 13:18:40 +0100 |
| commit | 108e61fa874c5bf73e1e54afcc21dfa871f69eaa (patch) | |
| tree | 827ac0961e61076edf697f24374efc26867afb37 /nneq/nneq.py | |
| parent | 8ee89e44069d6e35da8775d8394bc2b927971c1a (diff) | |
| download | vein-108e61fa874c5bf73e1e54afcc21dfa871f69eaa.tar.gz vein-108e61fa874c5bf73e1e54afcc21dfa871f69eaa.zip | |
added proof for ONNX translation
Diffstat (limited to 'nneq/nneq.py')
| -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 = {} |