HomeIsabelle/Phabricator
Diffusion Poly/ML ec8ba10aa3b6

Add an assertion failure to the end of Crash to force a core dump.
ec8ba10aa3b6Unpublished
Actions

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

Add an assertion failure to the end of Crash to force a core dump.

Details

Provenance
dcjmAuthored on Feb 10 2019, 9:15 PM
Parents
rPOLYMLda2802c4f331: Don't scan RTS code addresses in the sharing pass. They only occur as…
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (1)

PathSize
libpolyml/

rPOLYMLec8ba10aa3b6

View Options

libpolyml/diagnostics.cpp

Loading...