rsna

2016-12-29 10:42:27 +01:00
parent f367c5d72c
commit be8b434804
1 changed files with 2 additions and 0 deletions
--- a/smt/smt_checker_rs_na.py
+++ b/smt/smt_checker_rs_na.py
@@ -52,6 +52,8 @@ class SmtCheckerRSNA(object):
            variables.append(Bool("L"+str(level)+"_"+entity))
        self.v.append(variables)
        
+        # TODO: tutaj musimy mieć zestaw zmiennych dla każdego automatu
+        
        self.ca_state.append(Int("CA"+str(level)+"_state"))

    def enc_init_state(self, level):