From: Matt Venn <matt@mattvenn.net>
Date: Mon, 13 Jun 2022 11:59:12 +0000 (+0200)
Subject: expect fail
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7efabe828abdd1cf447cbd39cde0c4b16200a93a;p=SymbiYosys.git

expect fail
---

diff --git a/docs/examples/tristate/tristate.sby b/docs/examples/tristate/tristate.sby
index 7970774..f85e937 100644
--- 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