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