diff options
Diffstat (limited to 'validation/linear')
| -rw-r--r-- | validation/linear/degen-log-not.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/linear/degen-log-not.c b/validation/linear/degen-log-not.c index baa7d536..a982e34b 100644 --- a/validation/linear/degen-log-not.c +++ b/validation/linear/degen-log-not.c @@ -33,7 +33,6 @@ int test_fun_degen(int i) /* * check-name: degenerate logical-not * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-excludes: load |