unstructured search unittests

Problems/NPComplete/NPC_UNSTRUCTUREDSEARCH/Solvers/UnstructuredSearchSolver.cs

@@ -15,12 +15,7 @@ public UnstructuredSearchSolver() {}
     public string solve(UNSTRUCTUREDSEARCH problem){
         // For a classical solution, we just need to loop over the values and
         // find the first non-zero value.
-        foreach (var bit in problem.funcValues)
-        {
-            Console.WriteLine($"boop={bit}");
-        }
-
-        for (int i = 0; i < problem.funcValues[i]; i++)
+        for (int i = 0; i < problem.funcValues.Count; i++)
         {
             if (problem.funcValues[i] != 0)
                 return Convert.ToString(i);

redux-tests/Problems/NPC_UNSTRUCTUREDSEARCH/UNSTRUCTUREDSEARCH_Tests.cs

@@ -0,0 +1,52 @@
+using Xunit;
+using API.Problems.NPComplete.NPC_UNSTRUCTUREDSEARCH;
+using API.Problems.NPComplete.NPC_UNSTRUCTUREDSEARCH.Solvers;
+
+namespace redux_tests;
+#pragma warning disable CS1591
+
+public class UNSTRUCTUREDSEARCH_tests {
+    [Fact]
+    public void DEUTSCH_Default_Instantiation()
+    {
+        var problem = new UNSTRUCTUREDSEARCH();
+        Assert.Equal("(0, 1, 0, 0)", problem.instance);
+        Assert.Equal("(0, 1, 0, 0)", problem.defaultInstance);
+    } 
+
+    [Fact]
+    public void DEUTSCH_Custom_Instantiation() {
+        string instance = "(0, 0, 0, 1)";
+        var problem = new UNSTRUCTUREDSEARCH(instance);
+        Assert.Equal(instance, problem.instance);
+    }
+
+    [Theory] //tests verifier
+    [InlineData("(1,0,0,0)", 0, true)]
+    [InlineData("(1,0,0,0)", 1, false)]
+    [InlineData("(1,0,0,0)", 2, false)]
+    [InlineData("(1,0,0,0)", 3, false)]
+    [InlineData("(0,1,0,0)", 1, true)]
+    [InlineData("(0,0,1,0)", 2, true)]
+    [InlineData("(0,0,0,1)", 3, true)]
+    public void DEUTSCH_verifier(string instance, int certificate, bool expected) {
+        var problem = new UNSTRUCTUREDSEARCH(instance);
+        var verifier = problem.defaultVerifier;
+        bool result = verifier.verify(problem, certificate.ToString());
+        Assert.Equal(expected, result);
+
+    }
+
+    [Theory] //tests solver
+    [InlineData("(1,0,0,0)", 0)]
+    [InlineData("(0,1,0,0)", 1)]
+    [InlineData("(0,0,1,0)", 2)]
+    [InlineData("(0,0,0,1)", 3)]
+    public void UNSTRUCTUREDSEARCH_solver(string instance, int certificate)
+    {
+        var problem = new UNSTRUCTUREDSEARCH(instance);
+        var solver = new UnstructuredSearchSolver();
+        string solvedString = solver.solve(problem);
+        Assert.Equal($"{certificate}", solvedString);
+    }
+}