pts/test-resources/super-pi/parse-results.php


1
2
3
4
5
6
7

<?php

$log_file = file_get_contents(getenv("LOG_FILE"));
$BENCHMARK_RESULTS = substr($log_file, strrpos($log_file, "time=") + 5);
echo trim(substr($BENCHMARK_RESULTS, 0, strpos($BENCHMARK_RESULTS, "(")));

?>