ProgramFacts.Metamorphic (program_facts v0.2.1)

Copy Markdown View Source

Helpers for checking transform invariants.

Summary

Functions

assert_preserved!(before, after_)

Raises if a transform changed a fact it claimed to preserve.

compare(before, after_)

Compares facts that a transform claimed to preserve.

Functions

assert_preserved!(before, after_)

Raises if a transform changed a fact it claimed to preserve.

compare(before, after_)

Compares facts that a transform claimed to preserve.