From f987f5af492f2ac9d5aeebd351bcb49175556af2 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 29 May 2023 01:06:09 +0200 Subject: Initial commit --- test/basic/all.out | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 test/basic/all.out (limited to 'test/basic/all.out') diff --git a/test/basic/all.out b/test/basic/all.out new file mode 100644 index 0000000..d77f7f4 --- /dev/null +++ b/test/basic/all.out @@ -0,0 +1,4 @@ +Solved is consistent +Solved is solved +Zero is NOT consistent +Zero is NOT solved -- cgit v1.3