← Back to branch summary

~clint-fewbar/ubuntu/precise/erlang/merge-15b

« back to all changes in this revision

Viewing changes to lib/dialyzer/test/race_tests_SUITE.erl

  • Committer: Bazaar Package Importer
  • Author(s): Clint Byrum
  • Date: 2011-05-05 15:48:43 UTC
  • mfrom: (3.5.13 sid)
  • Revision ID: james.westby@ubuntu.com-20110505154843-0om6ekzg6m7ugj27
Tags: 1:14.b.2-dfsg-3ubuntu1
* Merge from debian unstable.  Remaining changes:
  - Drop libwxgtk2.8-dev build dependency. Wx isn't in main, and not
    supposed to.
  - Drop erlang-wx binary.
  - Drop erlang-wx dependency from -megaco, -common-test, and -reltool, they
    do not really need wx. Also drop it from -debugger; the GUI needs wx,
    but it apparently has CLI bits as well, and is also needed by -megaco,
    so let's keep the package for now.
  - debian/patches/series: Do what I meant, and enable build-options.patch
    instead.
* Additional changes:
  - Drop erlang-wx from -et
* Dropped Changes:
  - patches/pcre-crash.patch: CVE-2008-2371: outer level option with
    alternatives caused crash. (Applied Upstream)
  - fix for ssl certificate verification in newSSL: 
    ssl_cacertfile_fix.patch (Applied Upstream)
  - debian/patches/series: Enable native.patch again, to get stripped beam
    files and reduce the package size again. (build-options is what
    actually accomplished this)
  - Remove build-options.patch on advice from upstream and because it caused
    odd build failures.

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/dialyzer/test/race_tests_SUITE.erl
 
1
%% ATTENTION!
 
2
%% This is an automatically generated file. Do not edit.
 
3
%% Use './remake' script to refresh it if needed.
 
4
%% All Dialyzer options should be defined in dialyzer_options
 
5
%% file.
 
6
 
 
7
-module(race_tests_SUITE).
 
8
 
 
9
-include("ct.hrl").
 
10
-include("dialyzer_test_constants.hrl").
 
11
 
 
12
-export([suite/0, init_per_suite/0, init_per_suite/1,
 
13
         end_per_suite/1, all/0]).
 
14
-export([race_tests_SUITE_consistency/1, ets_insert_args1/1, 
 
15
         ets_insert_args2/1, ets_insert_args3/1, ets_insert_args4/1, 
 
16
         ets_insert_args5/1, ets_insert_args6/1, ets_insert_args7/1, 
 
17
         ets_insert_args8/1, ets_insert_control_flow1/1, 
 
18
         ets_insert_control_flow2/1, ets_insert_control_flow3/1, 
 
19
         ets_insert_control_flow4/1, ets_insert_control_flow5/1, 
 
20
         ets_insert_diff_atoms_race1/1, ets_insert_diff_atoms_race2/1, 
 
21
         ets_insert_diff_atoms_race3/1, ets_insert_diff_atoms_race4/1, 
 
22
         ets_insert_diff_atoms_race5/1, ets_insert_diff_atoms_race6/1, 
 
23
         ets_insert_double1/1, ets_insert_double2/1, ets_insert_funs1/1, 
 
24
         ets_insert_funs2/1, ets_insert_new/1, ets_insert_param/1, 
 
25
         extract_translations/1, mnesia_diff_atoms_race1/1, 
 
26
         mnesia_diff_atoms_race2/1, mnesia_dirty_read_one_write_two/1, 
 
27
         mnesia_dirty_read_two_write_one/1, 
 
28
         mnesia_dirty_read_write_double1/1, 
 
29
         mnesia_dirty_read_write_double2/1, 
 
30
         mnesia_dirty_read_write_double3/1, 
 
31
         mnesia_dirty_read_write_double4/1, mnesia_dirty_read_write_one/1, 
 
32
         mnesia_dirty_read_write_two/1, whereis_control_flow1/1, 
 
33
         whereis_control_flow2/1, whereis_control_flow3/1, 
 
34
         whereis_control_flow4/1, whereis_control_flow5/1, 
 
35
         whereis_control_flow6/1, whereis_diff_atoms_no_race/1, 
 
36
         whereis_diff_atoms_race/1, whereis_diff_functions1/1, 
 
37
         whereis_diff_functions1_nested/1, 
 
38
         whereis_diff_functions1_pathsens/1, 
 
39
         whereis_diff_functions1_twice/1, whereis_diff_functions2/1, 
 
40
         whereis_diff_functions2_nested/1, 
 
41
         whereis_diff_functions2_pathsens/1, 
 
42
         whereis_diff_functions2_twice/1, whereis_diff_functions3/1, 
 
43
         whereis_diff_functions3_nested/1, 
 
44
         whereis_diff_functions3_pathsens/1, whereis_diff_functions4/1, 
 
45
         whereis_diff_functions5/1, whereis_diff_functions6/1, 
 
46
         whereis_diff_modules1/1, whereis_diff_modules1_pathsens/1, 
 
47
         whereis_diff_modules1_rec/1, whereis_diff_modules2/1, 
 
48
         whereis_diff_modules2_pathsens/1, whereis_diff_modules2_rec/1, 
 
49
         whereis_diff_modules3/1, whereis_diff_modules_nested/1, 
 
50
         whereis_diff_modules_twice/1, whereis_diff_vars_no_race/1, 
 
51
         whereis_diff_vars_race/1, whereis_intra_inter_module1/1, 
 
52
         whereis_intra_inter_module2/1, whereis_intra_inter_module3/1, 
 
53
         whereis_intra_inter_module4/1, whereis_intra_inter_module5/1, 
 
54
         whereis_intra_inter_module6/1, whereis_intra_inter_module7/1, 
 
55
         whereis_intra_inter_module8/1, whereis_param/1, 
 
56
         whereis_param_inter_module/1, whereis_rec_function1/1, 
 
57
         whereis_rec_function2/1, whereis_rec_function3/1, 
 
58
         whereis_rec_function4/1, whereis_rec_function5/1, 
 
59
         whereis_rec_function6/1, whereis_rec_function7/1, 
 
60
         whereis_rec_function8/1, whereis_try_catch/1, whereis_vars1/1, 
 
61
         whereis_vars10/1, whereis_vars11/1, whereis_vars12/1, 
 
62
         whereis_vars13/1, whereis_vars14/1, whereis_vars15/1, 
 
63
         whereis_vars16/1, whereis_vars17/1, whereis_vars18/1, 
 
64
         whereis_vars19/1, whereis_vars2/1, whereis_vars20/1, 
 
65
         whereis_vars21/1, whereis_vars22/1, whereis_vars3/1, 
 
66
         whereis_vars4/1, whereis_vars5/1, whereis_vars6/1, 
 
67
         whereis_vars7/1, whereis_vars8/1, whereis_vars9/1]).
 
