Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

mirage-time is now a variant #229

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

mirage-time is now a variant

838b0ac
Select commit
Loading
Failed to load commit list.
Draft

mirage-time is now a variant #229

mirage-time is now a variant
838b0ac
Select commit
Loading
Failed to load commit list.
Cirrus CI / freebsd_eio failed May 7, 2024 in 9m 25s

Task Summary

Instruction test failed in 00:06

Details

✅ 00:01 clone
✅ 00:14 pkg_install
✅ 07:01 ocaml
✅ 01:59 pin_packages
❌ 00:06 test

opam exec -- dune runtest -p mirage-crypto,mirage-crypto-rng,mirage-crypto-rng-eio
[WARNING] Running as root is not recommended
(cd _build/default && /.opam/5.0.0/bin/ocamlc.opt -w -40 -g -bin-annot -I tests/.test_common_random.objs/byte -I /.opam/5.0.0/lib/cstruct -I /.opam/5.0.0/lib/eqaf -I /.opam/5.0.0/lib/eqaf/bigstring -I /.opam/5.0.0/lib/eqaf/cstruct -I /.opam/5.0.0/lib/randomconv -I rng/.mirage_crypto_rng.objs/public_cmi -I src/.mirage_crypto.objs/public_cmi -no-alias-deps -o tests/.test_common_random.objs/byte/test_common_random.cmo -c -impl tests/test_common_random.ml)
File "tests/test_common_random.ml", line 2, characters 52-78:
2 |   let ix = Randomconv.int ~bound:(Array.length arr) Mirage_crypto_rng.generate in
                                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type int -> Cstruct.t
       but an expression was expected of type int -> string
       Type Cstruct.t is not compatible with type string 
(cd _build/default/tests && ./test_entropy.exe)
test entropy OK
(cd _build/default/tests && ./test_eio_rng.exe)
32 bit random number: "\244\182\137\142=\222\133=(<W@{\186l\r\031\159\130\250\023\011\005\180\189*\150\194\002\029\023r"
16 bit random number: "\233D\171\014\b\211\007\031\162>\131\131I\144\148M"
(cd _build/default/tests && ./test_symmetric_runner.exe)
accel: XOR AES GHASH 
.......................................................................................................................................................................................
Ran: 183 tests in: 0.63 seconds.
OK
(cd _build/default/tests && ./test_eio_entropy_collection.exe)
reseeding: 00 08 42 f5 14 5b e6 0d  9d 13 01 c8 9d cc 3d ce
           f9 d1 83 d5 00 d8 4a d8  0e d9 f8 da d9 df c8 e5
           a7 e8 cd e9 ac ec d2 ed  ca f0 21 f2 7a f5 f7 f7
           17 fe 58 01 8c 03 19 09  ea 0a 82 0f f7 14 97 16
           9c 1a ba 1e 08 23 d1 27  c0 2d 87 30 7c 31 e0 33
           e8 39 f8 3c 98 3e b6 42  ec 46 84 4b f8 50 99 52
           b6 56 ec 5a 84 5f f9 64  b2 66 e8 6a 67 6f c3 74
           1a 76 5b 79 a7 7b 4d 81  68 83 c4 88 02 8a 43 8d
           5e 8f 89 94 97 95 14 98  76 98 6b 99 cf 9b a6 a1
           54 a4 ff a4 b8 a6 ee aa  86 af fb b4 b4 b6 ea ba
           82 bf f6 c4 97 c6 9c ca  b9 ce b1 02 ff 06 b0 0b
           6e 11 d2 13 c1 19 88 1c  7d 1d e1 1f e9 25 f9 28
           99 2a b7 2e 05 33 b6 37  74 3d d8 3f c7 45 a6 48
           cc 49 ab 4c 02 08 1e 74  c4 16 1e 04 e4 f8 03 80
           57 55 0d fe 58 67 84 86  61 29 88 c4 81 a6 50 7d
           b1 2a 80 57 07 b7 5a de  c3 b0 00 4c bf 19 a9 b1
           d4 54 1c 31 fb 24 47 91  29 20 93 2b d6 cc 3f 49
           66 95 d7 00 c2 fb 7a f4  ca f8 f4 57 9c 0f 43 f2
           30 d1 bf 3a 9b 15 5b 7f  b2 95 fd 76 13 37 56 c0
           dc e0 f6 82 fb ba eb 86  9c 50 a0 59 78 a7 87 53
           98 2d b8 4c c3 a8 4e ff  5c f4 4b d1 c7 6e 38 df
           af ba 97 3d b9 0b bb 14  f0 c3 e8 91 44 56 93 fe
           
accumulate: (src: [1] rdrand) f1 db 4e 67 e2 61 69 38
entropy sources: [1] rdrand [0] getrandom 
accumulate: (src: [0] getrandom) c0 ac 12 32 bd 7e a8 24
accumulate: (src: [1] rdrand) 81 48 9a bd 3d 04 ef cc
accumulate: (src: [1] rdrand) 53 80 02 91 7f bb fe fc