🔬 test: Increase coverage.

Author: make-github-pseudonymous-again

test/src/SAT.js

@@ -78,7 +78,7 @@ test('#2', (t) => {
 	]);
 });
 
-test('#3', (t) => {
+test('#3 [signs]', (t) => {
 	const instance = sat.from.signs([
 		[-1, 2, 3],
 		[-2, -4, 5],
@@ -106,3 +106,32 @@ test('#3', (t) => {
 		[0, 1, 1, 1, 1, 1],
 	]);
 });
+
+test('#3 [parities]', (t) => {
+	const instance = sat.from.parities([
+		[1, 2, 4],
+		[3, 7, 8],
+		[0, 9],
+	]);
+	const satisfying_assignments = list(
+		map((certificate) => instance.assignment(certificate), sat.solve(instance)),
+	);
+	t.deepEqual(satisfying_assignments, [
+		[0, 0, 0, 0, 0],
+		[0, 0, 0, 1, 0],
+		[0, 0, 1, 0, 0],
+		[0, 0, 1, 1, 0],
+		[0, 1, 0, 0, 0],
+		[0, 1, 1, 0, 0],
+		[1, 0, 1, 0, 0],
+		[1, 0, 1, 0, 1],
+		[1, 0, 1, 1, 0],
+		[1, 0, 1, 1, 1],
+		[1, 1, 0, 0, 0],
+		[1, 1, 0, 0, 1],
+		[1, 1, 0, 1, 1],
+		[1, 1, 1, 0, 0],
+		[1, 1, 1, 0, 1],
+		[1, 1, 1, 1, 1],
+	]);
+});

test/src/api/verify.js

@@ -0,0 +1,15 @@
+import test from 'ava';
+
+import * as sat from '../../../src/index.js';
+
+test('check some certificates', (t) => {
+	const instance = sat.from.signs([
+		[-1, 2, 3],
+		[-2, -4, 5],
+		[1, -5],
+	]);
+	t.true(sat.verify(instance, [0, 0, 0, 0, 0]));
+	t.true(sat.verify(instance, [1, 1, 1, 1, 1]));
+	t.false(sat.verify(instance, [0, 0, 0, 1, 1]));
+	t.false(sat.verify(instance, [1, 1, 1, 1, 0]));
+});