Use enc_state_with_blocking() for HSR

2016-03-03 12:32:14 +01:00
parent 7907c0216b
commit c686317e16
1 changed files with 2 additions and 3 deletions
--- 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)

-