Exemplo n.º 1
0
 def true(self):
     return smt_helper.true()
Exemplo n.º 2
0
 def true(self):
     return smt_helper.true()
Exemplo n.º 3
0
 def get_true(self):
     return smt_helper.true()