From c686317e164eed20c5d6fa35fb9c7effe34ebcfa Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Thu, 3 Mar 2016 12:32:14 +0100
Subject: [PATCH] Use enc_state_with_blocking() for HSR

---
 rs_examples.py | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/rs_examples.py b/rs_examples.py
index a64c792..ec01e4c 100755
--- a/rs_examples.py
+++ b/rs_examples.py
@@ -499,7 +499,6 @@ def heat_shock_response(print_system=True):
         rc.show()
     
     smt_rsc = SmtCheckerRSC(rc)
-    prop = [("hsp",1)]
+    prop = ([("hsp",1)],[("temp",stress_temp)]) # no stress
     smt_rsc.check_reachability(prop,max_level=10)
-    
-    
+