68
 
 
69
suite() ->
 
70
  [{timetrap, {minutes, 1}}].
 
71
 
 
72
init_per_suite() ->
 
73
  [{timetrap, ?plt_timeout}].
 
74
init_per_suite(Config) ->
 
75
  OutDir = ?config(priv_dir, Config),
 
76
  case dialyzer_common:check_plt(OutDir) of
 
77
    fail -> {skip, "Plt creation/check failed."};
 
78
    ok -> [{dialyzer_options, [{warnings,[race_conditions]}]}|Config]
 
79
  end.
 
80
 
 
81
end_per_suite(_Config) ->
 
82
  ok.
 
83
 
 
84
all() ->
 
85
  [race_tests_SUITE_consistency,ets_insert_args1,ets_insert_args2,
 
86
   ets_insert_args3,ets_insert_args4,ets_insert_args5,ets_insert_args6,
 
87
   ets_insert_args7,ets_insert_args8,ets_insert_control_flow1,
 
88
   ets_insert_control_flow2,ets_insert_control_flow3,ets_insert_control_flow4,
 
89
   ets_insert_control_flow5,ets_insert_diff_atoms_race1,
 
90
   ets_insert_diff_atoms_race2,ets_insert_diff_atoms_race3,
 
91
   ets_insert_diff_atoms_race4,ets_insert_diff_atoms_race5,
 
92
   ets_insert_diff_atoms_race6,ets_insert_double1,ets_insert_double2,
 
93
   ets_insert_funs1,ets_insert_funs2,ets_insert_new,ets_insert_param,
 
94
   extract_translations,mnesia_diff_atoms_race1,mnesia_diff_atoms_race2,
 
95
   mnesia_dirty_read_one_write_two,mnesia_dirty_read_two_write_one,
 
96
   mnesia_dirty_read_write_double1,mnesia_dirty_read_write_double2,
 
97
   mnesia_dirty_read_write_double3,mnesia_dirty_read_write_double4,
 
98
   mnesia_dirty_read_write_one,mnesia_dirty_read_write_two,
 
99
   whereis_control_flow1,whereis_control_flow2,whereis_control_flow3,
 
100
   whereis_control_flow4,whereis_control_flow5,whereis_control_flow6,
 
101
   whereis_diff_atoms_no_race,whereis_diff_atoms_race,whereis_diff_functions1,
 
102
   whereis_diff_functions1_nested,whereis_diff_functions1_pathsens,
 
103
   whereis_diff_functions1_twice,whereis_diff_functions2,
 
104
   whereis_diff_functions2_nested,whereis_diff_functions2_pathsens,
 
105
   whereis_diff_functions2_twice,whereis_diff_functions3,
 
106
   whereis_diff_functions3_nested,whereis_diff_functions3_pathsens,
 
107
   whereis_diff_functions4,whereis_diff_functions5,whereis_diff_functions6,
 
108
   whereis_diff_modules1,whereis_diff_modules1_pathsens,
 
109
   whereis_diff_modules1_rec,whereis_diff_modules2,
 
110
   whereis_diff_modules2_pathsens,whereis_diff_modules2_rec,
 
111
   whereis_diff_modules3,whereis_diff_modules_nested,
 
112
   whereis_diff_modules_twice,whereis_diff_vars_no_race,
 
113
   whereis_diff_vars_race,whereis_intra_inter_module1,
 
114
   whereis_intra_inter_module2,whereis_intra_inter_module3,
 
115
   whereis_intra_inter_module4,whereis_intra_inter_module5,
 
116
   whereis_intra_inter_module6,whereis_intra_inter_module7,
 
117
   whereis_intra_inter_module8,whereis_param,whereis_param_inter_module,
 
118
   whereis_rec_function1,whereis_rec_function2,whereis_rec_function3,
 
119
   whereis_rec_function4,whereis_rec_function5,whereis_rec_function6,
 
120
   whereis_rec_function7,whereis_rec_function8,whereis_try_catch,
 
121
   whereis_vars1,whereis_vars10,whereis_vars11,whereis_vars12,whereis_vars13,
 
122
   whereis_vars14,whereis_vars15,whereis_vars16,whereis_vars17,whereis_vars18,
 
123
   whereis_vars19,whereis_vars2,whereis_vars20,whereis_vars21,whereis_vars22,
 
124
   whereis_vars3,whereis_vars4,whereis_vars5,whereis_vars6,whereis_vars7,
 
125
   whereis_vars8,whereis_vars9].
 
