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 f221dfcc2d0e096ead8ded4739f8ac283bde1b95..c9c341516fb1e29d2e3d31e799494bec4fd9db4e 100644 (file)
--- a/frontends/verific/verificsva.cc
+++ b/frontends/verific/verificsva.cc
@@ -27,7 +27,7 @@
 //   [antecedent_condition] always.. property
 //   [antecedent_condition] eventually.. basic_property
 //   [antecedent_condition] property until.. expression
-//   [antecedent_condition] basic_property until.. basic_property
+//   [antecedent_condition] basic_property until.. basic_property      (assert/assume only)
 //
 // antecedent_condition:
 //   sequence |->
@@ -38,8 +38,8 @@
 //   not basic_property
 //   sequence #-# basic_property
 //   sequence #=# basic_property
-//   basic_property or basic_property       (cover only)
-//   basic_property and basic_property      (assert/assume only)
+//   basic_property or basic_property           (cover only)
+//   basic_property and basic_property          (assert/assume only)
 //   basic_property implies basic_property
 //   basic_property iff basic_property
 //