anchor.diff:       "Analysis failed with error:\n"
        "Could not scan the following file(s):\n"
        "  Bad function {undef,1,2} in line " ++ _} =
  -        (catch run_dialyzer(plt_build, [Beam2], [])),
  +        (catch run_dialyzer(plt_build, [Beam2], [{output_plt, Plt}])),
   
       ok.
   
  
positive.code:     ok.
  
  bad_dialyzer_attr(Config) ->
      Prog1 = <<"-module(dial).
                 -dialyzer({no_return, [undef/0]}).">>,
      {ok, Beam1} = compile(Config, Prog1, dial, []),
  
negative.code:      "Analysis failed with error:\n"
       "Could not scan the following file(s):\n"
       "  Unknown function undef/0 in line " ++ _} =
          (catch run_dialyzer(plt_build, [Beam1], [{output_plt, Plt}])),
  
      Prog2 = <<"-module(dial).
                 -dialyzer({no_return, [{undef,1,2}]}).">>,
  