From 4d08bf731a099de2d174c73489636e1a12935aee Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 8 Sep 2023 18:28:30 +0200 Subject: New implementation, moved old to experiments/ --- test/00_basic/all.out | 3 +++ 1 file changed, 3 insertions(+) (limited to 'test/00_basic/all.out') diff --git a/test/00_basic/all.out b/test/00_basic/all.out index d77f7f4..aad167e 100644 --- a/test/00_basic/all.out +++ b/test/00_basic/all.out @@ -2,3 +2,6 @@ Solved is consistent Solved is solved Zero is NOT consistent Zero is NOT solved +Solved and Solved are equal +Solved and Zero are NOT equal +Zero and Solved are NOT equal -- cgit v1.3