BadVPN – Rev 1
?pathlinks?
process main {
var("true") t;
var("Faalse") f;
and(t, f) r;
strcmp(r, "false") a;
assert(a);
and(f, t) r;
strcmp(r, "false") a;
assert(a);
and(f, f) r;
strcmp(r, "false") a;
assert(a);
and(t, t) r;
strcmp(r, "true") a;
assert(a);
or(t, f) r;
strcmp(r, "true") a;
assert(a);
or(f, t) r;
strcmp(r, "true") a;
assert(a);
or(t, t) r;
strcmp(r, "true") a;
assert(a);
or(f, f) r;
strcmp(r, "false") a;
assert(a);
not(f) r;
strcmp(r, "true") a;
assert(a);
not(t) r;
strcmp(r, "false") a;
assert(a);
exit("0");
}