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