Updating proof binary

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