Exemple #1
0
 def true(self):
     return smt_helper.true()
Exemple #2
0
 def true(self):
     return smt_helper.true()
Exemple #3
0
 def get_true(self):
     return smt_helper.true()