I'm not aware of such attempt. However, I was thinking strictly about tests that do not require type checker like the one presented here. I'm not sure what's the portion of tests that fall into the category of easily unit testable.