← Back to branch summary

~yrke/+junk/discrete

« back to all changes in this revision

Viewing changes to bin/opaal_singlecore

  • Committer: Kenneth Yrke Joergensen
  • Date: 2011-05-09 12:20:31 UTC
  • Revision ID: kenneth@yrke.dk-20110509122031-7lmp4xic5hmpmj63
Fixed error where updates on w, p on pw list gave wrong values, fixed some error in debug output. Refactored the implementation of the pw list

Show diffs side-by-side

added added

removed removed

Lines of Context:
bin/opaal_singlecore
71
71
exec("pwlist = " + options.pwlist + "()")
72
72
#pwlist = SimplePWList()
73
73
 
74
 
maxconstant = 17 #largest constant in the system
 
74
maxconstant = 1000 #largest constant in the system
75
75
succgen = SuccessorGenerator(model, pwlist, maxconstant, constant_defines)
76
76
goalchecker = GoalChecker(succgen, query)
77
77
m = McReachability(succgen, goalchecker, pwlist, maxconstant)