test scope fix/sudoku test formatting

This commit fixes a bug in test scopes related to
solveInit.

Also fixes documentation placement in sudoku_test

internal/xo/s.go

@@ -635,8 +635,9 @@ func (s *S) cleanupSolve() {
 		drvd := s.Driver.Derive(s.x)
 		if drvd.TargetLevel < s.endTestLevel {
 			trail.Back(s.endTestLevel)
-			s.x = CNull
-			//break
+			trail.Assign(drvd.Unit, drvd.P)
+			s.x = trail.Prop()
+			continue
 		}
 		trail.Back(drvd.TargetLevel)
 		trail.Assign(drvd.Unit, drvd.P)

sudoku_test.go

@@ -99,14 +99,15 @@ func Example_sudoku() {
 			}
 		}
 		fmt.Printf("\n")
-		// Output: 5 2 9 1 3 6 7 4 8
-		// 4 3 1 7 8 5 2 9 6
-		// 8 7 6 4 9 2 1 3 5
-		// 1 6 3 2 4 8 5 7 9
-		// 2 4 5 9 1 7 8 6 3
-		// 7 9 8 5 6 3 4 1 2
-		// 6 5 4 3 2 1 9 8 7
-		// 3 1 2 8 7 9 6 5 4
-		// 9 8 7 6 5 4 3 2 1
+
 	}
+	// Output: 5 2 9 1 3 6 7 4 8
+	// 4 3 1 7 8 5 2 9 6
+	// 8 7 6 4 9 2 1 3 5
+	// 1 6 3 2 4 8 5 7 9
+	// 2 4 5 9 1 7 8 6 3
+	// 7 9 8 5 6 3 4 1 2
+	// 6 5 4 3 2 1 9 8 7
+	// 3 1 2 8 7 9 6 5 4
+	// 9 8 7 6 5 4 3 2 1
 }