def test_badCFIsS3Sat(s3BadCF):
foundry = Foundry(Optimize())
foundry.applySpec(s3BadCF)
assert foundry.check() == sat
def foundry():
return Foundry(Optimize())
def test_repairS2WorksFromGoodCF(foundry, goodCF, s2GoodCF, s2MaxCounts, highSpeciesGamut):
badSpecs = getAllBadSpecs(s2GoodCF, s2MaxCounts)
for badSpec in badSpecs:
foundry = Foundry(Optimize()).applySpec(badSpec)
s2GoodCF = foundry.extractPitches(badSpec.line)
assert checkS2(goodCF, repairS2(goodCF, s2GoodCF, highSpeciesGamut)).isValid() == True
def workingCF(cantus):
f = Foundry(Optimize())
f.applySpec(cantus)
return f.extractPitches(cantus.line)
def test_goodCFIsS2Sat(s2GoodCF):
foundry = Foundry(Optimize())
foundry.applySpec(s2GoodCF)
assert foundry.check() == sat
def test_repairS1WorksFromBadCF(foundry, badCF, s1BadCF, maxCount, highSpeciesGamut):
badSpecs = getAllBadSpecs(s1BadCF, maxCount)
for badSpec in badSpecs:
foundry = Foundry(Optimize()).applySpec(badSpec)
s1BadCF = foundry.extractPitches(badSpec.line)
assert checkS1(badCF, repairS1(badCF, s1BadCF, highSpeciesGamut)).isValid() == True
def test_repairCFWorksOnBrokenCF(foundry, cantus, maxCount, cantusGamut):
badSpecs = getAllBadSpecs(cantus, maxCount)
for badSpec in badSpecs:
foundry = Foundry(Optimize()).applySpec(badSpec)
cantus = foundry.extractPitches(badSpec.line)
assert checkCF(repairCF(cantus, cantusGamut)).isValid()