-module(race_tests_SUITE).

-include_lib("test_server/include/test_server.hrl").

-export([all/0, groups/0, init_per_group/2, end_per_group/2,
         init_per_testcase/2, fin_per_testcase/2]).

-export([ets_insert_args1/1, ets_insert_args2/1, ets_insert_args3/1, 
         ets_insert_args4/1, ets_insert_args5/1, ets_insert_args6/1, 
         ets_insert_args7/1, ets_insert_args8/1, 
         ets_insert_control_flow1/1, ets_insert_control_flow2/1, 
         ets_insert_control_flow3/1, ets_insert_control_flow4/1, 
         ets_insert_control_flow5/1, ets_insert_diff_atoms_race1/1, 
         ets_insert_diff_atoms_race2/1, ets_insert_diff_atoms_race3/1, 
         ets_insert_diff_atoms_race4/1, ets_insert_diff_atoms_race5/1, 
         ets_insert_diff_atoms_race6/1, ets_insert_double1/1, 
         ets_insert_double2/1, ets_insert_funs1/1, ets_insert_funs2/1, 
         ets_insert_new/1, ets_insert_param/1, extract_translations/1, 
         mnesia_diff_atoms_race1/1, mnesia_diff_atoms_race2/1, 
         mnesia_dirty_read_one_write_two/1, 
         mnesia_dirty_read_two_write_one/1, 
         mnesia_dirty_read_write_double1/1, 
         mnesia_dirty_read_write_double2/1, 
         mnesia_dirty_read_write_double3/1, 
         mnesia_dirty_read_write_double4/1, mnesia_dirty_read_write_one/1, 
         mnesia_dirty_read_write_two/1, whereis_control_flow1/1, 
         whereis_control_flow2/1, whereis_control_flow3/1, 
         whereis_control_flow4/1, whereis_control_flow5/1, 
         whereis_control_flow6/1, whereis_diff_atoms_no_race/1, 
         whereis_diff_atoms_race/1, whereis_diff_functions1/1, 
         whereis_diff_functions1_nested/1, 
         whereis_diff_functions1_pathsens/1, 
         whereis_diff_functions1_twice/1, whereis_diff_functions2/1, 
         whereis_diff_functions2_nested/1, 
         whereis_diff_functions2_pathsens/1, 
         whereis_diff_functions2_twice/1, whereis_diff_functions3/1, 
         whereis_diff_functions3_nested/1, 
         whereis_diff_functions3_pathsens/1, whereis_diff_functions4/1, 
         whereis_diff_functions5/1, whereis_diff_functions6/1, 
         whereis_diff_modules1/1, whereis_diff_modules1_pathsens/1, 
         whereis_diff_modules1_rec/1, whereis_diff_modules2/1, 
         whereis_diff_modules2_pathsens/1, whereis_diff_modules2_rec/1, 
         whereis_diff_modules3/1, whereis_diff_modules_nested/1, 
         whereis_diff_modules_twice/1, whereis_diff_vars_no_race/1, 
         whereis_diff_vars_race/1, whereis_intra_inter_module1/1, 
         whereis_intra_inter_module2/1, whereis_intra_inter_module3/1, 
         whereis_intra_inter_module4/1, whereis_intra_inter_module5/1, 
         whereis_intra_inter_module6/1, whereis_intra_inter_module7/1, 
         whereis_intra_inter_module8/1, whereis_param/1, 
         whereis_param_inter_module/1, whereis_rec_function1/1, 
         whereis_rec_function2/1, whereis_rec_function3/1, 
         whereis_rec_function4/1, whereis_rec_function5/1, 
         whereis_rec_function6/1, whereis_rec_function7/1, 
         whereis_rec_function8/1, whereis_try_catch/1, whereis_vars1/1, 
         whereis_vars10/1, whereis_vars11/1, whereis_vars12/1, 
         whereis_vars13/1, whereis_vars14/1, whereis_vars15/1, 
         whereis_vars16/1, whereis_vars17/1, whereis_vars18/1, 
         whereis_vars19/1, whereis_vars2/1, whereis_vars20/1, 
         whereis_vars21/1, whereis_vars22/1, whereis_vars3/1, 
         whereis_vars4/1, whereis_vars5/1, whereis_vars6/1, 
         whereis_vars7/1, whereis_vars8/1, whereis_vars9/1]).

