diff options
Diffstat (limited to 'validation/scheck/ok.c')
| -rw-r--r-- | validation/scheck/ok.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/validation/scheck/ok.c b/validation/scheck/ok.c new file mode 100644 index 00000000..113912e0 --- /dev/null +++ b/validation/scheck/ok.c @@ -0,0 +1,14 @@ +static void ok(int x) +{ + __assert((~x) == (~0 - x)); // true but not simplified yet +} + +static void always(int x) +{ + __assert((x - x) == 0); // true and simplified +} + +/* + * check-name: scheck-ok + * check-command: scheck $file + */ |