This document specifies the coverage of function clock_settime().

Assertion	Covered?
1		YES
2		NO*
3		YES
4		YES - FAILing on this implementation
5		YES
6		YES
7		YES
8		YES
9		NO** Skipping CPU-time tests for now
10		NO** Skipping CPU-time tests for now
11		NO** Skipping CPU-time tests for now
12		NO** Skipping CPU-time tests for now
13		NO** Skipping CPU-time tests for now
14		NO** Skipping CPU-time tests for now
15		YES
16		YES
17		YES
18		YES
19		YES - FAILing on this implementation (possibly serious)
20		YES
21		WON'T - Will not test as this is a _may_ not a _should_.

*Decided not to test this assertion.  It seems like a lot of work for little
payoff in terms of if the test passes.  Would need to:  Get the resolution;
Set the time to desired value + 1/2 resolution time.  Get the time.  Ensure
that time gotten isn't too much larger than desired value + resolution time.
Depending on execution time of the test, this could never really be
conclusive.

The date chosen for all tests is November 12, 2002 at ~11:13am (The
date when these tests were first written.)

This corresponds to number 1037128358