From 38596ce68f51b57ee0f1a51f2abc2b9d9011cf75 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 16 Mar 2018 12:16:52 +0100 Subject: [PATCH] Update todo for more features to verificsva.cc Signed-off-by: Clifford Wolf --- frontends/verific/verificsva.cc | 1 + 1 file changed, 1 insertion(+) 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) -- 2.30.2