1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
<assertions>
<assertion id="1" tag="ref:XSH6:46851:46852 pt:TMR">
timer_delete() deletes timer, timerid. [timerid is created by
timer_create().]
</assertion>
<assertion id="2" tag="ref:XSH6:46852:46854 pt:TMR">
If timerid is an armed timer when timer_delete() is called, it will
appear as if the timer is automatically disarmed before removal.
[It is unspecified what happens to any pending signals.]
</assertion>
<assertion id="3" tag="ref:XSH6:46856:46856 pt:TMR">
timer_delete() returns 0 on success
</assertion>
<assertion id="4" tag="ref:XSH6:46856:46857 pt:TMR">
timer_delete returns -1 on failure
</assertion>
<assertion id="5" tag="ref:XSH6TC2:46859:46860 pt:TMR">
timer_delete() may set errno==EINVAL if timerid is not a valid timer ID
</assertion>
</assertions>
|
