HomeIsabelle/Phabricator

Move the test for save vector overflow in Posix.Process.sleep into the Succeed…
304b8827b4cbUnpublished

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Move the test for save vector overflow in Posix.Process.sleep into the Succeed directory now that we can raise NotApplicable on Windows.

Details

Provenance
dcjmAuthored on Mar 19 2019, 3:51 PM
Parents
rPOLYML142f5ace5c9e: Fix bug in neg_longc when the argument was the smallest negative short form…
Branches
Unknown
Tags
Unknown

Event Timeline