expr_cmp Namespace Reference

Variables
	int_0 = ExprInt(0, 32)
	int_1 = ExprInt(1, 32)
	int_m1 = ExprInt(-1, 32)
	int_m2 = ExprInt(-2, 32)
	b0 = ExprInt(0, 1)
	b1 = ExprInt(1, 1)
list	tests

Variable Documentation

b0

expr_cmp.b0 = ExprInt(0, 1)

b1

expr_cmp.b1 = ExprInt(1, 1)

int_0

expr_cmp.int_0 = ExprInt(0, 32)

int_1

expr_cmp.int_1 = ExprInt(1, 32)

int_m1

expr_cmp.int_m1 = ExprInt(-1, 32)

int_m2

expr_cmp.int_m2 = ExprInt(-2, 32)

tests

list expr_cmp.tests