diff options
Diffstat (limited to 'lib/dialyzer/test/default_ignore_overlapping_contract_SUITE_data/src/default_ignore_overlapping_contract.erl')
| -rw-r--r-- | lib/dialyzer/test/default_ignore_overlapping_contract_SUITE_data/src/default_ignore_overlapping_contract.erl | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lib/dialyzer/test/default_ignore_overlapping_contract_SUITE_data/src/default_ignore_overlapping_contract.erl b/lib/dialyzer/test/default_ignore_overlapping_contract_SUITE_data/src/default_ignore_overlapping_contract.erl new file mode 100644 index 0000000000..8303cf8ca6 --- /dev/null +++ b/lib/dialyzer/test/default_ignore_overlapping_contract_SUITE_data/src/default_ignore_overlapping_contract.erl @@ -0,0 +1,13 @@ +-module(default_ignore_overlapping_contract). + +-export([t1/0]). + +%% Should not result in a overlapping_contract warning, +%% as dialyzer_options does not set it to active +-spec t1() -> list(); + () -> [atom]. +t1() -> + case rand:uniform(2) of + 1 -> [test]; + 2 -> [2] + end. |