diff --git a/.besouro/20150930115137755/actions.txt b/.besouro/20150930115137755/actions.txt
index 5e645161..0dfab216 100644
--- a/.besouro/20150930115137755/actions.txt
+++ b/.besouro/20150930115137755/actions.txt
@@ -1,8 +1,8 @@
-FileOpenedAction 1443603101760 SudokuVerifier.java 75 1 0 0
-EditAction 1443603121425 SudokuVerifier.java 116 1 1 0
-RefactoringAction 1443603133972 SudokuVerifier.java RENAME verify()=>int verify(String) METHOD
-EditAction 1443603167403 SudokuVerifier.java 189 1 1 0
-RefactoringAction 1443603212994 TestSudokuVerifier.java ADD void test() METHOD
-RefactoringAction 1443603213121 TestSudokuVerifier.java ADD import org.junit.Assert.* IMPORT
-RefactoringAction 1443603213283 TestSudokuVerifier.java ADD TestSudokuVerifier.java CLASS
-FileOpenedAction 1443603215695 TestSudokuVerifier.java 202 1 1 0
+FileOpenedAction 1443603101760 SudokuVerifier.java 75 1 0 0
+EditAction 1443603121425 SudokuVerifier.java 116 1 1 0
+RefactoringAction 1443603133972 SudokuVerifier.java RENAME verify()=>int verify(String) METHOD
+EditAction 1443603167403 SudokuVerifier.java 189 1 1 0
+RefactoringAction 1443603212994 TestSudokuVerifier.java ADD void test() METHOD
+RefactoringAction 1443603213121 TestSudokuVerifier.java ADD import org.junit.Assert.* IMPORT
+RefactoringAction 1443603213283 TestSudokuVerifier.java ADD TestSudokuVerifier.java CLASS
+FileOpenedAction 1443603215695 TestSudokuVerifier.java 202 1 1 0
diff --git a/.besouro/20151001114714887/actions.txt b/.besouro/20151001114714887/actions.txt
new file mode 100644
index 00000000..0594849b
--- /dev/null
+++ b/.besouro/20151001114714887/actions.txt
@@ -0,0 +1,188 @@
+FileOpenedAction 1443689235653 TestSudokuVerifier.java 216 1 1 0
+RefactoringAction 1443690290574 TestSudokuVerifier.java RENAME test()=>void testRule() METHOD
+RefactoringAction 1443690293721 TestSudokuVerifier.java RENAME testRule()=>void testRuleOne() METHOD
+RefactoringAction 1443690314377 TestSudokuVerifier.java ADD void testRuleOne()/2 METHOD
+RefactoringAction 1443690316502 TestSudokuVerifier.java ADD void testRuleOne()/3 METHOD
+RefactoringAction 1443690316502 TestSudokuVerifier.java ADD void testRuleOne()/4 METHOD
+RefactoringAction 1443690333393 TestSudokuVerifier.java RENAME testRuleOne()/4=>void testRuleTwo() METHOD
+RefactoringAction 1443690337559 TestSudokuVerifier.java RENAME testRuleOne()/3=>void testRuleThree() METHOD
+RefactoringAction 1443690341689 TestSudokuVerifier.java RENAME testRuleOne()/2=>void testRuleFour() METHOD
+EditAction 1443690347064 TestSudokuVerifier.java 499 4 0 0
+RefactoringAction 1443690938060 SudokuVerifier.java ADD boolean hasOnlyPositiveDigits FIELD
+RefactoringAction 1443690952566 SudokuVerifier.java ADD boolean digi FIELD
+RefactoringAction 1443690963426 SudokuVerifier.java RENAME digi=>boolean digitsAppearOnlyOnceInSub FIELD
+RefactoringAction 1443690982287 SudokuVerifier.java ADD boolean digitAppears FIELD
+RefactoringAction 1443690983896 SudokuVerifier.java RENAME digitAppears=>boolean digitAppearsOnly FIELD
+RefactoringAction 1443690990068 SudokuVerifier.java RENAME digitAppearsOnly=>boolean digitAppearsOnlyOnceInRow FIELD
+RefactoringAction 1443690992708 SudokuVerifier.java ADD boolean di FIELD
+RefactoringAction 1443690995294 SudokuVerifier.java RENAME di=>boolean digitAppears FIELD
+RefactoringAction 1443691001491 SudokuVerifier.java RENAME digitAppears=>boolean digitAppearsOnlyOnceInColumn FIELD
+RefactoringAction 1443691051004 SudokuVerifier.java ADD int isTr FIELD
+RefactoringAction 1443691052566 SudokuVerifier.java REMOVE isTr FIELD
+RefactoringAction 1443691059284 SudokuVerifier.java ADD int isCorrect FIELD
+RefactoringAction 1443691128174 SudokuVerifier.java REMOVE isCorrect FIELD
+RefactoringAction 1443691130799 SudokuVerifier.java ADD int isCorrect FIELD
+RefactoringAction 1443691157701 SudokuVerifier.java RENAME isCorrect=>int isArgumentCorrect FIELD
+RefactoringAction 1443691161320 SudokuVerifier.java RENAME isArgumentCorrect=>int isArgument FIELD
+RefactoringAction 1443691163414 SudokuVerifier.java RENAME isArgument=>int isArgumentValid FIELD
+RefactoringAction 1443691174647 SudokuVerifier.java RENAME isArgumentValid=>int argumentValid FIELD
+RefactoringAction 1443691346910 SudokuVerifier.java RENAME argumentValid=>int result FIELD
+EditAction 1443691799244 SudokuVerifier.java 709 1 1 0
+CompilationAction 1443691799510 SudokuVerifier.java
+EditAction 1443691822716 SudokuVerifier.java 712 1 2 0
+EditAction 1443691920804 SudokuVerifier.java 710 1 3 0
+EditAction 1443691987616 SudokuVerifier.java 779 1 4 0
+EditAction 1443692086538 SudokuVerifier.java 779 1 4 0
+RefactoringAction 1443692213881 SudokuVerifier.java ADD static void main(String METHOD
+RefactoringAction 1443692216460 SudokuVerifier.java REMOVE main(String METHOD
+RefactoringAction 1443692314259 SudokuVerifier.java ADD static void main(String METHOD
+RefactoringAction 1443692353621 SudokuVerifier.java REMOVE verify(String) METHOD
+RefactoringAction 1443692400187 SudokuVerifier.java ADD int verify(String) METHOD
+RefactoringAction 1443692405406 SudokuVerifier.java REMOVE main(String METHOD
+RefactoringAction 1443692429303 main.java ADD main.java CLASS
+FileOpenedAction 1443692429756 main.java 70 0 0 0
+RefactoringAction 1443692601921 main.java REMOVE main.java CLASS
+RefactoringAction 1443692994969 TestSudokuVerifier.java RENAME testRuleOne()=>void testOne() METHOD
+RefactoringAction 1443692999600 TestSudokuVerifier.java REMOVE testRuleThree() METHOD
+RefactoringAction 1443692999600 TestSudokuVerifier.java REMOVE testRuleFour() METHOD
+RefactoringAction 1443692999600 TestSudokuVerifier.java REMOVE testRuleTwo() METHOD
+EditAction 1443693321218 SudokuVerifier.java 813 1 3 0
+EditAction 1443693321499 TestSudokuVerifier.java 448 1 4 0
+UnitTestCaseAction 1443693324422 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443693324438 TestSudokuVerifier OK
+UnitTestCaseAction 1443693347875 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443693347875 TestSudokuVerifier OK
+EditAction 1443693529887 TestSudokuVerifier.java 452 1 4 0
+UnitTestCaseAction 1443693531526 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443693531526 TestSudokuVerifier OK
+EditAction 1443693554414 TestSudokuVerifier.java 440 1 4 0
+UnitTestCaseAction 1443693556385 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443693556385 TestSudokuVerifier OK
+EditAction 1443693919023 SudokuVerifier.java 843 1 4 0
+UnitTestCaseAction 1443693924128 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443693924175 TestSudokuVerifier OK
+EditAction 1443693931628 TestSudokuVerifier.java 441 1 4 0
+UnitTestCaseAction 1443693933149 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443693933149 TestSudokuVerifier OK
+RefactoringAction 1443693956368 TestSudokuVerifier.java RENAME testOne()=>void test() METHOD
+RefactoringAction 1443693959493 TestSudokuVerifier.java RENAME test()=>void testIf() METHOD
+RefactoringAction 1443693964634 TestSudokuVerifier.java RENAME testIf()=>void testIfStringContainsNegative() METHOD
+RefactoringAction 1443693966244 TestSudokuVerifier.java RENAME testIfStringContainsNegative()=>void testIfStringContainsNegativeDigit() METHOD
+EditAction 1443694117653 TestSudokuVerifier.java 498 1 4 0
+UnitTestCaseAction 1443694118863 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443694118863 TestSudokuVerifier OK
+EditAction 1443694161761 SudokuVerifier.java 845 1 4 0
+EditAction 1443694161980 TestSudokuVerifier.java 530 1 4 0
+UnitTestCaseAction 1443694163257 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443694163257 TestSudokuVerifier OK
+RefactoringAction 1443694218125 TestSudokuVerifier.java RENAME testIfStringContainsNegativeDigit()=>void test() METHOD
+RefactoringAction 1443694226906 TestSudokuVerifier.java RENAME test()=>void testSolutionContains() METHOD
+RefactoringAction 1443694232547 TestSudokuVerifier.java RENAME testSolutionContains()=>void testSolutionContainsOnlyPositiveNumbers() METHOD
+EditAction 1443694262735 TestSudokuVerifier.java 542 1 5 1
+UnitTestCaseAction 1443694263979 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443694263979 TestSudokuVerifier OK
+EditAction 1443694272407 TestSudokuVerifier.java 543 1 5 1
+UnitTestCaseAction 1443694273425 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443694273425 TestSudokuVerifier FAIL
+EditAction 1443694320655 TestSudokuVerifier.java 542 1 5 1
+UnitTestCaseAction 1443694321616 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443694321616 TestSudokuVerifier OK
+EditAction 1443694329465 TestSudokuVerifier.java 543 1 5 1
+UnitTestCaseAction 1443694330505 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443694330505 TestSudokuVerifier FAIL
+EditAction 1443694338637 TestSudokuVerifier.java 542 1 5 1
+RefactoringAction 1443694378888 TestSudokuVerifier.java ADD String sudokuSolution FIELD
+EditAction 1443694385325 TestSudokuVerifier.java 549 1 4 1
+UnitTestCaseAction 1443694387137 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443694387138 TestSudokuVerifier OK
+EditAction 1443694393123 TestSudokuVerifier.java 550 1 4 1
+UnitTestCaseAction 1443694394283 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443694394283 TestSudokuVerifier FAIL
+RefactoringAction 1443694501139 TestSudokuVerifier.java ADD void testSolutionContainsOnlyPositiveNumbers()/2 METHOD
+RefactoringAction 1443694506262 TestSudokuVerifier.java RENAME testSolutionContainsOnlyPositiveNumbers()/2=>void testSolutionContai() METHOD
+RefactoringAction 1443694509321 TestSudokuVerifier.java RENAME testSolutionContai()=>void testSolutionContains() METHOD
+RefactoringAction 1443694536229 TestSudokuVerifier.java RENAME testSolutionContains()=>void testDigitsAppearOnly() METHOD
+RefactoringAction 1443694563916 TestSudokuVerifier.java RENAME testSolutionContainsOnlyPositiveNumbers()=>void testSolutionHasOnlyPositiveNumbers() METHOD
+RefactoringAction 1443694564031 TestSudokuVerifier.java RENAME testSolutionHasOnlyPositiveNumbers()=>void testSolutionContainsOnlyPositiveNumbers() METHOD
+RefactoringAction 1443694564681 TestSudokuVerifier.java RENAME testSolutionContainsOnlyPositiveNumbers()=>void testSolutionHasOnlyPositiveNumbers() METHOD
+RefactoringAction 1443694612422 TestSudokuVerifier.java RENAME testDigitsAppearOnly()=>void testdigitsAppearOnlyOnceInSub() METHOD
+RefactoringAction 1443694616032 TestSudokuVerifier.java RENAME testdigitsAppearOnlyOnceInSub()=>void testDigitsAppearOnlyOnceInSub() METHOD
+EditAction 1443694630854 TestSudokuVerifier.java 614 2 6 2
+EditAction 1443694631088 SudokuVerifier.java 869 1 0 0
+CompilationAction 1443694631432 SudokuVerifier.java
+CompilationAction 1443694650103 SudokuVerifier.java
+UnitTestCaseAction 1443694652950 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443694652966 TestSudokuVerifier OK
+RefactoringAction 1443694780765 TestSudokuVerifier.java REMOVE testDigitsAppearOnlyOnceInSub() METHOD
+EditAction 1443694783468 TestSudokuVerifier.java 437 1 3 1
+EditAction 1443694793150 SudokuVerifier.java 845 1 4 0
+UnitTestCaseAction 1443694795069 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443694795085 TestSudokuVerifier OK
+UnitTestCaseAction 1443694799996 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443694799996 TestSudokuVerifier OK
+EditAction 1443694811330 TestSudokuVerifier.java 438 1 3 1
+UnitTestCaseAction 1443694812361 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443694812361 TestSudokuVerifier FAIL
+EditAction 1443694823111 TestSudokuVerifier.java 437 1 3 1
+UnitTestCaseAction 1443694995586 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443694995586 TestSudokuVerifier OK
+RefactoringAction 1443695180401 TestSudokuVerifier.java ADD void testSolutionHasOnlyPositiveNumbers()/2 METHOD
+RefactoringAction 1443695203873 TestSudokuVerifier.java RENAME testSolutionHasOnlyPositiveNumbers()/2=>void testdigitsAppearOnlyOnceInSub() METHOD
+RefactoringAction 1443695206973 TestSudokuVerifier.java RENAME testdigitsAppearOnlyOnceInSub()=>void testDigitsAppearOnlyOnceInSub() METHOD
+EditAction 1443695217111 TestSudokuVerifier.java 610 2 6 2
+UnitTestCaseAction 1443695218365 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695218365 TestSudokuVerifier.testDigitsAppearOnlyOnceInSub OK
+UnitTestCaseAction 1443695235110 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695235110 TestSudokuVerifier OK
+EditAction 1443695366580 SudokuVerifier.java 890 1 4 0
+EditAction 1443695366814 TestSudokuVerifier.java 639 2 6 2
+UnitTestCaseAction 1443695367808 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695367808 TestSudokuVerifier OK
+UnitTestCaseAction 1443695387003 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443695387003 TestSudokuVerifier FAIL
+UnitTestCaseAction 1443695413502 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443695413502 TestSudokuVerifier FAIL
+RefactoringAction 1443695436895 TestSudokuVerifier.java REMOVE testDigitsAppearOnlyOnceInSub() METHOD
+EditAction 1443695441668 TestSudokuVerifier.java 644 1 3 1
+UnitTestCaseAction 1443695442695 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443695442695 TestSudokuVerifier FAIL
+UnitTestCaseAction 1443695460148 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695460148 TestSudokuVerifier OK
+UnitTestCaseAction 1443695484088 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695484089 TestSudokuVerifier OK
+RefactoringAction 1443695494771 TestSudokuVerifier.java ADD void testDigitsAppearOnlyOnceInSub() METHOD
+EditAction 1443695496474 TestSudokuVerifier.java 643 2 4 2
+UnitTestCaseAction 1443695497592 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695497592 TestSudokuVerifier OK
+EditAction 1443695528688 TestSudokuVerifier.java 649 2 1 1
+UnitTestCaseAction 1443695529840 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695529840 TestSudokuVerifier OK
+EditAction 1443695546421 TestSudokuVerifier.java 660 2 2 1
+UnitTestCaseAction 1443695547418 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443695547418 TestSudokuVerifier FAIL
+EditAction 1443695565308 TestSudokuVerifier.java 649 2 1 1
+RefactoringAction 1443695654535 TestSudokuVerifier.java REMOVE testDigitsAppearOnlyOnceInSub() METHOD
+EditAction 1443695658206 TestSudokuVerifier.java 695 1 2 1
+UnitTestCaseAction 1443695660679 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695660679 TestSudokuVerifier OK
+EditAction 1443695687084 TestSudokuVerifier.java 696 1 2 1
+UnitTestCaseAction 1443695688193 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443695688193 TestSudokuVerifier FAIL
+EditAction 1443695695755 TestSudokuVerifier.java 695 1 2 1
+UnitTestCaseAction 1443695696791 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695696791 TestSudokuVerifier OK
+EditAction 1443695906427 TestSudokuVerifier.java 614 1 2 1
+UnitTestCaseAction 1443695907512 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443695907512 TestSudokuVerifier FAIL
+EditAction 1443695915695 TestSudokuVerifier.java 613 1 2 1
+UnitTestCaseAction 1443695916746 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695916746 TestSudokuVerifier OK
+EditAction 1443695953138 SudokuVerifier.java 909 1 4 0
+UnitTestCaseAction 1443695954260 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443695954260 TestSudokuVerifier OK
+EditAction 1443695980591 TestSudokuVerifier.java 614 1 2 1
+UnitTestCaseAction 1443695981622 TestSudokuVerifier.java FAIL
+UnitTestSessionAction 1443695981622 TestSudokuVerifier FAIL
+EditAction 1443696007638 TestSudokuVerifier.java 613 1 2 1
+UnitTestCaseAction 1443696008696 TestSudokuVerifier.java OK
+UnitTestSessionAction 1443696008696 TestSudokuVerifier OK
diff --git a/.besouro/20151001114714887/besouroEpisodes.txt b/.besouro/20151001114714887/besouroEpisodes.txt
new file mode 100644
index 00000000..0a8c777e
--- /dev/null
+++ b/.besouro/20151001114714887/besouroEpisodes.txt
@@ -0,0 +1,48 @@
+1443693324438 test-first 4 4088 true
+1443693324439 test-first 4 4088 true
+1443693324440 test-first 4 4088 true
+1443693324441 test-first 4 4088 true
+1443693324442 test-first 4 4088 true
+1443693324443 test-first 4 4088 true
+1443693324444 test-first 4 4088 true
+1443693324445 test-first 4 4088 true
+1443693324446 test-first 4 4088 true
+1443693324447 test-first 4 4088 true
+1443693324448 test-first 4 4088 true
+1443693324449 test-first 4 4088 true
+1443693347875 regression 1 0 true
+1443693531526 regression 1 1 true
+1443693556385 regression 1 1 true
+1443693924175 production 1 5 false
+1443693933149 regression 1 1 true
+1443694118863 refactoring 1B 162 true
+1443694118864 refactoring 2B 162 true
+1443694118865 refactoring 3 162 true
+1443694118866 refactoring 1B 162 true
+1443694118867 refactoring 3 162 true
+1443694118868 refactoring 2B 162 true
+1443694118869 refactoring 3 162 true
+1443694118870 refactoring 3 162 true
+1443694118871 refactoring 2B 162 true
+1443694118872 regression 1 162 true
+1443694118873 refactoring 1B 162 true
+1443694118874 refactoring 3 162 true
+1443694118875 refactoring 3 162 true
+1443694118876 refactoring 3 162 true
+1443694118877 refactoring 2B 162 true
+1443694118878 refactoring 3 162 true
+1443694118879 refactoring 3 162 true
+1443694118880 refactoring 3 162 true
+1443694118881 refactoring 3 162 true
+1443694118882 refactoring 3 162 true
+1443694118883 refactoring 1B 162 true
+1443694118884 refactoring 3 162 true
+1443694118885 refactoring 3 162 true
+1443694118886 refactoring 3 162 true
+1443694118887 refactoring 3 162 true
+1443694163257 refactoring 2A 1 true
+1443694263979 test-addition 1 45 true
+1443694321616 regression 2 49 true
+1443694387138 refactoring 1A 57 true
+1443694387139 refactoring 3 57 true
+1443694387140 refactoring 3 57 true
diff --git a/.besouro/20151001114714887/disagreements.txt b/.besouro/20151001114714887/disagreements.txt
new file mode 100644
index 00000000..e69de29b
diff --git a/.besouro/20151001114714887/randomHeuristicEpisodes.txt b/.besouro/20151001114714887/randomHeuristicEpisodes.txt
new file mode 100644
index 00000000..bbaa077e
--- /dev/null
+++ b/.besouro/20151001114714887/randomHeuristicEpisodes.txt
@@ -0,0 +1,11 @@
+1443693324438 test-first 4 4088 true
+1443693347875 regression 1 0 false
+1443693531526 regression 1 1 false
+1443693556385 regression 1 1 false
+1443693924175 production 1 5 true
+1443693933149 regression 1 1 false
+1443694118863 refactoring 1B 162 false
+1443694163257 refactoring 2A 1 false
+1443694263979 test-addition 1 45 true
+1443694321616 regression 2 49 false
+1443694387138 refactoring 1A 57 false
diff --git a/.besouro/20151001114714887/userComments.txt b/.besouro/20151001114714887/userComments.txt
new file mode 100644
index 00000000..e69de29b
diff --git a/.besouro/20151001114714887/zorroEpisodes.txt b/.besouro/20151001114714887/zorroEpisodes.txt
new file mode 100644
index 00000000..eb527a51
--- /dev/null
+++ b/.besouro/20151001114714887/zorroEpisodes.txt
@@ -0,0 +1,11 @@
+1443693324438 test-first 4 4088 true
+1443693347875 regression 1 23 true
+1443693531526 regression 1 183 true
+1443693556385 regression 1 24 true
+1443693924175 production 1 367 true
+1443693933149 regression 1 8 true
+1443694118863 refactoring 1B 185 true
+1443694163257 refactoring 2A 44 true
+1443694263979 test-addition 1 100 true
+1443694321616 regression 2 57 true
+1443694387138 refactoring 1A 65 true
diff --git a/.classpath b/.classpath
index 3e0fb272..2d749757 100644
--- a/.classpath
+++ b/.classpath
@@ -1,7 +1,7 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
diff --git a/.gitignore b/.gitignore
index ed9f7620..4e9f5ccf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,2 @@
-/bin/
+/bin/
.DS_Store
\ No newline at end of file
diff --git a/.project b/.project
index b273577a..fe8c58e6 100644
--- a/.project
+++ b/.project
@@ -1,17 +1,17 @@
-
-
- Sudoku
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
+
+
+ Sudoku
+
+
+
+
+
+ org.eclipse.jdt.core.javabuilder
+
+
+
+
+
+ org.eclipse.jdt.core.javanature
+
+
diff --git a/README.md b/README.md
index badc70df..e840d8d4 100644
--- a/README.md
+++ b/README.md
@@ -1 +1 @@
-# Sudoku
+# Sudoku
diff --git a/src/org/univoulu/tol/sqatlab/sudoku/SudokuVerifier.java b/src/org/univoulu/tol/sqatlab/sudoku/SudokuVerifier.java
index a4b68fe7..e6d657a8 100644
--- a/src/org/univoulu/tol/sqatlab/sudoku/SudokuVerifier.java
+++ b/src/org/univoulu/tol/sqatlab/sudoku/SudokuVerifier.java
@@ -1,9 +1,39 @@
-package org.univoulu.tol.sqatlab.sudoku;
-
-public class SudokuVerifier {
-
- public int verify(String candidateSolution) {
- // returns 1 if the candidate solution is correct
- return 0;
- }
-}
+package org.univoulu.tol.sqatlab.sudoku;
+
+public class SudokuVerifier {
+
+ public static int result = 0;
+ static boolean hasOnlyPositiveDigits = true;
+ static boolean digitsAppearOnlyOnceInSub = true;
+ static boolean digitAppearsOnlyOnceInRow = true;
+ static boolean digitAppearsOnlyOnceInColumn = true;
+
+ public static int verify(String candidateSolution) {
+
+ if(candidateSolution.contains("-")){
+ hasOnlyPositiveDigits = false;
+ }
+ /*else if(candidateSolution){
+
+ }*/
+
+ if(hasOnlyPositiveDigits == false){
+ result = -1;
+ }
+ else if(digitsAppearOnlyOnceInSub == false){
+ result = -2;
+ }
+ else if(digitAppearsOnlyOnceInRow == false){
+ result = -3;
+ }
+ else if (digitAppearsOnlyOnceInColumn == false){
+ result = -4;
+ }
+ else{
+ result = 0;
+ }
+
+ System.out.println("Sudoku verify() completed, result: " + result);
+ return result;
+ }
+}
diff --git a/src/org/univoulu/tol/sqatlab/sudoku/TestSudokuVerifier.java b/src/org/univoulu/tol/sqatlab/sudoku/TestSudokuVerifier.java
index c0c92901..b4c1d7dd 100644
--- a/src/org/univoulu/tol/sqatlab/sudoku/TestSudokuVerifier.java
+++ b/src/org/univoulu/tol/sqatlab/sudoku/TestSudokuVerifier.java
@@ -1,14 +1,23 @@
-package org.univoulu.tol.sqatlab.sudoku;
-
-import static org.junit.Assert.*;
-
-import org.junit.Test;
-
-public class TestSudokuVerifier {
-
- @Test
- public void test() {
- fail("Not yet implemented");
- }
-
-}
+package org.univoulu.tol.sqatlab.sudoku;
+
+import static org.junit.Assert.*;
+
+import org.junit.Test;
+
+public class TestSudokuVerifier {
+
+ String sudokuSolution = "417369825632158947958724316825437169791586432346912758289643571573291684164875293";
+
+ @Test
+ public void testSolutionHasOnlyPositiveNumbers() {
+ SudokuVerifier.verify(sudokuSolution);
+ assertEquals(true, SudokuVerifier.hasOnlyPositiveDigits);
+ }
+
+ /*@Test
+ public void testDigitsAppearOnlyOnceInSub() {
+ //int testResult = 0;
+ //testResult = SudokuVerifier.verify(sudokuSolution);
+ //assertEquals(0, testResult);
+ }*/
+}