gzputc_spec() coverage
specification IntT gzputc_spec( CallContext context, VoidTPtr file, IntT c )
coverages
branches
failures
hits/fails
C
The only branch
failure 499: Requirement failed: {gzputc.02} On success, shall return the value written
6/
1
100% (1/1)
6/
1