{dialyzer_options, []}. {time_limit, 2}.