Searched refs:res1_pptr (Results 1 – 1 of 1) sorted by relevance
| /dports/math/boolector/boolector-3.2.2/src/ |
| H A D | btoruntrace.c | 475 char **res1_pptr, **res2_pptr; /* result pointer */ in parse() local
628 hmap_add (hmap, arg1_str, res1_pptr); in parse()
1754 btor, hmap_get (hmap, arg1_str), &res1_pptr, &res2_pptr, &ret_uint); in parse()
1769 btor, hmap_get (hmap, arg1_str), &res1_pptr, &res2_pptr, &ret_uint); in parse()
|