tests/float · b4e1d6c1aa6721b69ee8973b9753b92a9ec6485f · pub / frama-c · GitLab

Snippets Groups Projects

[Eva] Renames ptests configs equalities into equality, and octagons into octagon.

David Bühler authored 4 years ago

According to the name of the corresponding domains.

b8a266f1

b8a266f1 4 years ago

Name	Last commit	Last update
..
oracle
oracle_equality
oracle_octagon
absorb.c
alarms.i
builtins.c
cast.i
cond.c
cond_cast_int_to_float.c
const.i
const1.i
const2.i
const3.i
const4.i
contract_special_float.c
conv.i
cte_overflow.i
div.i
dr.i
dr_infinity.i
extract_bits.i
float_cast_implicite.i
fval_test.i
fval_test.ml
init_float.i
leaf_ensures.i
logic.i
math_builtins.c
nonlin.c
parse.i
precise_cos_sin.c
round10d.i
s.i
some.c
special_floats.c
sqrt.c
uninit.i
widen.c
zero.i