Hi Paul, > Although this is true on all practical platforms, in theory a POSIX > implementation could have trouble with this implementation. Frank, does the > attached (untested) patch pacify KLEE?
I'm looking at a patch along these lines as well. I'm checking all possible fcntl actions on all platforms, cross-checking with the info in their man pages... Bruno
