From ffb67c9dcd22c4c3258b9ef78301e404e7d9a796 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 5 Oct 2023 15:28:45 +0200 Subject: Split isconsistent() and issolvable() --- test/00_basic/all.out | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/00_basic/all.out') diff --git a/test/00_basic/all.out b/test/00_basic/all.out index aad167e..892ad22 100644 --- a/test/00_basic/all.out +++ b/test/00_basic/all.out @@ -1,6 +1,6 @@ -Solved is consistent +Solved is solvable Solved is solved -Zero is NOT consistent +Zero is NOT solvable Zero is NOT solved Solved and Solved are equal Solved and Zero are NOT equal -- cgit v1.3