Searched refs:btor_exp_bv_usubo (Results 1 – 5 of 5) sorted by relevance
373 BtorNode *btor_exp_bv_usubo (Btor *btor, BtorNode *e0, BtorNode *e1);
1310 btor_exp_bv_usubo (Btor *btor, BtorNode *e0, BtorNode *e1) in btor_exp_bv_usubo() function
2756 res = btor_exp_bv_usubo (btor, e0, e1); in boolector_usubo()
622 binary_param_exp_test (0, btor_exp_bv_usubo); in TEST_F()623 binary_param_exp_test (1, btor_exp_bv_usubo); in TEST_F()
692 binary_non_commutative_exp_test (btor_exp_bv_usubo); in TEST_F()