diff options
Diffstat (limited to 'lib/dialyzer/test/race_SUITE_data/src/ets_insert_args7.erl')
| -rw-r--r-- | lib/dialyzer/test/race_SUITE_data/src/ets_insert_args7.erl | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/lib/dialyzer/test/race_SUITE_data/src/ets_insert_args7.erl b/lib/dialyzer/test/race_SUITE_data/src/ets_insert_args7.erl deleted file mode 100644 index 912bbf7073..0000000000 --- a/lib/dialyzer/test/race_SUITE_data/src/ets_insert_args7.erl +++ /dev/null @@ -1,17 +0,0 @@ -%% This tests the presence of possible races due to an ets:lookup/ets:insert -%% combination. It takes into account the argument types of the calls. - --module(ets_insert_args7). --export([test/0]). - -test() -> - Foo = foo, - ets:new(Foo, [named_table, public]), - race(Foo). - -race(Tab) -> - [{_, N}] = ets:lookup(Tab, counter), - aux(Tab, N). - -aux(Table, N) -> - ets:insert(Table, [{counter, N+1}]). |