.. properties of code/systems/libraries/functions/..
¤%%link;;{½3;you don't need to think about the edgecases yourself
¤%%link;;{½3;.. here you even get corrections for _both_ implementations
¤%%link;;{½3;.. where you compare the implementations data on each operation
¤%%link;;{½3;but not just sequentially - also on earlier versions of data
¤%%link;;{½3;.. and define random data that specifies an order of operations
¤%%link;;{½3;..you can test for immutability via this method too
¤%%link;;{½3;where you check that two implementations are equivalent
¤%%link;;{½3;you can do 'model based testing' within this framework too
¤%%link;;{½3;