diff options
Diffstat (limited to 'validation/scheck/ok.c')
-rw-r--r-- | validation/scheck/ok.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/validation/scheck/ok.c b/validation/scheck/ok.c index 113912e0..76c04c4f 100644 --- a/validation/scheck/ok.c +++ b/validation/scheck/ok.c @@ -3,6 +3,11 @@ static void ok(int x) __assert((~x) == (~0 - x)); // true but not simplified yet } +static void also_ok(int x) +{ + __assert_eq(~x, ~0 - x); +} + static void always(int x) { __assert((x - x) == 0); // true and simplified |