blob: d9fe7951fa9861b1c54928b54fe5c1c334c54045 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#include <time.h>
#include "_safety.h"
/** get processor time **/
clock_t clock(void)
{
SIGNAL_SAFE(0);
return (clock_t)-1;
}
CHECK_0(clock_t, 0, clock)
/***
returns the amount of processor time used by the current
program. To convert this time to seconds, divide it by CONSTANT(CLOCKS_PER_SEC).
***/
/*
IMPLEMENTATION(What constitutes CAST(TYPEDEF(clock_t), 0))
RETURN_FAILURE(CAST(TYPEDEF(clock_t), -1))
RETURN_SUCCESS(the processor time of the current program)
STDC(1)
*/
|
