Test results for amd64, dali, crypto_sign/picnicl3full

[Page version: 20250427 16:12:28]

Compiler output

KeccakSpongetimes4.c: In file included from KeccakSpongetimes4.c:31:
KeccakSpongetimes4.c: ./KeccakSpongetimes4.inc:45:25: warning: incompatible pointer types passing 'unsigned char [800]' to parameter of type 'KeccakP1600times4_states *' (aka 'KeccakP1600times4_SIMD256_states *') [-Wincompatible-pointer-types]
KeccakSpongetimes4.c:     PlSnP_InitializeAll(instance->state);
KeccakSpongetimes4.c:                         ^~~~~~~~~~~~~~~
KeccakSpongetimes4.c: .../supercop-data/dali/amd64/include/libkeccak.a.headers/KeccakP-1600-times4-SnP.h:42:64: note: passing argument to parameter 'states' here
KeccakSpongetimes4.c: void KeccakP1600times4_InitializeAll(KeccakP1600times4_states *states);
KeccakSpongetimes4.c:                                                                ^
KeccakSpongetimes4.c: In file included from KeccakSpongetimes4.c:31:
KeccakSpongetimes4.c: ./KeccakSpongetimes4.inc:87:40: warning: incompatible pointer types passing 'unsigned char [800]' to parameter of type 'KeccakP1600times4_states *' (aka 'KeccakP1600times4_SIMD256_states *') [-Wincompatible-pointer-types]
KeccakSpongetimes4.c:                         PlSnP_AddBytes(instance->state, instanceIndex, curData[instanceIndex], 0, rateInBytes);
KeccakSpongetimes4.c:                                        ^~~~~~~~~~~~~~~
KeccakSpongetimes4.c: .../supercop-data/dali/amd64/include/libkeccak.a.headers/KeccakP-1600-times4-SnP.h:45:59: note: passing argument to parameter 'states' here
KeccakSpongetimes4.c: void KeccakP1600times4_AddBytes(KeccakP1600times4_states *states, unsigned int instanceIndex, const unsigned char *data, unsigned int offset, unsigned int length);
KeccakSpongetimes4.c:                                                           ^
KeccakSpongetimes4.c: In file included from KeccakSpongetimes4.c:31:
KeccakSpongetimes4.c: ./KeccakSpongetimes4.inc:90:35: warning: incompatible pointer types passing 'unsigned char [800]' to parameter of type 'KeccakP1600times4_states *' (aka 'KeccakP1600times4_SIMD256_states *') [-Wincompatible-pointer-types]
KeccakSpongetimes4.c:                     PlSnP_Permute(instance->state);
KeccakSpongetimes4.c:                                   ^~~~~~~~~~~~~~~
KeccakSpongetimes4.c: .../supercop-data/dali/amd64/include/libkeccak.a.headers/KeccakP-1600-times4-SnP.h:53:70: note: passing argument to parameter 'states' here
KeccakSpongetimes4.c: void KeccakP1600times4_PermuteAll_24rounds(KeccakP1600times4_states *states);
KeccakSpongetimes4.c:                                                                      ^
KeccakSpongetimes4.c: In file included from KeccakSpongetimes4.c:31:
KeccakSpongetimes4.c: ./KeccakSpongetimes4.inc:105:32: warning: incompatible pointer types passing 'unsigned char [800]' to parameter of type 'KeccakP1600times4_states *' (aka 'KeccakP1600times4_SIMD256_states *') [-Wincompatible-pointer-types]
KeccakSpongetimes4.c:                 PlSnP_AddBytes(instance->state, instanceIndex, curData[instanceIndex], instance->byteIOIndex, partialBlock);
KeccakSpongetimes4.c:                                ^~~~~~~~~~~~~~~
KeccakSpongetimes4.c: ...

Compiler output

