test: Make property tests enforce witnessed outcomes - #587

test: Make property tests enforce witnessed outcomes#587

zharinov merged 1 commit into

masterplotnik-lang/plotnik:masterfrom

agent/witness-property-testsplotnik-lang/plotnik:agent/witness-property-testsCopy head branch name to clipboard