126
 
 
127
dialyze(Config, TestCase) ->
 
128
  Opts = ?config(dialyzer_options, Config),
 
129
  Dir = ?config(data_dir, Config),
 
130
  OutDir = ?config(priv_dir, Config),
 
131
  dialyzer_common:check(TestCase, Opts, Dir, OutDir).
 
132
 
 
133
race_tests_SUITE_consistency(Config) ->
 
134
  Dir = ?config(data_dir, Config),
 
135
  case dialyzer_common:new_tests(Dir, all()) of
 
136
    []  -> ok;
 
137
    New -> ct:fail({missing_tests,New})
 
138
  end.
 
139
 
 
140
ets_insert_args1(Config) ->
 
141
  case dialyze(Config, ets_insert_args1) of
 
142
    'same' -> 'same';
 
143
    Error  -> ct:fail(Error)
 
144
  end.
 
145
 
 
146
ets_insert_args2(Config) ->
 
147
  case dialyze(Config, ets_insert_args2) of
 
148
    'same' -> 'same';
 
149
    Error  -> ct:fail(Error)
 
150
  end.
 
151
 
 
152
ets_insert_args3(Config) ->
 
153
  case dialyze(Config, ets_insert_args3) of
 
154
    'same' -> 'same';
 
155
    Error  -> ct:fail(Error)
 
156
  end.
 
157
 
 
158
ets_insert_args4(Config) ->
 
159
  case dialyze(Config, ets_insert_args4) of
 
160
    'same' -> 'same';
 
161
    Error  -> ct:fail(Error)
 
162
  end.
 
163
 
 
164
ets_insert_args5(Config) ->
 
165
  case dialyze(Config, ets_insert_args5) of
 
166
    'same' -> 'same';
 
167
    Error  -> ct:fail(Error)
 
168
  end.
 
169
 
 
170
ets_insert_args6(Config) ->
 
171
  case dialyze(Config, ets_insert_args6) of
 
172
    'same' -> 'same';
 
173
    Error  -> ct:fail(Error)
 
174
  end.
 
175
 
 
176
ets_insert_args7(Config) ->
 
177
  case dialyze(Config, ets_insert_args7) of
 
178
    'same' -> 'same';
 
179
    Error  -> ct:fail(Error)
 
180
  end.
 
181
 
 
182
ets_insert_args8(Config) ->
 
183
  case dialyze(Config, ets_insert_args8) of
 
184
    'same' -> 'same';
 
185
    Error  -> ct:fail(Error)
 
186
  end.
 
187
 
 
188
ets_insert_control_flow1(Config) ->
 
189
  case dialyze(Config, ets_insert_control_flow1) of
 
190
    'same' -> 'same';
 
191
    Error  -> ct:fail(Error)
 
192
  end.
 
193
 
 
194
ets_insert_control_flow2(Config) ->
 
195
  case dialyze(Config, ets_insert_control_flow2) of
 
196
    'same' -> 'same';
 
197
    Error  -> ct:fail(Error)
 
198
  end.
 
199
 
 
200
ets_insert_control_flow3(Config) ->
 
201
  case dialyze(Config, ets_insert_control_flow3) of
 
202
    'same' -> 'same';
 
203
    Error  -> ct:fail(Error)
 
