diff options
| author | Björn Gustavsson <[email protected]> | 2015-04-20 14:59:19 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2015-04-20 15:33:44 +0200 |
| commit | 740ecf83a6cec93fc40a3ced1f7d8825a39516e4 (patch) | |
| tree | eb12609cfaf679e12f1ab974775687718304adb0 /lib/dialyzer | |
| parent | d927209aa36fe370eb4ecf0a081923b0b951458b (diff) | |
| download | otp-740ecf83a6cec93fc40a3ced1f7d8825a39516e4.tar.gz otp-740ecf83a6cec93fc40a3ced1f7d8825a39516e4.tar.bz2 otp-740ecf83a6cec93fc40a3ced1f7d8825a39516e4.zip | |
compile: Teach 'time' option to show three significant decimals
The 'time' option currently uses statistics(runtime) to measure
execution times. Typically, statistics(runtime) only returns
result with two significant figures.
Use the new erlang:monotonic_time/0 function to get three
significant figures.
Diffstat (limited to 'lib/dialyzer')
0 files changed, 0 insertions, 0 deletions