Sometimes the binary we generate exits with code 141, signaling that it has been terminated by signal 13 (trying to write to a closed pipe). In particular, this occurs in the interp-N benchmarks for the symbolic executor. This seems to have been introduced by explicitly terminating Z3 child processes (#27).
Sometimes the binary we generate exits with code 141, signaling that it has been terminated by signal 13 (trying to write to a closed pipe). In particular, this occurs in the
interp-Nbenchmarks for the symbolic executor. This seems to have been introduced by explicitly terminating Z3 child processes (#27).