Home / Input Output / ECIP-Checkpointing
Nov 27, 9-10 AM (0)
Nov 27, 10-11 AM (0)
Nov 27, 11-12 PM (5)
Nov 27, 12-1 PM (4)
Nov 27, 1-2 PM (1)
Nov 27, 2-3 PM (1)
Nov 27, 3-4 PM (0)
Nov 27, 4-5 PM (0)
Nov 27, 5-6 PM (0)
Nov 27, 6-7 PM (0)
Nov 27, 7-8 PM (0)
Nov 27, 8-9 PM (0)
Nov 27, 9-10 PM (0)
Nov 27, 10-11 PM (0)
Nov 27, 11-12 AM (0)
Nov 28, 12-1 AM (0)
Nov 28, 1-2 AM (0)
Nov 28, 2-3 AM (0)
Nov 28, 3-4 AM (0)
Nov 28, 4-5 AM (0)
Nov 28, 5-6 AM (0)
Nov 28, 6-7 AM (0)
Nov 28, 7-8 AM (0)
Nov 28, 8-9 AM (0)
Nov 28, 9-10 AM (0)
Nov 28, 10-11 AM (0)
Nov 28, 11-12 PM (0)
Nov 28, 12-1 PM (0)
Nov 28, 1-2 PM (0)
Nov 28, 2-3 PM (0)
Nov 28, 3-4 PM (0)
Nov 28, 4-5 PM (0)
Nov 28, 5-6 PM (0)
Nov 28, 6-7 PM (0)
Nov 28, 7-8 PM (0)
Nov 28, 8-9 PM (0)
Nov 28, 9-10 PM (0)
Nov 28, 10-11 PM (0)
Nov 28, 11-12 AM (0)
Nov 29, 12-1 AM (0)
Nov 29, 1-2 AM (0)
Nov 29, 2-3 AM (0)
Nov 29, 3-4 AM (0)
Nov 29, 4-5 AM (0)
Nov 29, 5-6 AM (0)
Nov 29, 6-7 AM (0)
Nov 29, 7-8 AM (0)
Nov 29, 8-9 AM (0)
Nov 29, 9-10 AM (0)
Nov 29, 10-11 AM (0)
Nov 29, 11-12 PM (0)
Nov 29, 12-1 PM (0)
Nov 29, 1-2 PM (0)
Nov 29, 2-3 PM (0)
Nov 29, 3-4 PM (0)
Nov 29, 4-5 PM (0)
Nov 29, 5-6 PM (0)
Nov 29, 6-7 PM (0)
Nov 29, 7-8 PM (0)
Nov 29, 8-9 PM (0)
Nov 29, 9-10 PM (0)
Nov 29, 10-11 PM (0)
Nov 29, 11-12 AM (0)
Nov 30, 12-1 AM (0)
Nov 30, 1-2 AM (0)
Nov 30, 2-3 AM (0)
Nov 30, 3-4 AM (0)
Nov 30, 4-5 AM (0)
Nov 30, 5-6 AM (0)
Nov 30, 6-7 AM (0)
Nov 30, 7-8 AM (0)
Nov 30, 8-9 AM (0)
Nov 30, 9-10 AM (0)
Nov 30, 10-11 AM (0)
Nov 30, 11-12 PM (0)
Nov 30, 12-1 PM (0)
Nov 30, 1-2 PM (0)
Nov 30, 2-3 PM (2)
Nov 30, 3-4 PM (0)
Nov 30, 4-5 PM (0)
Nov 30, 5-6 PM (0)
Nov 30, 6-7 PM (0)
Nov 30, 7-8 PM (0)
Nov 30, 8-9 PM (0)
Nov 30, 9-10 PM (0)
Nov 30, 10-11 PM (0)
Nov 30, 11-12 AM (0)
Dec 01, 12-1 AM (0)
Dec 01, 1-2 AM (0)
Dec 01, 2-3 AM (0)
Dec 01, 3-4 AM (0)
Dec 01, 4-5 AM (0)
Dec 01, 5-6 AM (0)
Dec 01, 6-7 AM (0)
Dec 01, 7-8 AM (0)
Dec 01, 8-9 AM (0)
Dec 01, 9-10 AM (0)
Dec 01, 10-11 AM (0)
Dec 01, 11-12 PM (0)
Dec 01, 12-1 PM (0)
Dec 01, 1-2 PM (0)
Dec 01, 2-3 PM (1)
Dec 01, 3-4 PM (0)
Dec 01, 4-5 PM (2)
Dec 01, 5-6 PM (0)
Dec 01, 6-7 PM (0)
Dec 01, 7-8 PM (0)
Dec 01, 8-9 PM (0)
Dec 01, 9-10 PM (0)
Dec 01, 10-11 PM (0)
Dec 01, 11-12 AM (0)
Dec 02, 12-1 AM (0)
Dec 02, 1-2 AM (0)
Dec 02, 2-3 AM (0)
Dec 02, 3-4 AM (0)
Dec 02, 4-5 AM (0)
Dec 02, 5-6 AM (0)
Dec 02, 6-7 AM (0)
Dec 02, 7-8 AM (0)
Dec 02, 8-9 AM (0)
Dec 02, 9-10 AM (0)
Dec 02, 10-11 AM (0)
Dec 02, 11-12 PM (0)
Dec 02, 12-1 PM (0)
Dec 02, 1-2 PM (1)
Dec 02, 2-3 PM (0)
Dec 02, 3-4 PM (0)
Dec 02, 4-5 PM (0)
Dec 02, 5-6 PM (0)
Dec 02, 6-7 PM (0)
Dec 02, 7-8 PM (0)
Dec 02, 8-9 PM (0)
Dec 02, 9-10 PM (0)
Dec 02, 10-11 PM (0)
Dec 02, 11-12 AM (0)
Dec 03, 12-1 AM (0)
Dec 03, 1-2 AM (0)
Dec 03, 2-3 AM (0)
Dec 03, 3-4 AM (0)
Dec 03, 4-5 AM (0)
Dec 03, 5-6 AM (0)
Dec 03, 6-7 AM (0)
Dec 03, 7-8 AM (0)
Dec 03, 8-9 AM (0)
Dec 03, 9-10 AM (0)
Dec 03, 10-11 AM (0)
Dec 03, 11-12 PM (0)
Dec 03, 12-1 PM (0)
Dec 03, 1-2 PM (0)
Dec 03, 2-3 PM (0)
Dec 03, 3-4 PM (0)
Dec 03, 4-5 PM (0)
Dec 03, 5-6 PM (0)
Dec 03, 6-7 PM (0)
Dec 03, 7-8 PM (0)
Dec 03, 8-9 PM (0)
Dec 03, 9-10 PM (0)
Dec 03, 10-11 PM (0)
Dec 03, 11-12 AM (0)
Dec 04, 12-1 AM (0)
Dec 04, 1-2 AM (0)
Dec 04, 2-3 AM (0)
Dec 04, 3-4 AM (0)
Dec 04, 4-5 AM (0)
Dec 04, 5-6 AM (0)
Dec 04, 6-7 AM (0)
Dec 04, 7-8 AM (0)
Dec 04, 8-9 AM (0)
Dec 04, 9-10 AM (0)
17 commits this week Nov 27, 2020 - Dec 04, 2020
testing infrastructure: separate the tests in several suites
Some tests are pretty long to run, namely the state machine and mantis
integration ones. On top of that, the mantis integration tests are
expecting the user to have all the Mantis binaries in $PATH, which
might not necessarily be the case.

