Moving test to silver

viperproject · Feb 3, 2025 · 431a8f5 · 431a8f5
1 parent cb5627f
commit 431a8f5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 79 deletions.
diff --git a/silver b/silver
diff --git a/src/test/resources/moreCompleteExhale/0894.vpr b/src/test/resources/moreCompleteExhale/0894.vpr
+0 −46		src/test/resources/oldpermsemantics/call_semantics.vpr
+0 −78		src/test/resources/oldpermsemantics/function_semantics.vpr
+0 −116		src/test/resources/oldpermsemantics/issues/carbon_196.vpr
+0 −86		src/test/resources/oldpermsemantics/issues/silicon_240.vpr
+85 −0		src/test/resources/oldpermsemantics/issues/silicon_894.vpr
+0 −24		src/test/resources/oldpermsemantics/termination/func_expr_access.vpr
+0 −9		src/test/resources/oldpermsemantics/wildcard_consistency.vpr