Code

Miri can catch panics now#132

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/hashbrown:masterfrom RalfJung:miriRalfJung/hashbrown:miriCopy head branch name to clipboardDec 21, 2019

+3-5

Commits

Commits on Nov 22, 2019

• Miri can catch panics now

  RalfJung

  committed
  22e5417

  Copy full SHA for 22e5417

Commits on Dec 6, 2019

• update Miri comments

  RalfJung

  committed
  3ad7eec

  Copy full SHA for 3ad7eec

Commits on Dec 7, 2019

• use cfg_attr-ignore instead of cfg(not)

  RalfJung

  committed
  4ccc1a2

  Copy full SHA for 4ccc1a2