diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Corrected a problem with the format/2 call in the definition of the new predicate time/1 for those cases where we print "Inf" instead of a number for the CPU percentage.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2074 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
pmoura 2008-02-01 16:50:28 +00:00
parent ba31d8db97
commit 176c6ae3c5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pl/statistics.yap
View File

@ -149,7 +149,7 @@ time(Goal) :-
), ),
TimeSecs is Time/1000, TimeSecs is Time/1000,
WallSecs is Wall/1000, WallSecs is Wall/1000,
format("% ~3f CPU in ~3f seconds (~|~t~d~3+% CPU)~n", [TimeSecs, WallSecs, CPU]), format("% ~3f CPU in ~3f seconds (~|~t~w~3+% CPU)~n", [TimeSecs, WallSecs, CPU]),
( nonvar(E) ( nonvar(E)
-> throw(E) -> throw(E)
; Result == yes ; Result == yes