-
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/
sq.c 131 B
#include "__fc_builtin.h"
int main(void)
{
int x = Frama_C_interval(-10, 10);
//@ assert x <= 0 || x >= 0 ;
return x * x;
}