def test_spec_setting_adds_spares():
r = raw.copy()
r["numberToName"] = -1
r["numberToProduce"] = -1
s = SpecVerifier(r)
s.set_number_papers_to_name(16)
s.set_number_papers_add_spares(16)
assert s.numberToName == 16
# creates some spares
assert s.numberToProduce > 16
s.verifySpec(verbose=False)
def test_spec_too_many_named():
r = raw.copy()
r["numberToProduce"] = 50
r["numberToName"] = 60
s = SpecVerifier(r)
raises(ValueError, lambda: s.verifySpec(verbose=False))