Updating proof binary debug

runtimeverification · Dec 13, 2024 · 58418a2 · 58418a2
1 parent 7b3b12d
commit 58418a2
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/k-distribution/tests/regression-new/proof-instrumentation-debug/input.test.out b/k-distribution/tests/regression-new/proof-instrumentation-debug/input.test.out