1<assertions>
2  <assertion id="1" tag="ref:XSH6:6514:6519">
3   clock() returns a clock_t containing the processor time since a specific
4   point in time (implementation defined).
5   This return value should be divided by CLOCKS_PER_SEC to get the time
6   in seconds.
7  </assertion>
8  <assertion id="2" tag="ref:XSH6:6519:6519 pt:XSI">
9   CLOCKS_PER_SEC == 1,000,000 in time.h
10  </assertion>
11  <assertion id="3" tag="ref:XSH6:6520:6521">
12   clock() returns (clock_t) - 1 if the processor time used cannot be
13   represented or is somehow unavailable
14  </assertion>
15  <assertion id="4" tag="ref:XSH6:6527:6530">
16   clock() is best used to get a delta between two times in a program.
17  </assertion>
18  <assertion id="5" tag="ref:XSH6:6531:6532">
19   It is acceptable for clock() to wrap on some implementations.  (No
20   specifics on when/where.)
21  </assertion>
22</assertions>
23