00001
00005 package edu.mit.csail.sdg.squander.examples.sudoku;
00006
00007 import org.junit.Assert;
00008 import org.junit.Test;
00009
00010 import edu.mit.csail.sdg.squander.examples.sudoku.Sudoku1;
00011 import edu.mit.csail.sdg.squander.examples.sudoku.Sudoku2;
00012 import edu.mit.csail.sdg.squander.examples.sudoku.Sudoku3;
00013 import edu.mit.csail.sdg.squander.examples.sudoku.Sudoku5;
00014
00015 public class Sudoku1Test {
00016
00017 @Test
00018 public void testSudoku1Small() {
00019 Sudoku1 sudoku = Sudoku1.parse("4 | 0 1 0 0 | 0 0 3 0 | 0 3 0 0 | 0 0 4 0");
00020 sudoku.solve();
00021 Assert.assertEquals("3 1 2 4 2 4 3 1 4 3 1 2 1 2 4 3", sudoku.printSimple());
00022 }
00023
00024 @Test
00025 public void testSudoku2Small() {
00026 Sudoku2 sudoku = Sudoku2.parse("4 | 0 1 0 0 | 0 0 3 0 | 0 3 0 0 | 0 0 4 0");
00027 sudoku.solve();
00028 Assert.assertEquals("3 1 2 4 2 4 3 1 4 3 1 2 1 2 4 3", sudoku.printSimple());
00029 }
00030
00031 @Test
00032 public void testSudoku3Small() {
00033 Sudoku3 sudoku = Sudoku3.parse("4 | 0 1 0 0 | 0 0 3 0 | 0 3 0 0 | 0 0 4 0");
00034 sudoku.solve();
00035 Assert.assertEquals("3 1 2 4 2 4 3 1 4 3 1 2 1 2 4 3", sudoku.printSimple());
00036 }
00037
00038 @Test
00039 public void testSudoku5Small() {
00040 Sudoku5 sudoku = Sudoku5.parse("4 | 0 1 0 0 | 0 0 3 0 | 0 3 0 0 | 0 0 4 0");
00041 sudoku.solve();
00042 Assert.assertEquals("3 1 2 4 2 4 3 1 4 3 1 2 1 2 4 3", sudoku.printSimple());
00043 }
00044 }
