← Back to branch summary

~yrke/opaal/timedart-vars

« back to all changes in this revision

Viewing changes to opaal/modelchecking_algorithms/reachability.py

  • Committer: Kenneth Yrke Joergensen
  • Date: 2011-05-03 23:18:28 UTC
  • Revision ID: kenneth@yrke.dk-20110503231828-0msrjz63ppe5n8tq
Error fixes and speed fixes

Show diffs side-by-side

added added

removed removed

Lines of Context:
opaal/modelchecking_algorithms/reachability.py
16
16
 
17
17
from opaal.passed_waiting_list import NoMoreStatesException, GoalFoundException
18
18
 
 
19
import logging
 
20
logger = logging.getLogger('reachability')
 
21
 
 
22
 
19
23
class McReachability:
20
24
    def __init__(self, succgen, goalchecker, pwlist, maxconstant):
21
25
        self.succgen = succgen
32
36
        self.pwlist.setWP(state, w,w) #Mark state as explored
33
37
       
34
38
        if (p == w): #Already checked
35
 
            print "Already checked state on pw list ", state, " - ", w, " - ", p
 
39
            #logger.debug("Already checked state on pw list %s - %s -S", state, w, p)
36
40
            return
37
41
 
38
42
        if self.goalchecker.isGoal(state):