-define(default_timeout, ?t:minutes(1)).
-define(dialyzer_options, ?config(dialyzer_options, Config)).
-define(datadir, ?config(data_dir, Config)).
-define(privdir, ?config(priv_dir, Config)).

groups() -> [].

init_per_group(_GroupName, Config) -> Config.

end_per_group(_GroupName, Config) -> Config.

init_per_testcase(_Case, Config) ->
    ?line Dog = ?t:timetrap(?default_timeout),
    [{dialyzer_options, [{warnings,[race_conditions]}]}, {watchdog, Dog} | Config].

fin_per_testcase(_Case, _Config) ->
    Dog = ?config(watchdog, _Config),
    ?t:timetrap_cancel(Dog),
    ok.

all() ->
    [ets_insert_args1,ets_insert_args2,ets_insert_args3,ets_insert_args4,
     ets_insert_args5,ets_insert_args6,ets_insert_args7,ets_insert_args8,
     ets_insert_control_flow1,ets_insert_control_flow2,
     ets_insert_control_flow3,ets_insert_control_flow4,
     ets_insert_control_flow5,ets_insert_diff_atoms_race1,
     ets_insert_diff_atoms_race2,ets_insert_diff_atoms_race3,
     ets_insert_diff_atoms_race4,ets_insert_diff_atoms_race5,
     ets_insert_diff_atoms_race6,ets_insert_double1,ets_insert_double2,
     ets_insert_funs1,ets_insert_funs2,ets_insert_new,ets_insert_param,
     extract_translations,mnesia_diff_atoms_race1,mnesia_diff_atoms_race2,
     mnesia_dirty_read_one_write_two,mnesia_dirty_read_two_write_one,
     mnesia_dirty_read_write_double1,mnesia_dirty_read_write_double2,
     mnesia_dirty_read_write_double3,mnesia_dirty_read_write_double4,
     mnesia_dirty_read_write_one,mnesia_dirty_read_write_two,
     whereis_control_flow1,whereis_control_flow2,whereis_control_flow3,
     whereis_control_flow4,whereis_control_flow5,whereis_control_flow6,
     whereis_diff_atoms_no_race,whereis_diff_atoms_race,
     whereis_diff_functions1,whereis_diff_functions1_nested,
     whereis_diff_functions1_pathsens,whereis_diff_functions1_twice,
     whereis_diff_functions2,whereis_diff_functions2_nested,
     whereis_diff_functions2_pathsens,whereis_diff_functions2_twice,
     whereis_diff_functions3,whereis_diff_functions3_nested,
     whereis_diff_functions3_pathsens,whereis_diff_functions4,
     whereis_diff_functions5,whereis_diff_functions6,whereis_diff_modules1,
     whereis_diff_modules1_pathsens,whereis_diff_modules1_rec,
     whereis_diff_modules2,whereis_diff_modules2_pathsens,
     whereis_diff_modules2_rec,whereis_diff_modules3,
     whereis_diff_modules_nested,whereis_diff_modules_twice,
     whereis_diff_vars_no_race,whereis_diff_vars_race,
     whereis_intra_inter_module1,whereis_intra_inter_module2,
     whereis_intra_inter_module3,whereis_intra_inter_module4,
     whereis_intra_inter_module5,whereis_intra_inter_module6,
     whereis_intra_inter_module7,whereis_intra_inter_module8,whereis_param,
     whereis_param_inter_module,whereis_rec_function1,whereis_rec_function2,
     whereis_rec_function3,whereis_rec_function4,whereis_rec_function5,
     whereis_rec_function6,whereis_rec_function7,whereis_rec_function8,
     whereis_try_catch,whereis_vars1,whereis_vars10,whereis_vars11,
     whereis_vars12,whereis_vars13,whereis_vars14,whereis_vars15,
     whereis_vars16,whereis_vars17,whereis_vars18,whereis_vars19,
     whereis_vars2,whereis_vars20,whereis_vars21,whereis_vars22,whereis_vars3,
     whereis_vars4,whereis_vars5,whereis_vars6,whereis_vars7,whereis_vars8,
     whereis_vars9].

