test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5) - #472

test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5)#472

AminChirazi wants to merge 1 commit into

feat/465a-4-side-effect-assertionautomators-com/flowproof:feat/465a-4-side-effect-assertionfrom

feat/465a-5-falsifiabilityautomators-com/flowproof:feat/465a-5-falsifiabilityCopy head branch name to clipboard