artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Removed constraint print... recursion

Browse Source
This commit is contained in:
Artur Meski
2018-01-14 10:12:38 +00:00
parent c2b877e38c
commit ca2ea3fa3f
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
smt/smt_checker_rsc_param.py
View File

@@ -709,7 +709,8 @@ class SmtCheckerRSCParam(object):
if not isinstance(formulae_list, (list, tuple)): if not isinstance(formulae_list, (list, tuple)):
print_error("Expected a list of formulae") print_error("Expected a list of formulae")
print_info("Parameter constraint: {:s}".format(str(param_constr))) #print_info("Parameter constraint: {:s}".format(str(param_constr)))
print_info("Parameter constraint defined")
self.reset() self.reset()
@@ -1006,4 +1007,4 @@ class SmtCheckerRSCParam(object):
break break
# EOF # EOF