ets_insert_args1(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_args1, file}),
    ok.

ets_insert_args2(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_args2, file}),
    ok.

ets_insert_args3(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_args3, file}),
    ok.

ets_insert_args4(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_args4, file}),
    ok.

ets_insert_args5(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_args5, file}),
    ok.

ets_insert_args6(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_args6, file}),
    ok.

ets_insert_args7(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_args7, file}),
    ok.

ets_insert_args8(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_args8, file}),
    ok.

ets_insert_control_flow1(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_control_flow1, file}),
    ok.

ets_insert_control_flow2(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_control_flow2, file}),
    ok.

ets_insert_control_flow3(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_control_flow3, file}),
    ok.

ets_insert_control_flow4(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_control_flow4, file}),
    ok.

ets_insert_control_flow5(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_control_flow5, file}),
    ok.

ets_insert_diff_atoms_race1(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_diff_atoms_race1, file}),
    ok.

ets_insert_diff_atoms_race2(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_diff_atoms_race2, file}),
    ok.

ets_insert_diff_atoms_race3(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_diff_atoms_race3, file}),
    ok.

ets_insert_diff_atoms_race4(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_diff_atoms_race4, file}),
    ok.

ets_insert_diff_atoms_race5(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_diff_atoms_race5, file}),
    ok.

ets_insert_diff_atoms_race6(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_diff_atoms_race6, file}),
    ok.

ets_insert_double1(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_double1, file}),
    ok.

ets_insert_double2(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_double2, file}),
    ok.

ets_insert_funs1(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_funs1, file}),
    ok.

ets_insert_funs2(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_funs2, file}),
    ok.

ets_insert_new(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_new, file}),
    ok.

ets_insert_param(Config) when is_list(Config) ->
    ?line run(Config, {ets_insert_param, file}),
    ok.

extract_translations(Config) when is_list(Config) ->
    ?line run(Config, {extract_translations, file}),
    ok.

mnesia_diff_atoms_race1(Config) when is_list(Config) ->
    ?line run(Config, {mnesia_diff_atoms_race1, file}),
    ok.

mnesia_diff_atoms_race2(Config) when is_list(Config) ->
    ?line run(Config, {mnesia_diff_atoms_race2, file}),
    ok.

mnesia_dirty_read_one_write_two(Config) when is_list(Config) ->
    ?line run(Config, {mnesia_dirty_read_one_write_two, file}),
    ok.

mnesia_dirty_read_two_write_one(Config) when is_list(Config) ->
    ?line run(Config, {mnesia_dirty_read_two_write_one, file}),
    ok.

mnesia_dirty_read_write_double1(Config) when is_list(Config) ->
    ?line run(Config, {mnesia_dirty_read_write_double1, file}),
    ok.

mnesia_dirty_read_write_double2(Config) when is_list(Config) ->
    ?line run(Config, {mnesia_dirty_read_write_double2, file}),
    ok.

mnesia_dirty_read_write_double3(Config) when is_list(Config) ->
    ?line run(Config, {mnesia_dirty_read_write_double3, file}),
    ok.

mnesia_dirty_read_write_double4(Config) when is_list(Config) ->
    ?line run(Config, {mnesia_dirty_read_write_double4, file}),
    ok.

mnesia_dirty_read_write_one(Config) when is_list(Config) ->
    ?line run(Config, {mnesia_dirty_read_write_one, file}),
    ok.