204
  end.
 
205
 
 
206
ets_insert_control_flow4(Config) ->
 
207
  case dialyze(Config, ets_insert_control_flow4) of
 
208
    'same' -> 'same';
 
209
    Error  -> ct:fail(Error)
 
210
  end.
 
211
 
 
212
ets_insert_control_flow5(Config) ->
 
213
  case dialyze(Config, ets_insert_control_flow5) of
 
214
    'same' -> 'same';
 
215
    Error  -> ct:fail(Error)
 
216
  end.
 
217
 
 
218
ets_insert_diff_atoms_race1(Config) ->
 
219
  case dialyze(Config, ets_insert_diff_atoms_race1) of
 
220
    'same' -> 'same';
 
221
    Error  -> ct:fail(Error)
 
222
  end.
 
223
 
 
224
ets_insert_diff_atoms_race2(Config) ->
 
225
  case dialyze(Config, ets_insert_diff_atoms_race2) of
 
226
    'same' -> 'same';
 
227
    Error  -> ct:fail(Error)
 
228
  end.
 
229
 
 
230
ets_insert_diff_atoms_race3(Config) ->
 
231
  case dialyze(Config, ets_insert_diff_atoms_race3) of
 
232
    'same' -> 'same';
 
233
    Error  -> ct:fail(Error)
 
234
  end.
 
235
 
 
236
ets_insert_diff_atoms_race4(Config) ->
 
237
  case dialyze(Config, ets_insert_diff_atoms_race4) of
 
238
    'same' -> 'same';
 
239
    Error  -> ct:fail(Error)
 
240
  end.
 
241
 
 
242
ets_insert_diff_atoms_race5(Config) ->
 
243
  case dialyze(Config, ets_insert_diff_atoms_race5) of
 
244
    'same' -> 'same';
 
245
    Error  -> ct:fail(Error)
 
246
  end.
 
247
 
 
248
ets_insert_diff_atoms_race6(Config) ->
 
249
  case dialyze(Config, ets_insert_diff_atoms_race6) of
 
250
    'same' -> 'same';
 
251
    Error  -> ct:fail(Error)
 
252
  end.
 
253
 
 
254
ets_insert_double1(Config) ->
 
255
  case dialyze(Config, ets_insert_double1) of
 
256
    'same' -> 'same';
 
257
    Error  -> ct:fail(Error)
 
258
  end.
 
259
 
 
260
ets_insert_double2(Config) ->
 
261
  case dialyze(Config, ets_insert_double2) of
 
262
    'same' -> 'same';
 
263
    Error  -> ct:fail(Error)
 
264
  end.
 
265
 
 
266
ets_insert_funs1(Config) ->
 
267
  case dialyze(Config, ets_insert_funs1) of
 
268
    'same' -> 'same';
 
269
    Error  -> ct:fail(Error)
 
270
  end.
 
271
 
 
272
ets_insert_funs2(Config) ->
 
273
  case dialyze(Config, ets_insert_funs2) of
 
274
    'same' -> 'same';
 
275
    Error  -> ct:fail(Error)
 
276
  end.
 
277
 
 
278
ets_insert_new(Config) ->
 
279
  case dialyze(Config, ets_insert_new) of
 
280
    'same' -> 'same';
 
281
    Error  -> ct:fail(Error)
 
282
  end.
 
283
 
 
284
ets_insert_param(Config) ->
 
285
  case dialyze(Config, ets_insert_param) of
 
286
    'same' -> 'same';
 
287
    Error  -> ct:fail(Error)
 
288
  end.
 
289
 
 
290
extract_translations(Config) ->
 
291
  case dialyze(Config, extract_translations) of
 
292
    'same' -> 'same';
 
293
    Error  -> ct:fail(Error)
 
294
  end.
 
295
 
 
296
mnesia_diff_atoms_race1(Config) ->
 
297
  case dialyze(Config, mnesia_diff_atoms_race1) of
 
298
    'same' -> 'same';
 
299
    Error  -> ct:fail(Error)
 
300
  end.
 
301
 
 
302
mnesia_diff_atoms_race2(Config) ->
 
303
  case dialyze(Config, mnesia_diff_atoms_race2) of
 
304
    'same' -> 'same';
 
305
    Error  -> ct:fail(Error)
 
306
  end.
 
307
 
 
308
mnesia_dirty_read_one_write_two(Config) ->
 
309
  case dialyze(Config, mnesia_dirty_read_one_write_two) of
 
310
    'same' -> 'same';
 
311
    Error  -> ct:fail(Error)
 
312
  end.
 
313
 
 
314
mnesia_dirty_read_two_write_one(Config) ->
 
315
  case dialyze(Config, mnesia_dirty_read_two_write_one) of
 
316
    'same' -> 'same';
 
317
    Error  -> ct:fail(Error)
 
318
  end.
 
319
 
 
320
mnesia_dirty_read_write_double1(Config) ->
 
