From c5dfc897160bc9bbc6a91c77b5d58d421fd1cfe1 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 19 Jun 2023 15:06:11 +0200 Subject: Renamed test folders to keep order --- test/basic/all.out | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 test/basic/all.out (limited to 'test/basic/all.out') diff --git a/test/basic/all.out b/test/basic/all.out deleted file mode 100644 index d77f7f4..0000000 --- a/test/basic/all.out +++ /dev/null @@ -1,4 +0,0 @@ -Solved is consistent -Solved is solved -Zero is NOT consistent -Zero is NOT solved -- cgit v1.3