def main(cls, args):
""" generated source for method main """
showDiffs = False
theReference = ProverStateMachine()
theMachine = ProverStateMachine()
theRepository = GameRepository.getDefaultRepository()
for gameKey in theRepository.getGameKeys():
if gameKey.contains("laikLee"):
continue
# Choose the transformation(s) to test here
description = DeORer.run(description)
newDescription = VariableConstrainer.replaceFunctionValuedVariables(description)
if description.hashCode() != newDescription.hashCode():
theReference.initialize(description)
theMachine.initialize(newDescription)
print "Detected activation in game " + gameKey + ". Checking consistency: "
StateMachineVerifier.checkMachineConsistency(theReference, theMachine, 10000)
if showDiffs:
for x in newDescription:
if not description.contains(x):
print "NEW: " + x
for x in description:
if not newDescription.contains(x):
print "OLD: " + x
def getInitialStateMachine(self):
return ProverStateMachine()
def load_game(game_name):
game_description = GameRepository.getDefaultRepository().getGame(
game_name).getRules()
machine = ProverStateMachine()
machine.initialize(game_description)
return machine
def load_game(game_name):
game_description = GameRepository.getDefaultRepository().getGame(game_name).getRules()
machine = ProverStateMachine()
machine.initialize(game_description)
return machine
