File: logic_env.i

package info (click to toggle)

frama-c 20140301%2Bneon%2Bdfsg-3

file content (9 lines) | stat: -rw-r--r-- 148 bytes

/* run.config
OPT: -load-script tests/syntax/logic_env_script.ml
*/

//@ predicate foo(integer x) = x == 0;

int X;

//@ predicate bar{L} = X == 0;