From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 16 Mar 2018 11:16:52 +0000 (+0100)
Subject: Update todo for more features to verificsva.cc
X-Git-Tag: yosys-0.8~150
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=38596ce68f51b57ee0f1a51f2abc2b9d9011cf75;p=yosys.git

Update todo for more features to verificsva.cc

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc
index c56854acc..f221dfcc2 100644
--- a/frontends/verific/verificsva.cc
+++ b/frontends/verific/verificsva.cc
@@ -35,6 +35,7 @@
 //
 // basic_property:
 //   sequence
+//   not basic_property
 //   sequence #-# basic_property
 //   sequence #=# basic_property
 //   basic_property or basic_property       (cover only)