From be8b434804a94a21959538a9a0473f0020e1f61b Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@Arturs-MacBook-Pro.local>
Date: Thu, 29 Dec 2016 10:42:27 +0100
Subject: [PATCH] rsna

---
 smt/smt_checker_rs_na.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/smt/smt_checker_rs_na.py b/smt/smt_checker_rs_na.py
index 9acac7c..8fade02 100644
--- 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):