ulimit_spec() coverage

specification LongT ulimit_spec( CallContext context, IntT cmd, List *params, ErrorCode *errno )

coverages branches failures hits/fails
C cmd == UL_GETFSIZE failure 165: Requirement failed: {ulimit.02} UL_GETFSIZE:The return value shall be the soft file size limit divided by 512
failure 166: Requirement failed: {ulimit.02} UL_GETFSIZE:The return value shall be the soft file size limit divided by 512
2/2
soft < param < hard   0
param < soft   0
Hard limit shall increase   0
Hard limit would increase   0
Another cmd   0
16% (1/6)   2/2