def test_count_placeholders(self): query1 = "? | 'a'" query2 = "? -> AG ('a' & ?)" query3 = "A [? U AG (? -> 'a' & AX ?)]" self.assertEqual(count(parse_ctlq(query1)), 1) self.assertEqual(count(parse_ctlq(query2)), 2) self.assertEqual(count(parse_ctlq(query3)), 3)
def test_replace_placeholder(self): query1 = "? | 'a'" query2 = "True -> AG ('a' & ?)" query3 = "A [? U AG ('b' -> False & AX ?)]" self.assertEqual(count(replace(parse_ctlq(query1), TrueExp())), 0) self.assertEqual(count(replace(parse_ctlq(query2), TrueExp())), 0) self.assertEqual(count(replace(parse_ctlq(query3), TrueExp())), 0)