-
David Bühler authored
Renames directory gui-images-raw into gui-images Moves gui images in directory gui-images/ Moves C examples in directory examples/
David Bühler authoredRenames directory gui-images-raw into gui-images Moves gui images in directory gui-images/ Moves C examples in directory examples/
ov_float_int.c 107 B
#include "__fc_builtin.h"
int main()
{
float f = Frama_C_float_interval(2e9, 3e9);
return (int) f;
}