def sys_receive(self, cpu, fd, buf, count, rx_bytes):
if issymbolic(fd):<EOL><INDENT>logger.info("<STR_LIT>")<EOL>cpu.PC = cpu.PC - cpu.instruction.size<EOL>raise SymbolicSyscallArgument(cpu, <NUM_LIT:0>)<EOL><DEDENT>if issymbolic(buf):<EOL><INDENT>logger.info("<STR_LIT>")<EOL>cpu.PC = cpu.PC - cpu.instruction.size<EOL>raise SymbolicSyscallArgument(cpu, <NUM_LIT:1>)<EOL><DEDENT>if issymbolic(count):<EOL><INDENT>logger.info("<STR_LIT>")<EOL>cpu.PC = cpu.PC - cpu.instruction.size<EOL>raise SymbolicSyscallArgument(cpu, <NUM_LIT:2>)<EOL><DEDENT>if issymbolic(rx_bytes):<EOL><INDENT>logger.info("<STR_LIT>")<EOL>cpu.PC = cpu.PC - cpu.instruction.size<EOL>raise SymbolicSyscallArgument(cpu, <NUM_LIT:3>)<EOL><DEDENT>return super().sys_receive(cpu, fd, buf, count, rx_bytes)<EOL>
Symbolic version of Decree.sys_receive