runtimeverification
diff --git a/‎test/tiny/Makefile
Lines changed: 0 additions & 11 deletions b/‎test/tiny/Makefile
Lines changed: 0 additions & 11 deletions
diff --git a/‎test/tiny/a-to-c-automatic-repl-script-spec.k
Lines changed: 0 additions & 1 deletion b/‎test/tiny/a-to-c-automatic-repl-script-spec.k
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/tiny/a-to-c-automatic-repl-script-spec.k.out.golden
Lines changed: 0 additions & 4 deletions b/‎test/tiny/a-to-c-automatic-repl-script-spec.k.out.golden
Lines changed: 0 additions & 4 deletions
diff --git a/‎test/tiny/a-to-c-automatic-repl-script-spec.k.repl
Lines changed: 0 additions & 1 deletion b/‎test/tiny/a-to-c-automatic-repl-script-spec.k.repl
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/tiny/a-to-c-automatic-stepf-repl-script-spec.k
Lines changed: 0 additions & 1 deletion b/‎test/tiny/a-to-c-automatic-stepf-repl-script-spec.k
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/tiny/a-to-c-automatic-stepf-repl-script-spec.k.out.golden
Lines changed: 0 additions & 4 deletions b/‎test/tiny/a-to-c-automatic-stepf-repl-script-spec.k.out.golden
Lines changed: 0 additions & 4 deletions
diff --git a/‎test/tiny/a-to-c-automatic-stepf-repl-script-spec.k.repl
Lines changed: 0 additions & 1 deletion b/‎test/tiny/a-to-c-automatic-stepf-repl-script-spec.k.repl
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/tiny/a-to-c-manual-repl-script-spec.k
Lines changed: 0 additions & 1 deletion b/‎test/tiny/a-to-c-manual-repl-script-spec.k
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/tiny/a-to-c-manual-repl-script-spec.k.out.golden
Lines changed: 0 additions & 6 deletions b/‎test/tiny/a-to-c-manual-repl-script-spec.k.out.golden
Lines changed: 0 additions & 6 deletions
diff --git a/‎test/tiny/a-to-c-manual-repl-script-spec.k.repl
Lines changed: 0 additions & 3 deletions b/‎test/tiny/a-to-c-manual-repl-script-spec.k.repl
Lines changed: 0 additions & 3 deletions
diff --git a/‎test/tiny/a-to-c-spec.k
Lines changed: 0 additions & 8 deletions b/‎test/tiny/a-to-c-spec.k
Lines changed: 0 additions & 8 deletions
diff --git a/‎test/tiny/a-to-c-spec.k.out.golden
Lines changed: 0 additions & 1 deletion b/‎test/tiny/a-to-c-spec.k.out.golden
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/tiny/mixed-claims-automatic-repl-script-spec.k.out.golden
Lines changed: 0 additions & 1 deletion b/‎test/tiny/mixed-claims-automatic-repl-script-spec.k.out.golden
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/tiny/mixed-claims-automatic-repl-script-spec.k.repl
Lines changed: 0 additions & 8 deletions b/‎test/tiny/mixed-claims-automatic-repl-script-spec.k.repl
Lines changed: 0 additions & 8 deletions
diff --git a/‎test/tiny/mixed-claims-manual-repl-script-spec.k.out.golden
Lines changed: 0 additions & 1 deletion b/‎test/tiny/mixed-claims-manual-repl-script-spec.k.out.golden
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/tiny/mixed-claims-manual-repl-script-spec.k.repl
Lines changed: 0 additions & 9 deletions b/‎test/tiny/mixed-claims-manual-repl-script-spec.k.repl
Lines changed: 0 additions & 9 deletions
diff --git a/‎test/tiny/mixed-claims-spec.k
Lines changed: 0 additions & 11 deletions b/‎test/tiny/mixed-claims-spec.k
Lines changed: 0 additions & 11 deletions
diff --git a/‎test/tiny/mixed-claims-spec.k.out.golden
Lines changed: 0 additions & 1 deletion b/‎test/tiny/mixed-claims-spec.k.out.golden
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/tiny/run-one-save-state-repl-script-spec.k.repl
Lines changed: 0 additions & 3 deletions b/‎test/tiny/run-one-save-state-repl-script-spec.k.repl
Lines changed: 0 additions & 3 deletions
diff --git a/‎test/tiny/save-config-repl-script-spec-k.repl
Lines changed: 0 additions & 1 deletion b/‎test/tiny/save-config-repl-script-spec-k.repl
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/tiny/test-a-to-c-spec.kore
Lines changed: 0 additions & 17 deletions b/‎test/tiny/test-a-to-c-spec.kore
Lines changed: 0 additions & 17 deletions
diff --git a/‎test/tiny/test-a-to-c-vdefinition.kore
Lines changed: 0 additions & 1501 deletions b/‎test/tiny/test-a-to-c-vdefinition.kore
Lines changed: 0 additions & 1501 deletions
diff --git a/‎test/tiny/test-save-partial-proof.sh
Lines changed: 0 additions & 13 deletions b/‎test/tiny/test-save-partial-proof.sh
Lines changed: 0 additions & 13 deletions
diff --git a/‎test/tiny/test-save-partial-proof.sh.out.golden
Lines changed: 0 additions & 4 deletions b/‎test/tiny/test-save-partial-proof.sh.out.golden
Lines changed: 0 additions & 4 deletions
diff --git a/‎test/tiny/tiny.k
Lines changed: 0 additions & 11 deletions b/‎test/tiny/tiny.k
Lines changed: 0 additions & 11 deletions