HomeIsabelle/Phabricator

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

Authored by dcjm on Jun 24 2020, 7:13 PM.

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

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