Home
last modified time | relevance | path

Searched refs:logname (Results 1 – 2 of 2) sorted by relevance

/PHP-7.2/
H A Dserver-tests.php1541 $logname = preg_replace('/\.phpt$/','.exp',$file);
1542 file_put_contents($logname,$wanted);
1547 $logname = preg_replace('/\.phpt$/','.out',$file);
1548 file_put_contents($logname,$output);
1559 $logname = preg_replace('/\.phpt$/','.log',$file);
1560 file_put_contents($logname,
1566 $this->error_report($file,$logname,$tested);
1575 function error_report($testname,$logname,$tested) argument
1578 $logname = realpath($logname);
1583 $this->writemsg($logname . "(1) : $tested\n");
[all …]
H A Drun-tests.php1104 function error_report($testname, $logname, $tested) argument
1107 $logname = realpath($logname);
1112 echo $logname . "(1) : $tested\n";
1116 echo $logname . ":1: $tested\n";

Completed in 15 milliseconds