Ets ops badarg race status

[aronisstav]

Running concuerror -f tricky.erl:

-module(tricky).

-export([test/0]).

test() ->
  test(3).

test(N) ->
  table = ets:new(table, [public, named_table]),
  C = chain(N, self()),
  true = [{key, N}] =/= ets:lookup(table, key).

chain(0, Pid) ->
  Pid;
chain(N, Pid) ->
  Fun = fun() -> ets:insert(table, {key, N}) end,
  Q = spawn(Fun),
  chain(N - 1, Q).

Returns (among other stuff):

Warning: The following pair of instructions is not explicitly marked as non-racing in Concuerror's internals:
  1) Exception badarg raised by: ets:insert(table, {key,3})
  2) Exception badarg raised by: ets:insert(table, {key,2})
 Please notify the developers to add info about this pair.
 Concuerror treats such pairs as racing (--assume_racing). (No other such warnings will appear)