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

Pretty printing

Browse Source
This commit is contained in:
Artur Meski
2016-03-04 15:10:10 +01:00
parent 5aec7d8df5
commit 45b6db12c4
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
smtcheckerrsc.py
View File

@@ -361,7 +361,7 @@ class SmtCheckerRSC(object):
while True: while True:
self.prepare_all_variables() self.prepare_all_variables()
print("-----[ Working at level=" + str(current_level) + " ]-----") print("\n{:-^70}".format("[ Working at level=" + str(current_level) + " ]"))
stdout.flush() stdout.flush()
# reachability test: # reachability test:
@@ -382,7 +382,7 @@ class SmtCheckerRSC(object):
print("[i] Unrolling the transition relation") print("[i] Unrolling the transition relation")
self.solver.add(self.enc_transition_relation(current_level)) self.solver.add(self.enc_transition_relation(current_level))
print("-----[ level=" + str(current_level) + " done ]") print("\n{:-^70}".format("[ level=" + str(current_level) + " done ]"))
current_level += 1 current_level += 1
if current_level > max_level: if current_level > max_level:
@@ -394,10 +394,10 @@ class SmtCheckerRSC(object):
stop = resource.getrusage(resource.RUSAGE_SELF).ru_utime stop = resource.getrusage(resource.RUSAGE_SELF).ru_utime
self.verification_time = stop-start self.verification_time = stop-start
print() print()
print("[i] Time: " + repr(self.verification_time) + " s") print("\n[i] {:_>60}".format(" Time: " + repr(self.verification_time) + " s"))
if print_mem: if print_mem:
print("[i] Memory: " + repr(resource.getrusage(resource.RUSAGE_SELF).ru_maxrss/(1024*1024)) + " MB") print("[i] {:_>60}".format(" Memory: " + repr(resource.getrusage(resource.RUSAGE_SELF).ru_maxrss/(1024*1024)) + " MB"))
def get_verification_time(self): def get_verification_time(self):
return self.verification_time return self.verification_time