#NEWLINE# def main( parsedArguments ) : #NEWLINE# #INDENT# Runtime . initialize ( ) #NEWLINE# tester = AxiomTester ( parsedArguments . numRandVals , parsedArguments . numRelaxations , tester . maxForRelax , parsedArguments . maxForRand , parsedArguments . testAxiomsPath , parsedArguments . seed ) #NEWLINE# tester . test_axiom_consistency ( )