

def sleep(s, cc):
    f = s(s)
    seconds = f.params[0]
    s.log.function_call(f, 'sleep(seconds={})', seconds)
    return f.ret(value=0)

dataset/ETHPy150Open c01db33f/concolica/library_emulation/unix.py sleep/VarMisuse@14/15 `cc`->`s`