Searched refs:btor_exp_bv_unsigned (Results 1 – 4 of 4) sorted by relevance
/dports/math/boolector/boolector-3.2.2/test/ |
H A D | test_exp.cpp | 420 exp1 = btor_exp_bv_unsigned (d_btor, 32u, sort); in TEST_F() 421 exp2 = btor_exp_bv_unsigned (d_btor, 49u, sort); in TEST_F() 422 exp3 = btor_exp_bv_unsigned (d_btor, 3u, sort); in TEST_F() 423 exp4 = btor_exp_bv_unsigned (d_btor, 57u, sort); in TEST_F()
|
/dports/math/boolector/boolector-3.2.2/src/ |
H A D | btorexp.h | 121 BtorNode *btor_exp_bv_unsigned (Btor *btor, uint32_t u, BtorSortId sort);
|
H A D | btorexp.c | 393 btor_exp_bv_unsigned (Btor *btor, uint32_t u, BtorSortId sort) in btor_exp_bv_unsigned() function 1200 w = btor_exp_bv_unsigned (btor, width, sort); in exp_rotate()
|
H A D | boolector.c | 1511 res = btor_exp_bv_unsigned (btor, u, s); in boolector_unsigned_int()
|