Code

Stop ignoring miri leaks#82

Code

Merged

jonhoo merged 9 commits intomasterjonhoo/flurry:masterfrom miri-leaksjonhoo/flurry:miri-leaksCopy head branch name to clipboardMay 6, 2020

+32-12

Commits

Commits on May 6, 2020

• Stop ignoring miri leaks

  Show description for 0abc0bc
  jonhoo

  committed
  0abc0bc

• Miri can't handle threads

  jonhoo

  committed
  3551e20

• Miri gets sad from the disallow_evil test

  Show description for 6d154be
  jonhoo

  committed
  6d154be

• Go back to ignoring miri leaks

  Show description for e4a044e
  jonhoo

  committed
  e4a044e

• Err, actually ignore leaks

  jonhoo

  committed
  5bfc6e6

• Ignore all concurrent tests with miri

  jonhoo

  committed
  dfc6104

• Use preferred miri cfg pattern

  jonhoo

  committed
  e6ad4f8

• Avoid warnings under miri

  jonhoo

  committed
  d944731

• miri can't handle lots of iterations

  jonhoo

  committed
  d0f080b