Alcotezt

Quarter 1 report on Alcotezt, in this report, I will show what we have been accomplished and what we need to be doing next.

People: Quyen, Arvid, Pietro

Alcotezt translation

  • Goal: The goal of alcotezt is to replace the dependence of alcotest and using the tezt. The wrap alcotezt was implemented to help this translation.
  • Expectation to finish is Mid-April.
  • Deliver: The translation can be split into two sections: for non-protocol tests and for protocol tests:
    • Non-protocol tests: 38/47 MRs (8 MRs left to be merged)
    • Protocol tests: 15/15 MRs
  • Note: most of the translation is strainghforward. The translation expose several flaky tests while running on Git CI. Some translation that is tricker like: p2p, lib_hacl.

Alcotezt-UX

  • Problems: because of the new translation raised confusion, error, etc. for the UX. This lead to the proposal to fix it.
  • Time expect to finish: no decide yet, but urgent
  • Deliver:
    • Alcotezt documentation: merged
    • modify tezt: add match, file, ~FILE, tags (in process)
    • fix broken invocation headers (in process)
    • readabilty of title (in process)
    • experiment with splitting tests (not started)
    • update again the invocation headers to make it more precise (not started)