mnesia_dirty_read_write_two(Config) when is_list(Config) ->
    ?line run(Config, {mnesia_dirty_read_write_two, file}),
    ok.

whereis_control_flow1(Config) when is_list(Config) ->
    ?line run(Config, {whereis_control_flow1, file}),
    ok.

whereis_control_flow2(Config) when is_list(Config) ->
    ?line run(Config, {whereis_control_flow2, file}),
    ok.

whereis_control_flow3(Config) when is_list(Config) ->
    ?line run(Config, {whereis_control_flow3, file}),
    ok.

whereis_control_flow4(Config) when is_list(Config) ->
    ?line run(Config, {whereis_control_flow4, file}),
    ok.

whereis_control_flow5(Config) when is_list(Config) ->
    ?line run(Config, {whereis_control_flow5, file}),
    ok.

whereis_control_flow6(Config) when is_list(Config) ->
    ?line run(Config, {whereis_control_flow6, file}),
    ok.

whereis_diff_atoms_no_race(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_atoms_no_race, file}),
    ok.

whereis_diff_atoms_race(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_atoms_race, file}),
    ok.

whereis_diff_functions1(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions1, file}),
    ok.

whereis_diff_functions1_nested(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions1_nested, file}),
    ok.

whereis_diff_functions1_pathsens(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions1_pathsens, file}),
    ok.

whereis_diff_functions1_twice(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions1_twice, file}),
    ok.

whereis_diff_functions2(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions2, file}),
    ok.

whereis_diff_functions2_nested(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions2_nested, file}),
    ok.

whereis_diff_functions2_pathsens(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions2_pathsens, file}),
    ok.

whereis_diff_functions2_twice(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions2_twice, file}),
    ok.

whereis_diff_functions3(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions3, file}),
    ok.

whereis_diff_functions3_nested(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions3_nested, file}),
    ok.

whereis_diff_functions3_pathsens(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions3_pathsens, file}),
    ok.

whereis_diff_functions4(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions4, file}),
    ok.

whereis_diff_functions5(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions5, file}),
    ok.

whereis_diff_functions6(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_functions6, file}),
    ok.

whereis_diff_modules1(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_modules1, dir}),
    ok.

whereis_diff_modules1_pathsens(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_modules1_pathsens, dir}),
    ok.

whereis_diff_modules1_rec(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_modules1_rec, dir}),
    ok.

whereis_diff_modules2(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_modules2, dir}),
    ok.

whereis_diff_modules2_pathsens(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_modules2_pathsens, dir}),
    ok.

whereis_diff_modules2_rec(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_modules2_rec, dir}),
    ok.

whereis_diff_modules3(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_modules3, dir}),
    ok.

whereis_diff_modules_nested(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_modules_nested, dir}),
    ok.

whereis_diff_modules_twice(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_modules_twice, dir}),
    ok.

whereis_diff_vars_no_race(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_vars_no_race, file}),
    ok.

whereis_diff_vars_race(Config) when is_list(Config) ->
    ?line run(Config, {whereis_diff_vars_race, file}),
    ok.

whereis_intra_inter_module1(Config) when is_list(Config) ->
    ?line run(Config, {whereis_intra_inter_module1, dir}),
    ok.

whereis_intra_inter_module2(Config) when is_list(Config) ->
    ?line run(Config, {whereis_intra_inter_module2, dir}),
    ok.

whereis_intra_inter_module3(Config) when is_list(Config) ->
    ?line run(Config, {whereis_intra_inter_module3, dir}),
    ok.

whereis_intra_inter_module4(Config) when is_list(Config) ->
    ?line run(Config, {whereis_intra_inter_module4, dir}),
    ok.

whereis_intra_inter_module5(Config) when is_list(Config) ->
    ?line run(Config, {whereis_intra_inter_module5, dir}),
    ok.