321
  case dialyze(Config, mnesia_dirty_read_write_double1) of
 
322
    'same' -> 'same';
 
323
    Error  -> ct:fail(Error)
 
324
  end.
 
325
 
 
326
mnesia_dirty_read_write_double2(Config) ->
 
327
  case dialyze(Config, mnesia_dirty_read_write_double2) of
 
328
    'same' -> 'same';
 
329
    Error  -> ct:fail(Error)
 
330
  end.
 
331
 
 
332
mnesia_dirty_read_write_double3(Config) ->
 
333
  case dialyze(Config, mnesia_dirty_read_write_double3) of
 
334
    'same' -> 'same';
 
335
    Error  -> ct:fail(Error)
 
336
  end.
 
337
 
 
338
mnesia_dirty_read_write_double4(Config) ->
 
339
  case dialyze(Config, mnesia_dirty_read_write_double4) of
 
340
    'same' -> 'same';
 
341
    Error  -> ct:fail(Error)
 
342
  end.
 
343
 
 
344
mnesia_dirty_read_write_one(Config) ->
 
345
  case dialyze(Config, mnesia_dirty_read_write_one) of
 
346
    'same' -> 'same';
 
347
    Error  -> ct:fail(Error)
 
348
  end.
 
349
 
 
350
mnesia_dirty_read_write_two(Config) ->
 
351
  case dialyze(Config, mnesia_dirty_read_write_two) of
 
352
    'same' -> 'same';
 
353
    Error  -> ct:fail(Error)
 
354
  end.
 
355
 
 
356
whereis_control_flow1(Config) ->
 
357
  case dialyze(Config, whereis_control_flow1) of
 
358
    'same' -> 'same';
 
359
    Error  -> ct:fail(Error)
 
360
  end.
 
361
 
 
362
whereis_control_flow2(Config) ->
 
363
  case dialyze(Config, whereis_control_flow2) of
 
364
    'same' -> 'same';
 
365
    Error  -> ct:fail(Error)
 
366
  end.
 
367
 
 
368
whereis_control_flow3(Config) ->
 
369
  case dialyze(Config, whereis_control_flow3) of
 
370
    'same' -> 'same';
 
371
    Error  -> ct:fail(Error)
 
372
  end.
 
373
 
 
374
whereis_control_flow4(Config) ->
 
375
  case dialyze(Config, whereis_control_flow4) of
 
376
    'same' -> 'same';
 
377
    Error  -> ct:fail(Error)
 
378
  end.
 
379
 
 
380
whereis_control_flow5(Config) ->
 
381
  case dialyze(Config, whereis_control_flow5) of
 
382
    'same' -> 'same';
 
383
    Error  -> ct:fail(Error)
 
384
  end.
 
385
 
 
386
whereis_control_flow6(Config) ->
 
387
  case dialyze(Config, whereis_control_flow6) of
 
388
    'same' -> 'same';
 
389
    Error  -> ct:fail(Error)
 
390
  end.
 
391
 
 
392
whereis_diff_atoms_no_race(Config) ->
 
393
  case dialyze(Config, whereis_diff_atoms_no_race) of
 
394
    'same' -> 'same';
 
395
    Error  -> ct:fail(Error)
 
396
  end.
 
397
 
 
398
whereis_diff_atoms_race(Config) ->
 
399
  case dialyze(Config, whereis_diff_atoms_race) of
 
400
    'same' -> 'same';
 
401
    Error  -> ct:fail(Error)
 
402
  end.
 
403
 
 
404
whereis_diff_functions1(Config) ->
 
405
  case dialyze(Config, whereis_diff_functions1) of
 
406
    'same' -> 'same';
 
407
    Error  -> ct:fail(Error)
 
408
  end.
 
409
 
 
410
whereis_diff_functions1_nested(Config) ->
 
411
  case dialyze(Config, whereis_diff_functions1_nested) of
 
412
    'same' -> 'same';
 
413
    Error  -> ct:fail(Error)
 
414
  end.
 
415
 
 
416
whereis_diff_functions1_pathsens(Config) ->
 
417
  case dialyze(Config, whereis_diff_functions1_pathsens) of
 
418
    'same' -> 'same';
 
419
    Error  -> ct:fail(Error)
 
420
  end.
 
421
 
 
422
whereis_diff_functions1_twice(Config) ->
 
423
  case dialyze(Config, whereis_diff_functions1_twice) of
 
424
    'same' -> 'same';
 
425
    Error  -> ct:fail(Error)
 
426
  end.
 
427
 
 
428
whereis_diff_functions2(Config) ->
 
429
  case dialyze(Config, whereis_diff_functions2) of
 
430
    'same' -> 'same';
 
431
    Error  -> ct:fail(Error)
 
432
  end.
 
433
 
 
434
whereis_diff_functions2_nested(Config) ->
 
435
  case dialyze(Config, whereis_diff_functions2_nested) of
 
