gistfile1.txt

4> eqc:module({testing_budget, 300}, enacl_eqc).
prop_box_keypair: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000).......................................(x1000).......(x100).(x10)....(x1).......
Time limit reached: 10.714 seconds.

OK, passed 508247 tests
prop_box_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....(x100).....(x10)......(x1)......
Time limit reached: 10.714 seconds.

OK, passed 15666 tests
prop_box_failure_integrity: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000).....(x100)..(x10)..(x1)...
Time limit reached: 10.714 seconds.

OK, passed 16323 tests
prop_seal_box_failure_integrity: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000).....(x100).......(x10).....(x1)..
Time limit reached: 10.714 seconds.

OK, passed 16852 tests
prop_seal_box_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)...(x100)........(x10)..(x1).
Time limit reached: 10.714 seconds.

OK, passed 14921 tests
prop_beforenm_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000)..............(x1000).........(x100)...(x10)....(x1)....
Time limit reached: 10.714 seconds.

OK, passed 260444 tests
prop_afternm_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....(x10)...(x1)......
Time limit reached: 10.714 seconds.

OK, passed 15136 tests
prop_sign_keypair: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000).........................(x1000).......(x100)......(x10)........(x1)........
Time limit reached: 10.714 seconds.

OK, passed 368788 tests
prop_sign_detached: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)...(x100)........(x10)...(x1)...
Time limit reached: 10.714 seconds.

OK, passed 14933 tests
prop_sign: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)...(x100)....(x10).....(x1).......
Time limit reached: 10.714 seconds.

OK, passed 14557 tests
prop_sign_detached_open: ....................................................................................................(x10)....................................................................................................(x100).(x10).....(x1)......
Time limit reached: 10.714 seconds.

OK, passed 1256 tests
prop_sign_open: ....................................................................................................(x10)....................................................................................................(x100).....(x10).........(x1)....
Time limit reached: 10.714 seconds.

OK, passed 1694 tests
prop_key_sizes: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000)..........................................................................(x1000)......(x100)........(x10).....(x1).
Time limit reached: 10.714 seconds.

OK, passed 857951 tests
prop_nonce_sizes: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000).........................................................................................................(x1000)..(x100)........(x10)...(x1).......
Time limit reached: 10.714 seconds.

OK, passed 1163937 tests
prop_secretbox_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)...(x100).....(x10)..(x1)......
Time limit reached: 10.714 seconds.

OK, passed 14626 tests
prop_secretbox_failure_integrity: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)...(x100)....(x10)........
Time limit reached: 10.714 seconds.

OK, passed 14580 tests
prop_stream_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000)...(x1000).........(x100).(x10).....(x1)......
Time limit reached: 10.714 seconds.

OK, passed 150256 tests
prop_stream_xor_correct: ....................................................................................................(x10)....................................................................................................(x100).............................(x10)..(x1).....
Time limit reached: 10.714 seconds.

OK, passed 4025 tests
prop_auth_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)...(x100)......(x10)......(x1).......
Time limit reached: 10.714 seconds.

OK, passed 14767 tests
prop_auth_verify_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)..(x100).......(x10).........(x1)......
Time limit reached: 10.714 seconds.

OK, passed 13896 tests
prop_onetimeauth_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)...(x100).....(x10)..(x1)...
Time limit reached: 10.714 seconds.

OK, passed 14623 tests
prop_onetime_auth_verify_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)..(x100).......(x10)........(x1).........
Time limit reached: 10.714 seconds.

OK, passed 13889 tests
prop_crypto_hash_eq: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)...(x100).(x10)..(x1)..
Time limit reached: 10.714 seconds.

OK, passed 14222 tests
prop_crypto_hash_neq: ....................................................................................................(x10)....................................................................................................(x100)..............................................................(x10)....
Time limit reached: 10.714 seconds.

OK, passed 7340 tests
prop_verify_16: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000)...........................(x1000)....(x100).......(x10).........(x1).......
Time limit reached: 10.714 seconds.

OK, passed 385897 tests
prop_verify_32: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000).......(x100).......(x10).......(x1).....
Time limit reached: 10.714 seconds.

OK, passed 181875 tests
prop_randombytes: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000)...........................................................(x1000).......(x10)......(x1)..
Time limit reached: 10.714 seconds.

OK, passed 708162 tests
prop_scramble_block: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000).................................................(x1000).........(x100)......(x10)...(x1).......
Time limit reached: 10.714 seconds.

OK, passed 610737 tests
[]
5>