whereis_intra_inter_module6(Config) when is_list(Config) ->
    ?line run(Config, {whereis_intra_inter_module6, dir}),
    ok.

whereis_intra_inter_module7(Config) when is_list(Config) ->
    ?line run(Config, {whereis_intra_inter_module7, dir}),
    ok.

whereis_intra_inter_module8(Config) when is_list(Config) ->
    ?line run(Config, {whereis_intra_inter_module8, dir}),
    ok.

whereis_param(Config) when is_list(Config) ->
    ?line run(Config, {whereis_param, file}),
    ok.

whereis_param_inter_module(Config) when is_list(Config) ->
    ?line run(Config, {whereis_param_inter_module, dir}),
    ok.

whereis_rec_function1(Config) when is_list(Config) ->
    ?line run(Config, {whereis_rec_function1, file}),
    ok.

whereis_rec_function2(Config) when is_list(Config) ->
    ?line run(Config, {whereis_rec_function2, file}),
    ok.

whereis_rec_function3(Config) when is_list(Config) ->
    ?line run(Config, {whereis_rec_function3, file}),
    ok.

whereis_rec_function4(Config) when is_list(Config) ->
    ?line run(Config, {whereis_rec_function4, file}),
    ok.

whereis_rec_function5(Config) when is_list(Config) ->
    ?line run(Config, {whereis_rec_function5, file}),
    ok.

whereis_rec_function6(Config) when is_list(Config) ->
    ?line run(Config, {whereis_rec_function6, file}),
    ok.

whereis_rec_function7(Config) when is_list(Config) ->
    ?line run(Config, {whereis_rec_function7, file}),
    ok.

whereis_rec_function8(Config) when is_list(Config) ->
    ?line run(Config, {whereis_rec_function8, file}),
    ok.

whereis_try_catch(Config) when is_list(Config) ->
    ?line run(Config, {whereis_try_catch, file}),
    ok.

whereis_vars1(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars1, file}),
    ok.

whereis_vars10(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars10, file}),
    ok.

whereis_vars11(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars11, file}),
    ok.

whereis_vars12(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars12, file}),
    ok.

whereis_vars13(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars13, file}),
    ok.

whereis_vars14(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars14, file}),
    ok.

whereis_vars15(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars15, file}),
    ok.

whereis_vars16(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars16, file}),
    ok.

whereis_vars17(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars17, file}),
    ok.

whereis_vars18(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars18, file}),
    ok.

whereis_vars19(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars19, file}),
    ok.

whereis_vars2(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars2, file}),
    ok.

whereis_vars20(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars20, file}),
    ok.

whereis_vars21(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars21, file}),
    ok.

whereis_vars22(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars22, file}),
    ok.

whereis_vars3(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars3, file}),
    ok.

whereis_vars4(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars4, file}),
    ok.

whereis_vars5(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars5, file}),
    ok.

whereis_vars6(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars6, file}),
    ok.

whereis_vars7(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars7, file}),
    ok.

whereis_vars8(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars8, file}),
    ok.

whereis_vars9(Config) when is_list(Config) ->
    ?line run(Config, {whereis_vars9, file}),
    ok.

run(Config, TestCase) ->
    case run_test(Config, TestCase) of
        ok -> ok;
        {fail, Reason} ->
            ?t:format("~s",[Reason]),
            fail()
    end.

run_test(Config, {TestCase, Kind}) ->
    Dog = ?config(watchdog, Config),
    Options = ?dialyzer_options,
    Dir = ?datadir,
    OutDir = ?privdir,
    case dialyzer_test:dialyzer_test(Options, TestCase, Kind,
                                     Dir, OutDir, Dog) of
        same -> ok;
        {differ, DiffList} ->
            {fail,
               io_lib:format("\nTest ~p failed:\n~p\n",
                            [TestCase, DiffList])}
    end.

fail() ->
    io:format("failed\n"),
    ?t:fail().