HomeIsabelle/Phabricator

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

Authored by dcjm on Wed, Jun 24, 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
dcjmWed, Jun 24, 7:13 PM
Parents
rPOLYML5369884001c7: Invalid constant indexes for arrays or vectors can result in an overflow when…
Branches
Unknown
Tags
Unknown