Created
May 6, 2017 12:33
-
-
Save jlouis/e2871336a440c473a18f8177f423f37e to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment