HomeIsabelle/Phabricator

Posix.FileSys.wordToFD should always make persistent file descriptors i.e. they…

Description

Posix.FileSys.wordToFD should always make persistent file descriptors i.e. they should
retain their value in subsequent sessions rather than being reset to "invalid".

Details

Provenance
dcjmAuthored on Jun 24 2020, 7:13 PM
Parents
rPOLYML5369884001c7: Invalid constant indexes for arrays or vectors can result in an overflow when…
Branches
Unknown
Tags
Unknown