File: func_spec_merge.i

package info (click to toggle)

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

file content (6 lines) | stat: -rw-r--r-- 128 bytes

int f() { return 3; }

int g () { return 4; }

/*@ requires p == &f || p == &g; */
int main (int (*p)(void)) { return (*p)(); }