Code

Enhance testing experience#136

Code

Merged

alfert merged 6 commits intoalfert:masteralfert/propcheck:masterfrom x4lldux:saner_testsx4lldux/propcheck:saner_testsCopy head branch name to clipboardDec 15, 2019

+286-147

Commits

Commits on Dec 10, 2019

• Simplify tests dispatching

  Show description for 3985ede
  x4lldux

  committed
  3985ede

• Reduce noisy printing in tests

  Show description for e83b0a0
  x4lldux

  committed
  e83b0a0

Commits on Dec 11, 2019

• Reduce testing time by decreasing default numtests

  Show description for fb2e8e7
  x4lldux

  committed
  fb2e8e7

• Make most of test run asynchronously

  Show description for c3e56ba
  x4lldux

  committed
  c3e56ba

• Fix flaky tests

  Show description for 74ad500
  x4lldux

  committed
  74ad500

• Reduce noise in external tests

  x4lldux

  committed
  ecb4fac