runtimeverification
diff --git a/‎test/regression-c-semantics/.gitignore
Lines changed: 0 additions & 1 deletion b/‎test/regression-c-semantics/.gitignore
Lines changed: 0 additions & 1 deletion
diff --git a/‎test/regression-c-semantics/Makefile
Lines changed: 0 additions & 7 deletions b/‎test/regression-c-semantics/Makefile
Lines changed: 0 additions & 7 deletions
diff --git a/‎test/regression-c-semantics/definition.kore.gz
-1.82 MB b/‎test/regression-c-semantics/definition.kore.gz
-1.82 MB
diff --git a/‎test/regression-c-semantics/executable.kore
Lines changed: 0 additions & 46 deletions b/‎test/regression-c-semantics/executable.kore
Lines changed: 0 additions & 46 deletions
diff --git a/‎test/regression-c-semantics/test-regression-c-semantics.sh
Lines changed: 0 additions & 3 deletions b/‎test/regression-c-semantics/test-regression-c-semantics.sh
Lines changed: 0 additions & 3 deletions
diff --git a/‎test/regression-c-semantics/test-regression-c-semantics.sh.out.golden b/‎test/regression-c-semantics/test-regression-c-semantics.sh.out.golden