Home
last modified time | relevance | path

Searched refs:BAD_TERM_DECREF (Results 1 – 4 of 4) sorted by relevance

/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_error_string.c72 BAD_TERM_DECREF,
/dports/math/yices/yices-2.6.2/src/include/
H A Dyices_types.h343 BAD_TERM_DECREF, // added 2013/10/03 enumerator
/dports/math/yices/yices-2.6.2/src/api/
H A Dyices_error.c203 case BAD_TERM_DECREF: in print_error()
688 case BAD_TERM_DECREF: in error_string()
H A Dyices_api.c11336 error->code = BAD_TERM_DECREF; in _o_yices_decref_term()