def manInTheMiddle3D4L(protName, version, D1, D2, D3, L1, L2, L3, L4, maxK):
if version == 1:
name = PROT + "/" + protName + "/Man1/" + protName + "_Man1"
directory = PROT + "/" + protName + "/Man1/"
efo = directory + protName + "_Man1"
if version == 2:
name = PROT + "/" + protName + "/Man2/" + protName + "_Man2"
directory = PROT + "/" + protName + "/Man2/"
efo = directory + protName + "_Man2"
if version == 3:
name = PROT + "/" + protName + "/Man3/" + protName + "_Man3"
directory = PROT + "/" + protName + "/Man3/"
efo = directory + protName + "_Man3"
if version == 4:
name = PROT + "/" + protName + "/Man4/" + protName + "_Man4"
directory = PROT + "/" + protName + "/Man4/"
efo = directory + protName + "_Man4"
cmd = generateNet3D4Lcommand(name, D1, D2, D3, L1, L2, L3, L4)
print(cmd)
executeCommandGenerateNtaFile(cmd, directory)
nameWithoutNta = generateNameWithoutNta3D4L(name, D1, D2, D3, L1, L2, L3,
L4)
k = bmcAlg(nameWithoutNta, BIN, efo, maxK)
afterVerification(nameWithoutNta, k)
def manInTheMiddle2D2L(protName, version, D1, D2, L1, L2, maxK):
if version == 1:
name = PROT + "/" + protName + "/Man1/" + protName + "_Man1"
directory = PROT + "/" + protName + "/Man1/"
efo = directory + protName + "_Man1"
if version == 2:
name = PROT + "/" + protName + "/Man2/" + protName + "_Man2"
directory = PROT + "/" + protName + "/Man2/"
efo = directory + protName + "_Man2"
cmd = generateNet2D2Lcommand(name, D1, D2, L1, L2)
executeCommandGenerateNtaFile(cmd, directory)
nameWithoutNta = generateNameWithoutNta2D2L(name, D1, D2, L1, L2)
k = bmcAlg(nameWithoutNta, BIN, efo, maxK)
afterVerification(nameWithoutNta, k)
def lowe3D2L(protName, version, D1, D2, D3, L1, L2, maxK):
if version == 3:
name = PROT + "/" + protName + "/Lowe1/" + protName + "_Lowe1"
directory = PROT + "/" + protName + "/Lowe1/"
efo = directory + protName + "_Lowe1"
if version == 4:
name = PROT + "/" + protName + "/Lowe2/" + protName + "_Lowe2"
directory = PROT + "/" + protName + "/Lowe2/"
efo = directory + protName + "_Lowe2"
cmd = generateNet3D2Lcommand(name, D1, D2, D3, L1, L2)
print(cmd)
executeCommandGenerateNtaFile(cmd, directory)
nameWithoutNta = generateNameWithoutNta3D2L(name, D1, D2, D3, L1, L2)
k = bmcAlg(nameWithoutNta, BIN, efo, maxK)
afterVerification(nameWithoutNta, k)