Do not start tests after global timeout

Romainrequested to merge
romain-timeout into master

Description / Motivation

Fixes #16 (closed)

How to Test the MR Manually

Duplicate the test in test/unix/test_process.ml (don't forget to change the title), then run:

dune exec test/unix/main.exe -- -k --global-timeout 0.5

Checklist

  • Update CHANGES.md. No need to document changes to documentation and tests.
  • Make sure all new values, types etc. are documented in .mli files and that the generated documentation looks ok.
  • Add tests in test/, if relevant.
Edited by Romain

Merge request reports