> Should this be something that rebar3 does automatically when it runs or > detects PropEr tests? Better to have it as a test or plugin dependency. Not much is gained by having it installed globally (technically you only compile it once for all projects but I wouldn't expect that to really matter). Tristan