Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-11-06 | Update dialyzer test with maps in supervisor properties | Siri Hansen | |
After introducing maps for supervisor flags and child specs two tests in behaviour_SUITE started failing: behaviour_SUITE:custom_sup - failed because the type of the Period (MaxT) property had been changed (corrected) from non_neg_integer() to pos_integer() in the specification of the init callback in supervisor.erl behaviour_SUITE:supervisor_incorrect_return - same as above, plus the introduction of #{} as possible value for the supervisor flags and child_specs. | |||
2011-11-18 | Wrap up behaviours patch for Dialyzer | Stavros Aronis | |
Enable warnings by default, add two options for suppressing them, fix warning formatting and update testsuites. | |||
2011-11-18 | Behaviour callback discrepancy detection for Dialyzer | Stavros Aronis | |