436
    'same' -> 'same';
 
437
    Error  -> ct:fail(Error)
 
438
  end.
 
439
 
 
440
whereis_diff_functions2_pathsens(Config) ->
 
441
  case dialyze(Config, whereis_diff_functions2_pathsens) of
 
442
    'same' -> 'same';
 
443
    Error  -> ct:fail(Error)
 
444
  end.
 
445
 
 
446
whereis_diff_functions2_twice(Config) ->
 
447
  case dialyze(Config, whereis_diff_functions2_twice) of
 
448
    'same' -> 'same';
 
449
    Error  -> ct:fail(Error)
 
450
  end.
 
451
 
 
452
whereis_diff_functions3(Config) ->
 
453
  case dialyze(Config, whereis_diff_functions3) of
 
454
    'same' -> 'same';
 
455
    Error  -> ct:fail(Error)
 
456
  end.
 
457
 
 
458
whereis_diff_functions3_nested(Config) ->
 
459
  case dialyze(Config, whereis_diff_functions3_nested) of
 
460
    'same' -> 'same';
 
461
    Error  -> ct:fail(Error)
 
462
  end.
 
463
 
 
464
whereis_diff_functions3_pathsens(Config) ->
 
465
  case dialyze(Config, whereis_diff_functions3_pathsens) of
 
466
    'same' -> 'same';
 
467
    Error  -> ct:fail(Error)
 
468
  end.
 
469
 
 
470
whereis_diff_functions4(Config) ->
 
471
  case dialyze(Config, whereis_diff_functions4) of
 
472
    'same' -> 'same';
 
473
    Error  -> ct:fail(Error)
 
474
  end.
 
475
 
 
476
whereis_diff_functions5(Config) ->
 
477
  case dialyze(Config, whereis_diff_functions5) of
 
478
    'same' -> 'same';
 
479
    Error  -> ct:fail(Error)
 
480
  end.
 
481
 
 
482
whereis_diff_functions6(Config) ->
 
483
  case dialyze(Config, whereis_diff_functions6) of
 
484
    'same' -> 'same';
 
485
    Error  -> ct:fail(Error)
 
486
  end.
 
487
 
 
488
whereis_diff_modules1(Config) ->
 
489
  case dialyze(Config, whereis_diff_modules1) of
 
490
    'same' -> 'same';
 
491
    Error  -> ct:fail(Error)
 
492
  end.
 
493
 
 
494
whereis_diff_modules1_pathsens(Config) ->
 
495
  case dialyze(Config, whereis_diff_modules1_pathsens) of
 
496
    'same' -> 'same';
 
497
    Error  -> ct:fail(Error)
 
498
  end.
 
499
 
 
500
whereis_diff_modules1_rec(Config) ->
 
501
  case dialyze(Config, whereis_diff_modules1_rec) of
 
502
    'same' -> 'same';
 
503
    Error  -> ct:fail(Error)
 
504
  end.
 
505
 
 
506
whereis_diff_modules2(Config) ->
 
507
  case dialyze(Config, whereis_diff_modules2) of
 
508
    'same' -> 'same';
 
509
    Error  -> ct:fail(Error)
 
510
  end.
 
511
 
 
512
whereis_diff_modules2_pathsens(Config) ->
 
513
  case dialyze(Config, whereis_diff_modules2_pathsens) of
 
514
    'same' -> 'same';
 
515
    Error  -> ct:fail(Error)
 
516
  end.
 
517
 
 
518
whereis_diff_modules2_rec(Config) ->
 
519
  case dialyze(Config, whereis_diff_modules2_rec) of
 
520
    'same' -> 'same';
 
521
    Error  -> ct:fail(Error)
 
522
  end.
 
523
 
 
524
whereis_diff_modules3(Config) ->
 
525
  case dialyze(Config, whereis_diff_modules3) of
 
526
    'same' -> 'same';
 
527
    Error  -> ct:fail(Error)
 
528
  end.
 
529
 
 
530
whereis_diff_modules_nested(Config) ->
 
531
  case dialyze(Config, whereis_diff_modules_nested) of
 
532
    'same' -> 'same';
 
533
    Error  -> ct:fail(Error)
 
534
  end.
 
535
 
 
536
whereis_diff_modules_twice(Config) ->
 
537
  case dialyze(Config, whereis_diff_modules_twice) of
 
538
    'same' -> 'same';
 
539
    Error  -> ct:fail(Error)
 
540
  end.
 
541
 
 
542
whereis_diff_vars_no_race(Config) ->
 
543
  case dialyze(Config, whereis_diff_vars_no_race) of
 
544
    'same' -> 'same';
 
545
    Error  -> ct:fail(Error)
 
546
  end.
 
547
 
 
548
whereis_diff_vars_race(Config) ->
 
549
  case dialyze(Config, whereis_diff_vars_race) of
 
