From 7efabe828abdd1cf447cbd39cde0c4b16200a93a Mon Sep 17 00:00:00 2001
From: Matt Venn <matt@mattvenn.net>
Date: Mon, 13 Jun 2022 13:59:12 +0200
Subject: [PATCH] expect fail

---
 docs/examples/tristate/tristate.sby | 1 +
 1 file changed, 1 insertion(+)

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
 
-- 
2.30.2