Makefile target to check failing tests and move to passing if successful#31

dkcumming wants to merge 1 commit intomasterruntimeverification/stable-mir-json:masterfrom

dc/failing-test-checkruntimeverification/stable-mir-json:dc/failing-test-checkCopy head branch name to clipboard