rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #1142 from triska/s

Browse Source 
report time with "s" instead of "seconds", in analogy to time(1)
This commit is contained in:
Mark Thom
2021-12-13 19:09:20 -07:00
committed by GitHub
parent 68cd1d6631 12c561cee0
commit 43532e5322
1 changed files with 12 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/lib/time.pl
View File

@@ -120,32 +120,33 @@ report_time(ID) :-
'$cpu_now'(T),
Time is T - T0,
( bb_get('$first_answer', true) ->
format(" % CPU time: ~3f seconds~n", [Time])
; format("% CPU time: ~3f seconds~n ", [Time])
).
Pre = " ", Post = ""
; Pre = "", Post = " "
),
format("~s% CPU time: ~3fs~n~s", [Pre,Time,Post]).
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
?- time((true;false)).
%@ % CPU time: 0.006 seconds
%@ % CPU time: 0.006s
%@ true
%@ ; % CPU time: 0.001 seconds
%@ ; % CPU time: 0.001s
%@ false.
:- time(use_module(library(clpz))).
%@ % CPU time: 3.711 seconds
%@ % CPU time: 3.711s
%@ true.
:- time(use_module(library(lists))).
%@ % CPU time: 0.006 seconds
%@ % CPU time: 0.006s
%@ true.
?- time(member(X, "abc")).
%@ % CPU time: 0.005 seconds
%@ % CPU time: 0.005s
%@ X = a
%@ ; % CPU time: 0.000 seconds
%@ ; % CPU time: 0.000s
%@ X = b
%@ ; % CPU time: 0.000 seconds
%@ ; % CPU time: 0.000s
%@ X = c
%@ ; % CPU time: 0.000 seconds
%@ ; % CPU time: 0.000s
%@ false.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */