[go: up one dir, main page]

Wrap alcotest suites with Alcotezt

Related to: #1265 (closed)

Builds on !6760 (closed).

In !6760 (closed), a Alcotest-compatibility layer is added to Tezt called "Alcotezt". This compatibility layer is a stepping-stone to rewriting all existing alcotests in tezt. See !6760 (closed) for a rationale of this approach.

This issue tracks the migration of existing alcotest suites into alcotezt:

Non-protocol tests

$ find src/ -iname dune -type f -exec grep -q alcotest \{\} \; -print | sort

Protocol tests

Estimate time of translation:

Tests:

Tests that have been added since the beginning of the Alcotezt project

  • src/lib_bls12_381_signature/test
  • src/lib_bls12_381_hash/test
  • src/lib_mec/test
  • src/lib_srs_extraction/test
  • src/lib_plonk/test
  • src/lib_distributed_plonk/test

Ported primitives from Alcotest module

You might want to check here and copy paste before adding a new primitive:

All checked testables are implemented in !7655 (merged)

Edited by pietro