remove temp files

runtimeverification · Dec 6, 2024 · 93755a8 · 93755a8
1 parent 33fd6de
commit 93755a8
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 2,391 deletions.
diff --git a/src/tests/integration/test-data/foundry/show1.out b/src/tests/integration/test-data/foundry/show1.out
diff --git a/src/tests/integration/test-data/foundry/show2.out b/src/tests/integration/test-data/foundry/show2.out