Esempi in C++ (Cpp) per bug_set_double

Esempio n. 1

File: hwf.cpp Progetto: Moondee/Artemis

void tst_hwf() {
    bug_is_int();
    bug_set_double();
    bug_to_rational();
}

Esempio n. 2

File: mpf.cpp Progetto: AleksandarZeljic/z3

void tst_mpf() {
    enable_trace("mpf_mul_bug");
    bug_set_int();
    bug_set_double();
}