2 files changed, 0 insertions, 2 deletions
diff --git a/validation/optim/and-or-bf0.c b/validation/optim/and-or-bf0.c
index a17ff82d..cfaff4f2 100644
--- a/validation/optim/and-or-bf0.c
+++ b/validation/optim/and-or-bf0.c
@@ -17,7 +17,6 @@ void bar(struct s *p, int a)
 /*
  * check-name: and-or-bf0
  * check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
  *
  * check-output-ignore
  * check-output-pattern(3): and\\.
diff --git a/validation/optim/and-or-constant0.c b/validation/optim/and-or-constant0.c
index e3ff0fa4..dcf440f3 100644
--- a/validation/optim/and-or-constant0.c
+++ b/validation/optim/and-or-constant0.c
@@ -6,7 +6,6 @@ int foo(int x)
 /*
  * check-name: and-or-constant0
  * check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
  *
  * check-output-ignore
  * check-output-excludes: or\\.