-
Notifications
You must be signed in to change notification settings - Fork 35
Known problems
Viktor Söderqvist edited this page Oct 22, 2019
·
3 revisions
Under test/known_problems/should_pass/, there are Erlang modules which should pass without type errors, but currently fail, either because the Gradualizer wrongly reports a type error or because the Gradualizer crashes.
Under test/known_problems/should_fail/, there are Erlang modules for which there should be type errors reported, but currently pass without an error being reported.