Commit 53f20cc0 authored by Matthew Fernandez's avatar Matthew Fernandez
Browse files

fix misuse of fcntl

We were using F_SETFD/F_GETFD to set O_NONBLOCK, but this is meant to be used on
the status flags, not the file descriptor. We correct this to use
F_SETFL/F_GETFL. Surprisingly this bug caused no visible misbehaviour on Ubuntu
Linux, macOS or FreeBSD. It was detected by a user on Arch Linux under WSL.

Github: related to #140 "Unit test fail on smt-simplify.m"
parent 64fa1723
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment