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())
