You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.