KeccakSpongetimes4.c: In file included from KeccakSpongetimes4.c:31:
KeccakSpongetimes4.c: KeccakSpongetimes4.inc: In function 'KeccakWidth1600times4_SpongeInitialize':
KeccakSpongetimes4.c: KeccakSpongetimes4.inc:45:33: warning: passing argument 1 of 'KeccakP1600times4_InitializeAll' from incompatible pointer type [-Wincompatible-pointer-types]
KeccakSpongetimes4.c:    45 |     PlSnP_InitializeAll(instance->state);
KeccakSpongetimes4.c:       |                         ~~~~~~~~^~~~~~~
KeccakSpongetimes4.c:       |                                 |
KeccakSpongetimes4.c:       |                                 unsigned char *
KeccakSpongetimes4.c: In file included from KeccakSpongetimes4.h:43,
KeccakSpongetimes4.c:                  from KeccakSpongetimes4.c:14:
KeccakSpongetimes4.c: .../supercop-data/dali/amd64/include/libkeccak.a.headers/KeccakP-1600-times4-SnP.h:42:64: note: expected 'KeccakP1600times4_states *' {aka 'KeccakP1600times4_SIMD256_states *'} but argument is of type 'unsigned char *'
KeccakSpongetimes4.c:    42 | void KeccakP1600times4_InitializeAll(KeccakP1600times4_states *states);
KeccakSpongetimes4.c:       |                                      ~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~
KeccakSpongetimes4.c: In file included from KeccakSpongetimes4.c:31:
KeccakSpongetimes4.c: KeccakSpongetimes4.inc: In function 'KeccakWidth1600times4_SpongeAbsorb':
KeccakSpongetimes4.c: KeccakSpongetimes4.inc:87:48: warning: passing argument 1 of 'KeccakP1600times4_AddBytes' from incompatible pointer type [-Wincompatible-pointer-types]
KeccakSpongetimes4.c:    87 |                         PlSnP_AddBytes(instance->state, instanceIndex, curData[instanceIndex], 0, rateInBytes);
KeccakSpongetimes4.c:       |                                        ~~~~~~~~^~~~~~~
KeccakSpongetimes4.c:       |                                                |
KeccakSpongetimes4.c:       |                                                unsigned char *
KeccakSpongetimes4.c: In file included from KeccakSpongetimes4.h:43,
KeccakSpongetimes4.c:                  from KeccakSpongetimes4.c:14:
KeccakSpongetimes4.c: .../supercop-data/dali/amd64/include/libkeccak.a.headers/KeccakP-1600-times4-SnP.h:45:59: note: expected 'KeccakP1600times4_states *' {aka 'KeccakP1600times4_SIMD256_states *'} but argument is of type 'unsigned char *'
KeccakSpongetimes4.c:    45 | void KeccakP1600times4_AddBytes(KeccakP1600times4_states *states, unsigned int instanceIndex, const unsigned char *data, unsigned int offset, unsigned int length);
KeccakSpongetimes4.c:       |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~
KeccakSpongetimes4.c: In file included from KeccakSpongetimes4.c:31:
KeccakSpongetimes4.c: ...

Compiler output

hash.c: hash.c:23:16: warning: unused variable 'ret' [-Wunused-variable]
hash.c:     HashReturn ret = Keccak_HashUpdate(ctx, data, byteLen * 8);
hash.c:                ^
hash.c: hash.c:42:16: warning: unused variable 'ret' [-Wunused-variable]
hash.c:     HashReturn ret = Keccak_HashFinal(ctx, NULL);
hash.c:                ^
hash.c: hash.c:48:16: warning: unused variable 'ret' [-Wunused-variable]
hash.c:     HashReturn ret = Keccak_HashSqueeze(ctx, digest, byteLen * 8);
hash.c:                ^
hash.c: 3 warnings generated.

Compiler output

hash.c: hash.c: In function 'HashUpdate':
hash.c: hash.c:23:16: warning: unused variable 'ret' [-Wunused-variable]
hash.c:    23 |     HashReturn ret = Keccak_HashUpdate(ctx, data, byteLen * 8);
hash.c:       |                ^~~
hash.c: hash.c: In function 'HashFinal':
hash.c: hash.c:42:16: warning: unused variable 'ret' [-Wunused-variable]
hash.c:    42 |     HashReturn ret = Keccak_HashFinal(ctx, NULL);
hash.c:       |                ^~~
hash.c: hash.c: In function 'HashSqueeze':
hash.c: hash.c:48:16: warning: unused variable 'ret' [-Wunused-variable]
hash.c:    48 |     HashReturn ret = Keccak_HashSqueeze(ctx, digest, byteLen * 8);
hash.c:       |                ^~~

Namespace violations

KeccakHashtimes4.o Keccak_HashFinaltimes4 T
KeccakHashtimes4.o Keccak_HashInitializetimes4 T
KeccakHashtimes4.o Keccak_HashSqueezetimes4 T
KeccakHashtimes4.o Keccak_HashUpdatetimes4 T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeAbsorb T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeAbsorbLastFewBits T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeInitialize T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeSqueeze T
compat.o picnic_explicit_bzero T
compat.o picnic_timingsafe_bcmp T
io.o mzd_from_char_array T
io.o mzd_to_char_array T
lowmc.o lowmc_compute T
lowmc.o lowmc_record_state T
lowmc_192_192_4.o lowmc_192_192_4 D
mpc_lowmc.o get_zkbpp_lowmc_implementation T
mpc_lowmc.o get_zkbpp_lowmc_verify_implementation T
mpc_lowmc.o get_zkbpp_share_implentation T
mzd_additional.o mzd_addmul_v_s128_128 T
mzd_additional.o mzd_addmul_v_s128_129 T
mzd_additional.o mzd_addmul_v_s128_192 T
mzd_additional.o mzd_addmul_v_s128_256 T
mzd_additional.o mzd_addmul_v_s256_128 T
mzd_additional.o mzd_addmul_v_s256_129 T
mzd_additional.o mzd_addmul_v_s256_192 T
mzd_additional.o mzd_addmul_v_s256_256 T
mzd_additional.o mzd_addmul_v_uint64_128 T
mzd_additional.o mzd_addmul_v_uint64_129 T
mzd_additional.o mzd_addmul_v_uint64_192 T
mzd_additional.o mzd_addmul_v_uint64_256 T
mzd_additional.o mzd_and_s128_128 T
mzd_additional.o mzd_and_s128_256 T
mzd_additional.o mzd_and_s256_128 T
mzd_additional.o mzd_and_s256_256 T
mzd_additional.o mzd_and_uint64_128 T
mzd_additional.o mzd_and_uint64_192 T
mzd_additional.o mzd_and_uint64_256 T
mzd_additional.o mzd_copy_s128_128 T
mzd_additional.o mzd_copy_s128_256 T
mzd_additional.o mzd_copy_s256_128 T
mzd_additional.o mzd_copy_s256_256 T
mzd_additional.o mzd_copy_uint64_128 T
mzd_additional.o mzd_copy_uint64_192 T
mzd_additional.o mzd_copy_uint64_256 T
mzd_additional.o mzd_local_init_ex T
mzd_additional.o mzd_mul_v_s128_128 T
mzd_additional.o mzd_mul_v_s128_129 T
mzd_additional.o mzd_mul_v_s128_192 T
mzd_additional.o mzd_mul_v_s128_256 T
mzd_additional.o mzd_mul_v_s256_128 T
mzd_additional.o mzd_mul_v_s256_129 T
mzd_additional.o mzd_mul_v_s256_192 T
mzd_additional.o mzd_mul_v_s256_256 T
mzd_additional.o mzd_mul_v_uint64_128 T
mzd_additional.o mzd_mul_v_uint64_129 T
mzd_additional.o mzd_mul_v_uint64_192 T
mzd_additional.o mzd_mul_v_uint64_256 T
mzd_additional.o mzd_shift_left_uint64_128 T
mzd_additional.o mzd_shift_left_uint64_192 T
mzd_additional.o mzd_shift_left_uint64_256 T
mzd_additional.o mzd_shift_right_uint64_128 T
mzd_additional.o mzd_shift_right_uint64_192 T
mzd_additional.o mzd_shift_right_uint64_256 T
mzd_additional.o mzd_xor_s128_128 T
mzd_additional.o mzd_xor_s128_256 T
mzd_additional.o mzd_xor_s256_1024 T
mzd_additional.o mzd_xor_s256_128 T
mzd_additional.o mzd_xor_s256_1280 T
mzd_additional.o mzd_xor_s256_256 T
mzd_additional.o mzd_xor_s256_768 T
mzd_additional.o mzd_xor_uint64_128 T
mzd_additional.o mzd_xor_uint64_192 T
mzd_additional.o mzd_xor_uint64_256 T
picnic.o picnic_clear_private_key T
picnic.o picnic_get_lowmc_block_size T
picnic.o picnic_get_param_name T
picnic.o picnic_get_private_key_param T
picnic.o picnic_get_private_key_size T
picnic.o picnic_get_public_key_param T
picnic.o picnic_get_public_key_size T
picnic.o picnic_keygen T
picnic.o picnic_read_private_key T
picnic.o picnic_read_public_key T
picnic.o picnic_sign T
picnic.o picnic_signature_size T
picnic.o picnic_sk_to_pk T
picnic.o picnic_validate_keypair T
picnic.o picnic_verify T
picnic.o picnic_write_private_key T
picnic.o picnic_write_public_key T
picnic_impl.o picnic_impl_sign T
picnic_impl.o picnic_impl_verify T
picnic_instances.o picnic_instance_get T
randomness.o rand_bits T

