if (testexp == "notcomplete"):
testFullNameNotComplete = testFullName + "not_complete"
if (testType == "W" or testType == "H"):
# fsm.makeNotCompleteWTestFromComplete(testFullName, testFullNameNotComplete)
# #fsm.checkTransitionsCovering(testFullNameNotComplete)
# #fsm.checkStatesCovering(testFullNameNotComplete)
pass
elif (testType == 'TT'):
# makeNotCompleteTestFromComplete (testFullName, testFullNameNotComplete)
cond = 1
q = 1
while (cond == 1 and q < fsmsNum):
testFullNameNotComplete = workingDir + "FSMs" + testType + testexp + "/" + FSMname + "_" + str(
(fsmNum + q) %
fsmsNum) + ".fsm" + ".test" + testType
cond = fsm.checkTransitionsCovering(
testFullNameNotComplete)
q += 1
print(str(q) + " case worked")
testFullName = testFullNameNotComplete
if (testType == 'H'):
# completecheck = 1
# while (completecheck == 1):
# print("trying again")
# logFile.write("trying again\n")
# completecheck = 0
# (fsm,testFullName) = makeAnotherTest(fsm.numberOfStates, fsm.numberOfInputs)
(inputs, outputs) = readTestFromFile(testFullName)
(states, outputs) = fsm.getStatesAndOutputsFromTest(inputs)
SC = fsm.getSCSet(inputs)
for i in SC:
