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/00_basic/all.out | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 test/00_basic/all.out (limited to 'test/00_basic/all.out') diff --git a/test/00_basic/all.out b/test/00_basic/all.out new file mode 100644 index 0000000..d77f7f4 --- /dev/null +++ b/test/00_basic/all.out @@ -0,0 +1,4 @@ +Solved is consistent +Solved is solved +Zero is NOT consistent +Zero is NOT solved -- cgit v1.3