Commit edf6b18c authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Properly count errors

parent ac6f19e8
......@@ -713,6 +713,7 @@ class sdlHandler(QObject):
print 'Exhaustive simulation (Breadth first)'
next_level = []
self.sim_param['state'] = 'exhaustive'
total_err = 0
def exhaust_interface(name, asn1_ty):
''' Send all combinations of an input signal and return
......@@ -748,10 +749,11 @@ class sdlHandler(QObject):
typename = sort.ReferencedTypeName.replace('-', '_')
ty = self.proc.dataview[sort.ReferencedTypeName]
next_states, error_count = exhaust_interface(name, ty)
total_err += error_count
next_level.extend(next_states)
print 'length of next level: ', len(next_level)
print 'Number of stop conditions reached:', error_count
print 'Number of stop conditions reached:', total_err
def random_simulation(self):
''' Random simulator - read the config from the checker_table and
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment