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
-
lib_base/test
(!6760 (closed), !7697 (merged) , @abate) -
lib_base/test_helpers
( !7697 (merged) ) -
lib_base/unix/test
(!6760 (closed)!7697 (merged), @abate) -
lib_benchmark/lib_micheline_rewriting/test
(!8218 (merged), @lykimquyen) -
lib_benchmark/test
(!7688 (merged), @abate) -
lib_clic/test
(!7575 (merged), @arvidnl) -
lib_context/memory/test
(@abate, !7749 (merged)) -
lib_context/test
( @abate,!7749 (merged) ) -
lib_error_monad/test
(!6760 (closed), @abate, !7689 (merged)) -
lib_lwt_result_stdlib/test
(@abate, !7691 (merged)) -
lib_mockup/test
(@abate, !7708 (merged)) -
lib_shell/test
(@arvidnl, !7789 (merged)) -
lib_signer_backends/test
(@arvidnl, !7785 (merged)) -
lib_signer_backends/unix/test
(@arvidnl, !7785 (merged)) -
lib_stdlib/test
(@arvidnl, !7674 (merged)) -
lib_stdlib/test-unix
(@arvidnl,!7590 (merged), !7674 (merged)) -
lib_stdlib_unix/test
(@arvidnl,!7590 (merged), !7674 (merged)) -
lib_tree_encoding/test
(@abate,!7590 (merged), !8204 (merged) ) -
lib_version/test
(@abate,!7590 (merged), !8202 (merged)) -
lib_workers/test
(@arvidnl, !7590 (merged)) -
lib_sapling/test
(@arvidnl, !7841 (merged)) -
lib_client_base_unix/test
(!7705 (merged), @abate) -
lib_protocol_environment/test_shell_context
(@lykimquyen, !7867 (merged)) -
lib_proxy_server_config/test
(@lykimquyen, !7868 (merged)) -
lib_requester/test
(@abate,!7898 (merged) ) -
lib_rpc_http/test
(@lykimquyen, !7869 (merged)) -
lib_shell_services/test
( @abate, !7896 (merged)) -
lib_shell_services/test_helpers
(@abate, !7896 (merged)) -
lib_shell_services/test_helpers/test
(@abate, !7896 (merged)) -
lib_protocol_environment/test
(@lykimquyen, !7866 (merged)) -
lib_client_base/test
(!7706 (merged), @abate) -
lib_crypto_dal/test
(!7577 (merged), @arvidnl) -
lib_crypto/test
(@!7576 (merged), @arvidnl) -
lib_crypto/test-unix
(!7576 (merged),@arvidnl) -
lib_dal_node/test
(!7577 (merged), @arvidnl) -
lib_event_logging/test_helpers
(@abate, !7997 (merged)) -
lib_layer2_store/test
(@abate, !7745 (merged)) -
lib_lazy_containers/test
(@abate, !7692 (merged)) -
lib_p2p/test
(@abate, !7794 (merged), !7997 (merged), !8428 (merged) ) -
lib_proxy/test
(@abate, !7840 (merged)) -
lib_webassembly/tests
(@abate, !7989 (merged)) -
lib_dac_node/test
(!8219 (merged), @lykimquyen) -
lib_bls12_381_polynomial/test
(!8223 (merged), @lykimquyen) -
lib_scoru_wasm/fast/test
(@abate, !7988 (merged)) -
lib_scoru_wasm/helpers
(@abate, !7988 (merged)) -
lib_scoru_wasm/test
(@abate, !7988 (merged)) -
lib_scoru_wasm/test/helpers
(@abate, !7988 (merged)) -
lib_store/unix/test
(@abate, !8291 (merged) ) -
lib_test
(@lykimquyen, !7940 (merged)) -
lib_hacl/test
(@abate, !7698 (merged))
Protocol tests
Estimate time of translation:
- !7677 (merged) (lib_client/test) 30 minutes
- !7678 (merged) (lib_benchmark/test) 30 minutes
- !7680 (merged) (lib_delegate/test) 30 minutes
- !7696 (merged) (lib_plugin/test) 30 minutes
- !7746 (merged) (integration/operations) 2 hours
- !7776 (merged) (lib_protocol/test/pbt) 2 hours
- !7712 (merged) (lib_protocol/test/helpers)
- !7892 (merged) (lib_protocol/consensus)
- !7893 (merged) (lib_protocol/gas)
- !7771 (merged) (test/integration) 1 hour
- !7721 (merged) (integration/michelson) 4 hours
- !7739 (merged) (integration/validate) 2 hours
- !7778 (merged) (test/unit) 2 hours
- !7723 (merged) lib_dal/test 30 minutes
- !7725 (merged) lib_dac/test 30 minutes
Tests:
-
proto_011_PtHangz2/lib_client/test
(@lykimquyen, !7677 (merged)) -
proto_012_Psithaca/lib_client/test
(@lykimquyen, !7677 (merged)) -
proto_013_PtJakart/lib_client/test
(@lykimquyen, !7677 (merged)) -
proto_014_PtKathma/lib_client/test
(@lykimquyen, !7677 (merged)) -
proto_015_PtLimaPt/lib_client/test
(@lykimquyen, !7677 (merged)) -
proto_016_PtMumbai/lib_client/test
(@lykimquyen, !7677 (merged)) -
proto_alpha/lib_client/test
(@lykimquyen, !7677 (merged)) -
proto_015_PtLimaPt/lib_benchmark/test
(@lykimquyen, !7678 (merged)) -
proto_016_PtMumbai/lib_benchmark/test
(@lykimquyen, !7678 (merged)) -
proto_alpha/lib_benchmark/test
(@lykimquyen, !7678 (merged)) -
proto_015_PtLimaPt/lib_delegate/test
(@lykimquyen, !7680 (merged)) -
proto_016_PtMumbai/lib_delegate/test
(@lykimquyen, !7680 (merged)) -
proto_alpha/lib_delegate/test
(@lykimquyen, !7680 (merged)) -
proto_015_PtLimaPt/lib_plugin/test
(@lykimquyen, !7696 (merged)) -
proto_016_PtMumbai/lib_plugin/test
(@lykimquyen, !7696 (merged)) -
proto_alpha/lib_plugin/test
(@lykimquyen, !7696 (merged)) -
proto_015_PtLimaPt/lib_protocol/test/integration/operations
(ETC: 2 hours) (@lykimquyen, !7746 (merged)) -
proto_016_PtMumbai/lib_protocol/test/integration/operations
(@lykimquyen, !7746 (merged)) -
proto_alpha/lib_protocol/test/integration/operations
(@lykimquyen, !7746 (merged)) -
proto_015_PtLimaPt/lib_protocol/test/pbt
(ETC: 2 hours) (@lykimquyen, !7776 (merged)) -
proto_016_PtMumbai/lib_protocol/test/pbt
(@lykimquyen, !7776 (merged)) -
proto_alpha/lib_protocol/test/pbt
(@lykimquyen, !7776 (merged)) -
proto_015_PtLimaPt/lib_protocol/test/helpers
(@lykimquyen, !7712 (merged)) -
proto_016_PtMumbai/lib_protocol/test/helpers
(@lykimquyen, !7712 (merged)) -
proto_alpha/lib_protocol/test/helpers
(@lykimquyen, !7712 (merged)) -
proto_015_PtLimaPt/lib_protocol/test/integration/consensus
(@lykimquyen,!7712 (merged), !7892 (merged) ) -
proto_016_PtMumbai/lib_protocol/test/integration/consensus
(@lykimquyen,!7712 (merged), !7892 (merged) ) -
proto_alpha/lib_protocol/test/integration/consensus
(@lykimquyen,!7712 (merged), !7892 (merged) ) -
proto_015_PtLimaPt/lib_protocol/test/integration
(ETC: 1 hour) (@lykimquyen , !7771 (merged)) -
proto_016_PtMumbai/lib_protocol/test/integration
(@lykimquyen , !7771 (merged)) -
proto_alpha/lib_protocol/test/integration
(@lykimquyen , !7771 (merged)) -
proto_015_PtLimaPt/lib_protocol/test/integration/gas
(@lykimquyen,!7712 (merged), !7893 (merged)) -
proto_016_PtMumbai/lib_protocol/test/integration/gas
(@lykimquyen,!7712 (merged), !7893 (merged)) -
proto_alpha/lib_protocol/test/integration/gas
(@lykimquyen,!7712 (merged), !7893 (merged)) -
proto_015_PtLimaPt/lib_protocol/test/integration/michelson
(@lykimquyen, !7721 (merged)) -
proto_016_PtMumbai/lib_protocol/test/integration/michelson
(@lykimquyen, !7721 (merged)) -
proto_alpha/lib_protocol/test/integration/michelson
(@lykimquyen, !7721 (merged)) -
proto_015_PtLimaPt/lib_protocol/test/integration/validate
(@lykimquyen, !7739 (merged)) -
proto_016_PtMumbai/lib_protocol/test/integration/validate
(@lykimquyen, !7739 (merged)) -
proto_alpha/lib_protocol/test/integration/validate
(@lykimquyen, !7739 (merged)) -
proto_015_PtLimaPt/lib_protocol/test/unit
(ETC: 2 hours) (@lykimquyen, !7778 (merged)) -
proto_016_PtMumbai/lib_protocol/test/unit
(@lykimquyen, !7778 (merged)) -
proto_alpha/lib_protocol/test/unit
(@lykimquyen, !7778 (merged)) -
proto_016_PtMumbai/lib_dal/test
(@lykimquyen , !7723 (merged)) -
proto_alpha/lib_dal/test
(@lykimquyen , !7723 (merged)) -
proto_alpha/lib_dac/test
(@lykimquyen, !7725 (merged))
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
Alcotest
module
Ported primitives from You might want to check here and copy paste before adding a new primitive:
All checked testables are implemented in !7655 (merged)
-
testable
(!6760 (closed)) -
testable
smart constructor (!7575 (merged), 346b75d2) -
pp
(!7576 (merged), f8332efc) -
equal
(!7576 (merged), f8332efc) -
bool
(!7576 (merged), 56d527c4) -
int
(#2ddf6ab1) -
int32
(@abate ) -
int64
(#2ddf6ab15462cbdcca8b38cf9be75a7b9883a010) -
float
(@abate) -
char
2820d3a1 -
string
(!6760 (closed)) -
bytes
(!7576 (merged), f09c9d25) -
unit
(@abate)(@lykimquyen, !7940 (merged)) -
list
(!7575 (merged)) -
slist
-
array
(@abate) -
option
(!7576 (merged), b9d321d1) -
result
(!6760 (closed)) -
pair
(@abate) -
triple
-
of_pp
(@lykimquyen, !7778 (merged)) -
pass
-
reject
-
neg
-
check
(!6760 (closed)) -
check'
(@abate) -
fail
(!6760 (closed)) -
failf
(!6760 (closed)) -
check_raises
(!7575 (merged))
Edited by pietro