Home
last modified time | relevance | path

Searched refs:yices_int64 (Results 1 – 5 of 5) sorted by relevance

/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_api13.c360 u = yices_int64(a); in test_constant()
H A Dtest_api5.c346 u = yices_int64(a); in test_constant()
H A Dtest_api1.c662 y = yices_int64(0); in test_arith_constants()
/dports/math/yices/yices-2.6.2/src/include/
H A Dyices.h1012 __YICES_DLLSPEC__ extern term_t yices_int64(int64_t val);
/dports/math/yices/yices-2.6.2/src/api/
H A Dyices_api.c3479 EXPORTED term_t yices_int64(int64_t val) { in yices_int64() function