on master help sign in
Added calculation fof entire test suite run.
04d7f57Jan de Muijnck-Hughes
test/runtest.pl+7
@@ -177,6 +177,8 @@ my $idris = $ENV{IDRIS};
177my $path = $ENV{PATH};
177my $path = $ENV{PATH};
178$ENV{PATH} = cwd() . "/" . $idris . ":" . $path;
178$ENV{PATH} = cwd() . "/" . $idris . ":" . $path;
179
179
180+my $startTime = time();
181+
180foreach my $test (@tests) {
182foreach my $test (@tests) {
181 if ($diff == 0 && $show == 0) {
183 if ($diff == 0 && $show == 0) {
182 runtest($test,$update);
184 runtest($test,$update);
@@ -198,4 +200,9 @@ foreach my $test (@tests) {
198 }
200 }
199}
201}
200
202
203+my $endTime = time();
204+my $elapsedTime = $endTime - $startTime;
205+
206+print "Duration of Entire Test Suite was $elapsedTime\n";
207+
201exit $exitstatus;
208exit $exitstatus;