From 690d3e5d0a83635c86ecf3b18458998608d24781 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 3 Sep 2017 19:07:34 +0100
Subject: [PATCH] comment

---
 rs_testing.py | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/rs_testing.py b/rs_testing.py
index effc5a3..9f9110c 100644
--- a/rs_testing.py
+++ b/rs_testing.py
@@ -41,11 +41,14 @@ def trivial_param():
     rc.show()
     smt_rsc = SmtCheckerRSCParam(rc)
 
-    f2 = Formula_rsLTL.f_F(
+    f1 = Formula_rsLTL.f_F(
         BagDescription.f_TRUE(),
         BagDescription.f_entity("final") >= 1)
-
-    smt_rsc.check_rsltl(formula=f2, max_level=5)
+    
+    #
+    # WARNING: depth limit is set
+    #
+    smt_rsc.check_rsltl(formula=f1, max_level=5)
 
 
 def example44_param():