From 1d1f6a650d71cce3953bff1dc93107079ed42598 Mon Sep 17 00:00:00 2001
From: Jason Wright <jason@thought.net>
Date: Sun, 4 Jan 2026 14:39:26 -0700
Subject: [PATCH] add incomplete DJ tests

---
 .../NPC_DEUTSCHJOZSA/DEUTSCHJOZSA_Tests.cs    | 73 +++++++++++++++++++
 1 file changed, 73 insertions(+)
 create mode 100644 redux-tests/Problems/NPC_DEUTSCHJOZSA/DEUTSCHJOZSA_Tests.cs

diff --git a/redux-tests/Problems/NPC_DEUTSCHJOZSA/DEUTSCHJOZSA_Tests.cs b/redux-tests/Problems/NPC_DEUTSCHJOZSA/DEUTSCHJOZSA_Tests.cs
new file mode 100644
index 0000000..e3b8829
--- /dev/null
+++ b/redux-tests/Problems/NPC_DEUTSCHJOZSA/DEUTSCHJOZSA_Tests.cs
@@ -0,0 +1,73 @@
+using Xunit;
+using API.Problems.NPComplete.NPC_DEUTSCHJOZSA;
+using API.Problems.NPComplete.NPC_DEUTSCHJOZSA.Verifiers;
+using API.Problems.NPComplete.NPC_DEUTSCHJOZSA.Solvers;
+
+namespace redux_tests;
+#pragma warning disable CS1591
+
+public class DEUTSCHJOZSA_tests {
+    [Fact]
+    public void DEUTSCH_Default_Instantiation()
+    {
+        var problem = new DEUTSCHJOZSA();
+        Assert.Equal("(2,(1, 1, 1, 1))", problem.instance);
+        Assert.Equal("(2,(1, 1, 1, 1))", problem.defaultInstance);
+    } 
+
+    [Fact]
+    public void DEUTSCH_Custom_Instantiation() {
+        string instance = "(2,(0,0,1,1))";
+        var problem = new DEUTSCHJOZSA(instance);
+        Assert.Equal(instance, problem.instance);
+    }
+
+    // XXX The verifier tests require PR #95 to be merged first
+    // [Theory] //tests verifier
+    // [InlineData("(1,(0,0))", "constant", true)]
+    // [InlineData("(1,(1,1))", "constant", true)]
+    // [InlineData("(1,(0,1))", "balanced", true)]
+    // [InlineData("(1,(1,0))", "balanced", true)]
+    // [InlineData("(1,(0,0))", "balanced", false)]
+    // [InlineData("(1,(1,1))", "balanced", false)]
+    // [InlineData("(1,(0,1))", "constant", false)]
+    // [InlineData("(1,(1,0))", "constant", false)]
+    // [InlineData("(2,(0,0,0,0))", "constant", true)]
+    // [InlineData("(2,(1,1,0,0))", "balanced", true)]
+    // [InlineData("(2,(1,0,1,0))", "balanced", true)]
+    // [InlineData("(2,(1,0,0,1))", "balanced", true)]
+    // [InlineData("(2,(0,1,1,0))", "balanced", true)]
+    // [InlineData("(2,(0,1,0,1))", "balanced", true)]
+    // [InlineData("(2,(0,0,1,1))", "balanced", true)]
+    // [InlineData("(2,(1,1,1,1))", "constant", true)]
+    // public void DEUTSCHJOZSA_verifier(string instance, string certificate, bool expected) {
+    //     var problem = new DEUTSCHJOZSA(instance);
+    //     var verifier = new DeutschJozsaVerifier();
+    //     bool result = verifier.verify(problem, certificate);
+    //     Assert.Equal(expected, result);
+    // }
+
+    [Theory] //tests solver
+    [InlineData("(1,(0,0))", "constant")]
+    [InlineData("(1,(1,1))", "constant")]
+    [InlineData("(1,(0,1))", "balanced")]
+    [InlineData("(1,(1,0))", "balanced")]
+    [InlineData("(2,(0,0,0,0))", "constant")]
+    [InlineData("(2,(1,1,0,0))", "balanced")]
+    [InlineData("(2,(1,0,1,0))", "balanced")]
+    [InlineData("(2,(1,0,0,1))", "balanced")]
+    [InlineData("(2,(0,1,1,0))", "balanced")]
+    [InlineData("(2,(0,1,0,1))", "balanced")]
+    [InlineData("(2,(0,0,1,1))", "balanced")]
+    [InlineData("(2,(1,1,1,1))", "constant")]
+    public void DEUTSCHJOZSA_solver(string instance, string certificate)
+    {
+        var problem = new DEUTSCHJOZSA(instance);
+        var solver = new DeutschJozsaClassicalSolver();
+        string solvedString = solver.solve(problem);
+
+        // XXX normalize the certificate for now (can be removed after PR #95 is merged)
+        solvedString = solvedString.Trim('{', '}').ToLower();
+        Assert.Equal(certificate, solvedString);
+    }
+}
\ No newline at end of file