Namespace violations

KeccakHashtimes4.o Keccak_HashFinaltimes4 T
KeccakHashtimes4.o Keccak_HashInitializetimes4 T
KeccakHashtimes4.o Keccak_HashSqueezetimes4 T
KeccakHashtimes4.o Keccak_HashUpdatetimes4 T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeAbsorb T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeAbsorbLastFewBits T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeInitialize T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeSqueeze T
compat.o picnic_explicit_bzero T
compat.o picnic_timingsafe_bcmp T
io.o mzd_from_char_array T
io.o mzd_to_char_array T
lowmc.o lowmc_compute T
lowmc.o lowmc_record_state T
lowmc_192_192_4.o lowmc_192_192_4 D
mpc_lowmc.o get_zkbpp_lowmc_implementation T
mpc_lowmc.o get_zkbpp_lowmc_verify_implementation T
mpc_lowmc.o get_zkbpp_share_implentation T
mzd_additional.o mzd_addmul_v_uint64_128 T
mzd_additional.o mzd_addmul_v_uint64_129 T
mzd_additional.o mzd_addmul_v_uint64_192 T
mzd_additional.o mzd_addmul_v_uint64_256 T
mzd_additional.o mzd_and_uint64_128 T
mzd_additional.o mzd_and_uint64_192 T
mzd_additional.o mzd_and_uint64_256 T
mzd_additional.o mzd_copy_uint64_128 T
mzd_additional.o mzd_copy_uint64_192 T
mzd_additional.o mzd_copy_uint64_256 T
mzd_additional.o mzd_local_init_ex T
mzd_additional.o mzd_mul_v_uint64_128 T
mzd_additional.o mzd_mul_v_uint64_129 T
mzd_additional.o mzd_mul_v_uint64_192 T
mzd_additional.o mzd_mul_v_uint64_256 T
mzd_additional.o mzd_shift_left_uint64_128 T
mzd_additional.o mzd_shift_left_uint64_192 T
mzd_additional.o mzd_shift_left_uint64_256 T
mzd_additional.o mzd_shift_right_uint64_128 T
mzd_additional.o mzd_shift_right_uint64_192 T
mzd_additional.o mzd_shift_right_uint64_256 T
mzd_additional.o mzd_xor_uint64_128 T
mzd_additional.o mzd_xor_uint64_192 T
mzd_additional.o mzd_xor_uint64_256 T
picnic.o picnic_clear_private_key T
picnic.o picnic_get_lowmc_block_size T
picnic.o picnic_get_param_name T
picnic.o picnic_get_private_key_param T
picnic.o picnic_get_private_key_size T
picnic.o picnic_get_public_key_param T
picnic.o picnic_get_public_key_size T
picnic.o picnic_keygen T
picnic.o picnic_read_private_key T
picnic.o picnic_read_public_key T
picnic.o picnic_sign T
picnic.o picnic_signature_size T
picnic.o picnic_sk_to_pk T
picnic.o picnic_validate_keypair T
picnic.o picnic_verify T
picnic.o picnic_write_private_key T
picnic.o picnic_write_public_key T
picnic_impl.o picnic_impl_sign T
picnic_impl.o picnic_impl_verify T
picnic_instances.o picnic_instance_get T
randomness.o rand_bits T

Namespace violations

