anchor.diff:  
       % callgraph warning as run_plt_check2:call/1 makes a call to unexported
       % function run_plt_check1:call/1.
  -    [_] = run_dialyzer(plt_check, [], []),
  +    [_] = run_dialyzer(plt_check, [], [{init_plt, Plt}]),
   
       ok.
   
   run_succ_typings(Config) when is_list(Config) ->
  +    PrivDir = ?config(priv_dir, Config),
  +    Plt = filename:join(PrivDir, "run_succ_typings.plt"),
       Mod1A = <<"
   	       -module(run_succ_typings1).
   
  
positive.code: 
      {ok, BeamFile1} = compile(Config, Mod1, run_plt_check1, []),
      {ok, BeamFile2} = compile(Config, Mod2A, run_plt_check2, []),
      [] = run_dialyzer(plt_build, [BeamFile1, BeamFile2], []),
  
      Mod2B = <<"
  	       -module(run_plt_check2).
  
negative.code:     ok.
  
  bad_dialyzer_attr(Config) ->
      Prog1 = <<"-module(dial).
                 -dialyzer({no_return, [undef/0]}).">>,
      {ok, Beam1} = compile(Config, Prog1, dial, []),
      {dialyzer_error,
       "Analysis failed with error:\n"
       "Could not scan the following file(s):\n"
  