test: add property checks for runtime invariants#21

AdmilsonCossa merged 1 commit into

mainWorkRuntime/workit:mainfrom

hardening/property-testsWorkRuntime/workit:hardening/property-testsCopy head branch name to clipboard