Home
last modified time | relevance | path

Searched refs:yices_bvconst_int64 (Results 1 – 3 of 3) sorted by relevance

/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_api12.c210 t = yices_bvconst_int64(n, x); in test_bvconst_int64()
/dports/math/yices/yices-2.6.2/src/include/
H A Dyices.h1421 __YICES_DLLSPEC__ extern term_t yices_bvconst_int64(uint32_t n, int64_t x);
/dports/math/yices/yices-2.6.2/src/api/
H A Dyices_api.c4374 EXPORTED term_t yices_bvconst_int64(uint32_t n, int64_t x) { in yices_bvconst_int64() function