handle impl crashes by catching SIGPIPE
commit76b9102812d768faab119e1ed0448b8778244c25
authorS. Gilles <sgilles@math.umd.edu>
Sun, 4 Mar 2018 19:35:11 +0000 (4 14:35 -0500)
committerS. Gilles <sgilles@math.umd.edu>
Sun, 4 Mar 2018 19:35:11 +0000 (4 14:35 -0500)
tree2af23c8866b61853aea16f426be8510028c4d302
parentea14a0393086af7830ea417023c1e975aa50f158
handle impl crashes by catching SIGPIPE
README
checker/checker.myr
impl-myrddin/impl-myrddin.myr