wip test

llvm · Jul 9, 2024 · 1f51aec · 1f51aec
1 parent e7a7dc2
commit 1f51aec
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/Dialect/Verif/basic.mlir b/test/Dialect/Verif/basic.mlir
@@ -35,6 +35,14 @@ verif.cover %true label "foo3" : i1
 verif.cover %s : !ltl.sequence
 verif.cover %p : !ltl.property
 
+//===----------------------------------------------------------------------===//
+// Formal
+//===----------------------------------------------------------------------===//
+
+// CHECK: verif.formal (k : ) {
+verif.formal (k : 20, ) {
+
+}
 
 //===----------------------------------------------------------------------===//
 // Print-related