def test_self1_xi_post(self): code = '{ if (a) { } if (b) { } if (c) { } }' clu = Clue(code) clu.parse() parallel = clu.clue() code = '{ if (a) { if (b) { if (c) { } } } }' clu = Clue(code) clu.parse() orthogonal = clu.clue() self.assertEqual(True, orthogonal[0] < parallel[0])
def test_clue4(self): clu = Clue('if(a){ if (b) {}}') clu.parse() self.assertEqual([2, 0], clu.clue())
def test_clu11(self): clu = Clue('if (a) { if (b) {} }') clu.parse() self.assertEqual(3, clu.subPaths())
def test_clu9(self): clu = Clue('if (a) { if (b) {}}') clu.parse() self.assertEqual(3, clu.subPathConjecture())
def test_verify2(self): code = 'if (a) {} if (b) {}' clu = Clue(code) clu.parse() self.assertTrue('[0]' in clu.verify() and '[9]' in clu.verify())
def test_clupath6(self): code = 'if (a) { if (b) {} } if (c && c1) {} if (d || d1) {} if (e) {}' clu = Clue(code) clu.parse() self.assertEqual([[1, [0]], [1, [0]], [2, [Fraction(1,3)]], [3, [Fraction(1,2)]], [4, [0]]], clu.path())
def test_clupath_5(self): code = 'if (a && b || c && d) {}' clu = Clue(code) clu.parse() self.assertEqual([[1, [Fraction(2,5), Fraction(3,2), Fraction(2,5)]]], clu.path())
def test_clupath_3(self): code = 'if (a || b) {}' clu = Clue(code) clu.parse() self.assertEqual([[1, [Fraction(1, 2)]]], clu.path())
def test_colloc18_cabe(self): code = 'if (0<1) {} if (9>k && 1<n) { } if (2==n && 9>f) {}' clu = Clue(code) clu.parse() self.assertEqual(6, clu.cabe())
def test_colloc18_xi(self): code = 'if (0<1) {} if (9>k && 1<n) { } if (2==n && 9>f) {}' clu = Clue(code) clu.parse() self.assertEqual([6, Fraction(1,3)+Fraction(1,3)], clu.clue())
def test_colloc17_subPaths(self): code = 'if (0<1) {} if (9>k && 1<n) { } if (2==n || 9>f) {}' clu = Clue(code) clu.parse() self.assertEqual(18, clu.subPaths())
def test_clue5(self): clu = Clue('if(a){ if (b) {}} if (c) {}') clu.parse() self.assertEqual([4, 0], clu.clue())
def test_colloc16_subPathConjecture(self): code = 'if (-4<1) {} if (4<k) {} if (8>n) {}' clu = Clue(code) clu.parse() self.assertEqual(3, clu.subPathConjecture())
def test_colloc16_cabe(self): code = 'if (-4<1) {} if (4<k) {} if (8>n) {}' clu = Clue(code) clu.parse() self.assertEqual(4, clu.cabe())
def test_colloc15_subPathConjecture(self): code = 'if (0<1) {} if (9>k) { if (1<n) {} }' clu = Clue(code) clu.parse() self.assertEqual(4, clu.subPathConjecture())
def test_clupath_1(self): code = 'if (a) {}' clu = Clue(code) clu.parse() self.assertEqual([[1, [0]]], clu.path())
def test_clue00(self): clu = Clue('if(a) {}') clu.parse() self.assertEqual([1, Fraction(0, 1)], clu.clue())
def test_colloc18_subPathConjecture(self): code = 'if (0<1) {} if (9>k && 1<n) { } if (2==n && 9>f) {}' clu = Clue(code) clu.parse() self.assertEqual(7, clu.subPathConjecture())
def test_clupath_4(self): code = 'if (a) { if (b) {}} if (c) {}' clu = Clue(code) clu.parse() self.assertEqual([[1,[0]], [1, [0]], [2, [0]]], clu.path())
def test_for_xi(self): code = 'for (int i; i<=9; i++) { }' clu = Clue(code) clu.parse() self.assertEqual([1, 0], clu.clue())
def test_clu7(self): clu = Clue('while (i<10) {}') clu.parse() self.assertEqual([1, 0], clu.clue())
def test_clu6(self): clu = Clue('for(int i=0; i<10; i++) {}') clu.parse() self.assertEqual([1, 0], clu.clue())
def test_verify1(self): code = 'if (a) {}' clu = Clue(code) clu.parse() self.assertTrue(clu.verify().startswith('[0]'))
def test_for_subPaths(self): code = 'for (int i; i<=9; i++) { }' clu = Clue(code) clu.parse() self.assertEqual(2, clu.cabe())
def test_clu8(self): clu = Clue('if (a) {}') clu.parse() self.assertEqual(1, clu.subPathConjecture())
def test_while_xi(self): code = 'while (i<=9) { }' clu = Clue(code) clu.parse() self.assertEqual([1, 0], clu.clue())
def test_clu10_curl_space(self): clu = Clue('if (a) {}') clu.parse() self.assertEqual(2, clu.subPaths())
def test_while_cabe(self): code = 'while (i<=9) { }' clu = Clue(code) clu.parse() self.assertEqual(2, clu.cabe())
def test_while_subPaths(self): code = 'while (i<=9) { }' clu = Clue(code) clu.parse() self.assertEqual(2, clu.subPaths())
def test_colloc15_cabe(self): code = 'if (0<1) {} if (9>k) { if (1<n) {} }' clu = Clue(code) clu.parse() self.assertEqual(4, clu.cabe())