From e7862d4f644d4fc6a97e9c66da431f7a22a0ceef Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 16 Mar 2018 15:48:48 +0100 Subject: [PATCH] Update todo for more features to verificsva.cc Signed-off-by: Clifford Wolf --- frontends/verific/verificsva.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index f221dfcc2..c9c341516 100644 --- 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 //