KeccakHashtimes4.o Keccak_HashFinaltimes4 T
KeccakHashtimes4.o Keccak_HashInitializetimes4 T
KeccakHashtimes4.o Keccak_HashSqueezetimes4 T
KeccakHashtimes4.o Keccak_HashUpdatetimes4 T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeAbsorb T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeAbsorbLastFewBits T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeInitialize T
KeccakSpongetimes4.o KeccakWidth1600times4_SpongeSqueeze T
compat.o picnic_explicit_bzero T
compat.o picnic_timingsafe_bcmp T
io.o mzd_from_char_array T
io.o mzd_to_char_array T
lowmc.o lowmc_compute T
lowmc.o lowmc_record_state T
lowmc_192_192_4.o lowmc_192_192_4 D
mpc_lowmc.o get_zkbpp_lowmc_implementation T
mpc_lowmc.o get_zkbpp_lowmc_verify_implementation T
mpc_lowmc.o get_zkbpp_share_implentation T
mzd_additional.o mzd_addmul_v_s128_128 T
mzd_additional.o mzd_addmul_v_s128_129 T
mzd_additional.o mzd_addmul_v_s128_192 T
mzd_additional.o mzd_addmul_v_s128_256 T
mzd_additional.o mzd_addmul_v_uint64_128 T
mzd_additional.o mzd_addmul_v_uint64_129 T
mzd_additional.o mzd_addmul_v_uint64_192 T
mzd_additional.o mzd_addmul_v_uint64_256 T
mzd_additional.o mzd_and_s128_128 T
mzd_additional.o mzd_and_s128_256 T
mzd_additional.o mzd_and_uint64_128 T
mzd_additional.o mzd_and_uint64_192 T
mzd_additional.o mzd_and_uint64_256 T
mzd_additional.o mzd_copy_s128_128 T
mzd_additional.o mzd_copy_s128_256 T
mzd_additional.o mzd_copy_uint64_128 T
mzd_additional.o mzd_copy_uint64_192 T
mzd_additional.o mzd_copy_uint64_256 T
mzd_additional.o mzd_local_init_ex T
mzd_additional.o mzd_mul_v_s128_128 T
mzd_additional.o mzd_mul_v_s128_129 T
mzd_additional.o mzd_mul_v_s128_192 T
mzd_additional.o mzd_mul_v_s128_256 T
mzd_additional.o mzd_mul_v_uint64_128 T
mzd_additional.o mzd_mul_v_uint64_129 T
mzd_additional.o mzd_mul_v_uint64_192 T
mzd_additional.o mzd_mul_v_uint64_256 T
mzd_additional.o mzd_shift_left_uint64_128 T
mzd_additional.o mzd_shift_left_uint64_192 T
mzd_additional.o mzd_shift_left_uint64_256 T
mzd_additional.o mzd_shift_right_uint64_128 T
mzd_additional.o mzd_shift_right_uint64_192 T
mzd_additional.o mzd_shift_right_uint64_256 T
mzd_additional.o mzd_xor_s128_128 T
mzd_additional.o mzd_xor_s128_256 T
mzd_additional.o mzd_xor_uint64_128 T
mzd_additional.o mzd_xor_uint64_192 T
mzd_additional.o mzd_xor_uint64_256 T
picnic.o picnic_clear_private_key T
picnic.o picnic_get_lowmc_block_size T
picnic.o picnic_get_param_name T
picnic.o picnic_get_private_key_param T
picnic.o picnic_get_private_key_size T
picnic.o picnic_get_public_key_param T
picnic.o picnic_get_public_key_size T
picnic.o picnic_keygen T
picnic.o picnic_read_private_key T
picnic.o picnic_read_public_key T
picnic.o picnic_sign T
picnic.o picnic_signature_size T
picnic.o picnic_sk_to_pk T
picnic.o picnic_validate_keypair T
picnic.o picnic_verify T
picnic.o picnic_write_private_key T
picnic.o picnic_write_public_key T
picnic_impl.o picnic_impl_sign T
picnic_impl.o picnic_impl_verify T
picnic_instances.o picnic_instance_get T
randomness.o rand_bits T

Namespace violations

