reasons for failing tests

This commit is contained in:
Suzanne Dupéron 2020-06-17 23:18:58 +01:00
parent 283dcf418a
commit 1cc64d6812

View File

@ -2403,16 +2403,16 @@ let loop_bugs_ligo () : (unit, _) result =
ok ()
let main = test_suite "Integration (End to End)" [
test "bytes unpack" bytes_unpack ;
test "bytes unpack (mligo)" bytes_unpack_mligo ;
test "bytes unpack (religo)" bytes_unpack_religo ;
test "key hash" key_hash ;
test "key hash (mligo)" key_hash_mligo ;
test "key hash (religo)" key_hash_religo ;
test "check signature" check_signature ;
test "check signature (mligo)" check_signature_mligo ;
test "check signature (religo)" check_signature_religo ;
test "chain id" chain_id ;
test "chain id" chain_id ; (* record *)
test "bytes unpack" bytes_unpack ; (* record *)
test "bytes unpack (mligo)" bytes_unpack_mligo ; (* record *)
test "bytes unpack (religo)" bytes_unpack_religo ; (* record *)
test "key hash" key_hash ; (* C_access_label *)
test "key hash (mligo)" key_hash_mligo ; (* C_access_label *)
test "key hash (religo)" key_hash_religo ; (* C_access_label *)
test "check signature" check_signature ; (* C_access_label *)
test "check signature (mligo)" check_signature_mligo ; (* C_access_label *)
test "check signature (religo)" check_signature_religo ; (* C_access_label *)
test "type alias" type_alias ;
test "function" function_ ;
test "blockless function" blockless;