smt2.py File Reference

Namespaces
	smt2

Variables
	smt2.a = ExprId("a", 64)
	smt2.b = ExprId('b', 32)
	smt2.c = ExprId('c', 16)
	smt2.d = ExprId('d', 8)
	smt2.e = ExprId('e', 1)
	smt2.left
tuple	smt2.cond
	smt2.right
	smt2.t_z3 = TranslatorZ3()
	smt2.t_smt2 = TranslatorSMT2()
	smt2.e_z3 = t_z3.from_expr(e)
	smt2.smt2 = t_smt2.to_smt2([t_smt2.from_expr(e)])
	smt2.result = parse_smt2_string(smt2)
	smt2.smt2_z3 = result[0]
	smt2.s = Solver()