api.o params D
hash.o HashFinal T
hash.o HashInit T
hash.o HashSqueeze T
hash.o HashUpdate T
hash.o HashUpdateIntLE T
hash.o fromLittleEndian T
hash.o toLittleEndian T
lowmc_constants.o KMatrix T
lowmc_constants.o KMatrixInv T
lowmc_constants.o LMatrix T
lowmc_constants.o LMatrixInv T
lowmc_constants.o RConstant T
picnic.o get_param_set T
picnic.o get_transform T
picnic.o is_picnic3 T
picnic.o picnic_get_param_name T
picnic.o picnic_keygen T
picnic.o picnic_read_private_key T
picnic.o picnic_read_public_key T
picnic.o picnic_sign T
picnic.o picnic_signature_size T
picnic.o picnic_validate_keypair T
picnic.o picnic_verify T
picnic.o picnic_write_private_key T
picnic.o picnic_write_public_key T
picnic.o print_signature T
picnic3_impl.o ceil_log2 T
picnic3_impl.o deserializeSignature2 T
picnic3_impl.o serializeSignature2 T
picnic3_impl.o sign_picnic3 T
picnic3_impl.o verify_picnic3 T
picnic_impl.o Commit T
picnic_impl.o G T
picnic_impl.o H3 T
picnic_impl.o LowMCEnc T
picnic_impl.o arePaddingBitsZero T
picnic_impl.o computeSeeds T
picnic_impl.o createRandomTape T
picnic_impl.o deserializeSignature T
picnic_impl.o getBit T
picnic_impl.o getBitFromWordArray T
picnic_impl.o getChallenge T
picnic_impl.o matrix_mul T
picnic_impl.o mpc_AND T
picnic_impl.o mpc_AND_verify T
picnic_impl.o mpc_LowMC T
picnic_impl.o mpc_LowMC_verify T
picnic_impl.o mpc_matrix_mul T
picnic_impl.o mpc_substitution T
picnic_impl.o mpc_substitution_verify T
picnic_impl.o mpc_xor T
picnic_impl.o mpc_xor_constant T
picnic_impl.o mpc_xor_constant_verify T
picnic_impl.o numBytes T
picnic_impl.o parity T
picnic_impl.o printHex T
picnic_impl.o prove T
picnic_impl.o random_bytes_supercop T
picnic_impl.o serializeSignature T
picnic_impl.o setBit T
picnic_impl.o setBitInWordArray T
picnic_impl.o setChallenge T
picnic_impl.o sign_picnic1 T
picnic_impl.o verify T
picnic_impl.o verifyProof T
picnic_impl.o xor_array T
picnic_impl.o xor_three T
picnic_impl.o zeroTrailingBits T
picnic_types.o allocateCommitments T
picnic_types.o allocateCommitments2 T
picnic_types.o allocateGCommitments T
picnic_types.o allocateInputs T
picnic_types.o allocateMsgs T
picnic_types.o allocateProof T
picnic_types.o allocateProof2 T
picnic_types.o allocateRandomTape T
picnic_types.o allocateSeeds T
picnic_types.o allocateShares T
picnic_types.o allocateSignature T
picnic_types.o allocateSignature2 T
picnic_types.o allocateView T
picnic_types.o allocateViews T
picnic_types.o freeCommitments T
picnic_types.o freeCommitments2 T
picnic_types.o freeGCommitments T
picnic_types.o freeInputs T
picnic_types.o freeMsgs T
picnic_types.o freeProof T
picnic_types.o freeProof2 T
picnic_types.o freeRandomTape T
picnic_types.o freeSeeds T
picnic_types.o freeShares T
picnic_types.o freeSignature T
picnic_types.o freeSignature2 T
picnic_types.o freeView T
picnic_types.o freeViews T
picnic_types.o getTapeSizeBytes T
tree.o addMerkleNodes T
tree.o buildMerkleTree T
tree.o createTree T
tree.o exists T
tree.o expandSeeds T
tree.o freeTree T
tree.o generateSeeds T
tree.o getLeaf T
tree.o getLeaves T
tree.o getParent T
tree.o getSibling T
tree.o hasLeftChild T
tree.o hasRightChild T
tree.o hasSibling T
tree.o hashSeed T
tree.o isLeafNode T
tree.o isLeftChild T
tree.o openMerkleTree T
tree.o openMerkleTreeSize T
tree.o printLeaves T
tree.o printSeeds T
tree.o reconstructSeeds T
tree.o revealSeeds T
tree.o revealSeedsSize T
tree.o verifyMerkleTree T

Passed TIMECOP

TIMECOP iterations: 10