We extract these tests into 3 tests suites:

- test: the "standard" one. It's meant to be run frequently. The tests
  are pretty fast to complete and do not require anything wild in $PATH.
- state-machine-tests: the state machine tests do not require anything
  wild in $PATH either, however, they are pretty long to complete (~4min).
- mantis-integration-tests: these integration tests require Mantis to
  be in $PATH on top of being pretty long to run (~2min).

We create a realease.nix job for each of these tests to make them run
on hydra.
testing infrastructure: separate the tests in several suites
Some tests are pretty long to run, namely the state machine and mantis
integration ones. On top of that, the mantis integration tests are
expecting the user to have all the Mantis binaries in $PATH, which
might not necessarily be the case.

We extract these tests into 3 tests suites:

- test: the "standard" one. It's meant to be run frequently. The tests
  are pretty fast to complete and do not require anything wild in $PATH.
- state-machine-tests: the state machine tests do not require anything
  wild in $PATH either, however, they are pretty long to complete (~4min).
- mantis-integration-tests: these integration tests require Mantis to
  be in $PATH on top of being pretty long to run (~2min).

We create a realease.nix job for each of these tests to make them run
on hydra.
Property testing: add mantis integration test.
We add an integration test testing the signature format with the real
Mantis parser.

We inject the "signatureValidator" CLI tool coming from mantis through
Nix.

Note: these tests are pretty long to run (~2s/iteration). They also
require the user to have Mantis to their $PATH to correctly run. We
probably should extract them to their own cabal target.
Property testing: add mantis integration test.
We add an integration test testing the signature format with the real
Mantis parser.

We inject the "signatureValidator" CLI tool coming from mantis through
Nix.

Note: these tests are pretty long to run (~2s/iteration). They also
require the user to have Mantis to their $PATH to correctly run. We
probably should extract them to their own cabal target.