550
    'same' -> 'same';
 
551
    Error  -> ct:fail(Error)
 
552
  end.
 
553
 
 
554
whereis_intra_inter_module1(Config) ->
 
555
  case dialyze(Config, whereis_intra_inter_module1) of
 
556
    'same' -> 'same';
 
557
    Error  -> ct:fail(Error)
 
558
  end.
 
559
 
 
560
whereis_intra_inter_module2(Config) ->
 
561
  case dialyze(Config, whereis_intra_inter_module2) of
 
562
    'same' -> 'same';
 
563
    Error  -> ct:fail(Error)
 
564
  end.
 
565
 
 
566
whereis_intra_inter_module3(Config) ->
 
567
  case dialyze(Config, whereis_intra_inter_module3) of
 
568
    'same' -> 'same';
 
569
    Error  -> ct:fail(Error)
 
570
  end.
 
571
 
 
572
whereis_intra_inter_module4(Config) ->
 
573
  case dialyze(Config, whereis_intra_inter_module4) of
 
574
    'same' -> 'same';
 
575
    Error  -> ct:fail(Error)
 
576
  end.
 
577
 
 
578
whereis_intra_inter_module5(Config) ->
 
579
  case dialyze(Config, whereis_intra_inter_module5) of
 
580
    'same' -> 'same';
 
581
    Error  -> ct:fail(Error)
 
582
  end.
 
583
 
 
584
whereis_intra_inter_module6(Config) ->
 
585
  case dialyze(Config, whereis_intra_inter_module6) of
 
586
    'same' -> 'same';
 
587
    Error  -> ct:fail(Error)
 
588
  end.
 
589
 
 
590
whereis_intra_inter_module7(Config) ->
 
591
  case dialyze(Config, whereis_intra_inter_module7) of
 
592
    'same' -> 'same';
 
593
    Error  -> ct:fail(Error)
 
594
  end.
 
595
 
 
596
whereis_intra_inter_module8(Config) ->
 
597
  case dialyze(Config, whereis_intra_inter_module8) of
 
598
    'same' -> 'same';
 
599
    Error  -> ct:fail(Error)
 
600
  end.
 
601
 
 
602
whereis_param(Config) ->
 
603
  case dialyze(Config, whereis_param) of
 
604
    'same' -> 'same';
 
605
    Error  -> ct:fail(Error)
 
606
  end.
 
607
 
 
608
whereis_param_inter_module(Config) ->
 
609
  case dialyze(Config, whereis_param_inter_module) of
 
610
    'same' -> 'same';
 
611
    Error  -> ct:fail(Error)
 
612
  end.
 
613
 
 
614
whereis_rec_function1(Config) ->
 
615
  case dialyze(Config, whereis_rec_function1) of
 
616
    'same' -> 'same';
 
617
    Error  -> ct:fail(Error)
 
618
  end.
 
619
 
 
620
whereis_rec_function2(Config) ->
 
621
  case dialyze(Config, whereis_rec_function2) of
 
622
    'same' -> 'same';
 
623
    Error  -> ct:fail(Error)
 
624
  end.
 
625
 
 
626
whereis_rec_function3(Config) ->
 
627
  case dialyze(Config, whereis_rec_function3) of
 
628
    'same' -> 'same';
 
629
    Error  -> ct:fail(Error)
 
630
  end.
 
631
 
 
632
whereis_rec_function4(Config) ->
 
633
  case dialyze(Config, whereis_rec_function4) of
 
634
    'same' -> 'same';
 
635
    Error  -> ct:fail(Error)
 
636
  end.
 
637
 
 
638
whereis_rec_function5(Config) ->
 
639
  case dialyze(Config, whereis_rec_function5) of
 
640
    'same' -> 'same';
 
641
    Error  -> ct:fail(Error)
 
642
  end.
 
643
 
 
644
whereis_rec_function6(Config) ->
 
645
  case dialyze(Config, whereis_rec_function6) of
 
646
    'same' -> 'same';
 
647
    Error  -> ct:fail(Error)
 
648
  end.
 
649
 
 
650
whereis_rec_function7(Config) ->
 
651
  case dialyze(Config, whereis_rec_function7) of
 
652
    'same' -> 'same';
 
653
    Error  -> ct:fail(Error)
 
654
  end.
 
655
 
 
656
whereis_rec_function8(Config) ->
 
657
  case dialyze(Config, whereis_rec_function8) of
 
658
    'same' -> 'same';
 
659
    Error  -> ct:fail(Error)
 
660
  end.
 
661
 
 
662
whereis_try_catch(Config) ->
 
663
  case dialyze(Config, whereis_try_catch) of
 
664
    'same' -> 'same';
 
665
    Error  -> ct:fail(Error)
 
666
  end.
 
667
 
 
668
whereis_vars1(Config) ->
 
669
  case dialyze(Config, whereis_vars1) of
 
670
    'same' -> 'same';
 
