def test_bytes(tplaced, tplaced_tracked, all_tilings):
assert len(tplaced.assumptions) == 0
remade = Tiling.from_bytes(tplaced.to_bytes())
assert tplaced != tplaced_tracked
assert len(tplaced_tracked.assumptions) == 2
for tiling in all_tilings:
remade = Tiling.from_bytes(tiling.to_bytes())
assert remade == tiling
def assert_tiling(
data,
expected,
requirements=[],
assumptions=[],
crossing=[],
label_map={},
matrix=[],
verified=None,
):
assert Tiling.from_bytes(b64decode(data["key"])) == expected
if verified is None:
assert data["verified"] is None
else:
verification_rule = data["verified"]
assert verification_rule[
"class_module"] == "comb_spec_searcher.strategies.rule"
assert verification_rule["rule_class"] == "VerificationRule"
assert verification_rule["formal_step"] == verified
plot = data["plot"]
assert plot["assumptions"] == assumptions
assert plot["crossing"] == crossing
assert plot["requirements"] == requirements
assert plot["label_map"] == label_map
assert plot["matrix"] == matrix
def test_load_verified_tilings(self):
DatabaseEnumeration.load_verified_tiling()
assert DatabaseEnumeration.all_verified_tilings
sample = next(iter(DatabaseEnumeration.all_verified_tilings))
Tiling.from_bytes(sample)
