projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b42b644)
expect fail
authorMatt Venn <matt@mattvenn.net>
Mon, 13 Jun 2022 11:59:12 +0000 (13:59 +0200)
committerMatt Venn <matt@mattvenn.net>
Tue, 14 Jun 2022 13:31:42 +0000 (15:31 +0200)
docs/examples/tristate/tristate.sby patch | blob | history

diff --git a/docs/examples/tristate/tristate.sby b/docs/examples/tristate/tristate.sby
index 797077427faaacaa3f949523c79ca885d901e732..f85e937cfd724f07c8fe287796db925233fb68b0 100644 (file)
--- a/docs/examples/tristate/tristate.sby
+++ b/docs/examples/tristate/tristate.sby
@@ -3,6 +3,7 @@ pass
 fail
 
 [options]
+fail: expect fail
 mode prove
 depth 5