671
    Error  -> ct:fail(Error)
 
672
  end.
 
673
 
 
674
whereis_vars10(Config) ->
 
675
  case dialyze(Config, whereis_vars10) of
 
676
    'same' -> 'same';
 
677
    Error  -> ct:fail(Error)
 
678
  end.
 
679
 
 
680
whereis_vars11(Config) ->
 
681
  case dialyze(Config, whereis_vars11) of
 
682
    'same' -> 'same';
 
683
    Error  -> ct:fail(Error)
 
684
  end.
 
685
 
 
686
whereis_vars12(Config) ->
 
687
  case dialyze(Config, whereis_vars12) of
 
688
    'same' -> 'same';
 
689
    Error  -> ct:fail(Error)
 
690
  end.
 
691
 
 
692
whereis_vars13(Config) ->
 
693
  case dialyze(Config, whereis_vars13) of
 
694
    'same' -> 'same';
 
695
    Error  -> ct:fail(Error)
 
696
  end.
 
697
 
 
698
whereis_vars14(Config) ->
 
699
  case dialyze(Config, whereis_vars14) of
 
700
    'same' -> 'same';
 
701
    Error  -> ct:fail(Error)
 
702
  end.
 
703
 
 
704
whereis_vars15(Config) ->
 
705
  case dialyze(Config, whereis_vars15) of
 
706
    'same' -> 'same';
 
707
    Error  -> ct:fail(Error)
 
708
  end.
 
709
 
 
710
whereis_vars16(Config) ->
 
711
  case dialyze(Config, whereis_vars16) of
 
712
    'same' -> 'same';
 
713
    Error  -> ct:fail(Error)
 
714
  end.
 
715
 
 
716
whereis_vars17(Config) ->
 
717
  case dialyze(Config, whereis_vars17) of
 
718
    'same' -> 'same';
 
719
    Error  -> ct:fail(Error)
 
720
  end.
 
721
 
 
722
whereis_vars18(Config) ->
 
723
  case dialyze(Config, whereis_vars18) of
 
724
    'same' -> 'same';
 
725
    Error  -> ct:fail(Error)
 
726
  end.
 
727
 
 
728
whereis_vars19(Config) ->
 
729
  case dialyze(Config, whereis_vars19) of
 
730
    'same' -> 'same';
 
731
    Error  -> ct:fail(Error)
 
732
  end.
 
733
 
 
734
whereis_vars2(Config) ->
 
735
  case dialyze(Config, whereis_vars2) of
 
736
    'same' -> 'same';
 
737
    Error  -> ct:fail(Error)
 
738
  end.
 
739
 
 
740
whereis_vars20(Config) ->
 
741
  case dialyze(Config, whereis_vars20) of
 
742
    'same' -> 'same';
 
743
    Error  -> ct:fail(Error)
 
744
  end.
 
745
 
 
746
whereis_vars21(Config) ->
 
747
  case dialyze(Config, whereis_vars21) of
 
748
    'same' -> 'same';
 
749
    Error  -> ct:fail(Error)
 
750
  end.
 
751
 
 
752
whereis_vars22(Config) ->
 
753
  case dialyze(Config, whereis_vars22) of
 
754
    'same' -> 'same';
 
755
    Error  -> ct:fail(Error)
 
756
  end.
 
757
 
 
758
whereis_vars3(Config) ->
 
759
  case dialyze(Config, whereis_vars3) of
 
760
    'same' -> 'same';
 
761
    Error  -> ct:fail(Error)
 
762
  end.
 
763
 
 
764
whereis_vars4(Config) ->
 
765
  case dialyze(Config, whereis_vars4) of
 
766
    'same' -> 'same';
 
767
    Error  -> ct:fail(Error)
 
768
  end.
 
769
 
 
770
whereis_vars5(Config) ->
 
771
  case dialyze(Config, whereis_vars5) of
 
772
    'same' -> 'same';
 
773
    Error  -> ct:fail(Error)
 
774
  end.
 
775
 
 
776
whereis_vars6(Config) ->
 
777
  case dialyze(Config, whereis_vars6) of
 
778
    'same' -> 'same';
 
779
    Error  -> ct:fail(Error)
 
780
  end.
 
781
 
 
782
whereis_vars7(Config) ->
 
783
  case dialyze(Config, whereis_vars7) of
 
784
    'same' -> 'same';
 
785
    Error  -> ct:fail(Error)
 
786
  end.
 
787
 
 
788
whereis_vars8(Config) ->
 
789
  case dialyze(Config, whereis_vars8) of
 
790
    'same' -> 'same';
 
791
    Error  -> ct:fail(Error)
 
792
  end.
 
793
 
 
794
whereis_vars9(Config) ->
 
795
  case dialyze(Config, whereis_vars9) of
 
796
    'same' -> 'same';
 
797
    Error  -> ct:fail(Error)
 
798
  end.
 
799