@@ -177,6 +177,8 @@ my $idris = $ENV{IDRIS};
177177my $path = $ENV{PATH};
178178$ENV{PATH} = cwd() . "/" . $idris . ":" . $path;
179179
180+my $startTime = time();
181+
180182foreach my $test (@tests) {
181183 if ($diff == 0 && $show == 0) {
182184 runtest($test,$update);
@@ -198,4 +200,9 @@ foreach my $test (@tests) {
198200 }
199201}
200202
203+my $endTime = time();
204+my $elapsedTime = $endTime - $startTime;
205+
206+print "Duration of Entire Test Suite was $elapsedTime\n";
207+
201208exit $exitstatus;