[INFO] fetching crate ascon-prng 0.2.1...
[INFO] testing ascon-prng-0.2.1 against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_libc_patch_0
[INFO] extracting crate ascon-prng 0.2.1 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate ascon-prng 0.2.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate ascon-prng 0.2.1
[INFO] tweaked toml for crates.io crate ascon-prng 0.2.1 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate ascon-prng 0.2.1 on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate ascon-prng 0.2.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded escape8259 v0.5.3
[INFO] [stderr]   Downloaded ascon v0.4.0
[INFO] [stderr]   Downloaded libtest-mimic v0.8.1
[INFO] [stderr]   Downloaded condtype v1.3.0
[INFO] [stderr]   Downloaded divan-macros v0.1.17
[INFO] [stderr]   Downloaded divan v0.1.17
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1b2e504f959d004ae710706f27468e20504da98141885c781533a9af2f28d5fd
[INFO] running `Command { std: "docker" "start" "-a" "1b2e504f959d004ae710706f27468e20504da98141885c781533a9af2f28d5fd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1b2e504f959d004ae710706f27468e20504da98141885c781533a9af2f28d5fd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1b2e504f959d004ae710706f27468e20504da98141885c781533a9af2f28d5fd", kill_on_drop: false }`
[INFO] [stdout] 1b2e504f959d004ae710706f27468e20504da98141885c781533a9af2f28d5fd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] d18bd00db0f7604156b0659e298c5709ce20c13f857ece99cfa4e976d89125ef
[INFO] running `Command { std: "docker" "start" "-a" "d18bd00db0f7604156b0659e298c5709ce20c13f857ece99cfa4e976d89125ef", kill_on_drop: false }`
[INFO] [stderr]    Compiling ascon v0.4.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling ascon-prng v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.92s
[INFO] running `Command { std: "docker" "inspect" "d18bd00db0f7604156b0659e298c5709ce20c13f857ece99cfa4e976d89125ef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d18bd00db0f7604156b0659e298c5709ce20c13f857ece99cfa4e976d89125ef", kill_on_drop: false }`
[INFO] [stdout] d18bd00db0f7604156b0659e298c5709ce20c13f857ece99cfa4e976d89125ef
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--no-run" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] 60ae9a3587ec02d6cb67b9dd266920609eda5954e9e55782f2c6c44cb5816883
[INFO] running `Command { std: "docker" "start" "-a" "60ae9a3587ec02d6cb67b9dd266920609eda5954e9e55782f2c6c44cb5816883", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.93
[INFO] [stderr]    Compiling unicode-ident v1.0.15
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling bitflags v2.8.0
[INFO] [stderr]    Compiling linux-raw-sys v0.4.15
[INFO] [stderr]    Compiling colorchoice v1.0.3
[INFO] [stderr]    Compiling anstyle-query v1.1.2
[INFO] [stderr]    Compiling anstyle-parse v0.2.6
[INFO] [stderr]    Compiling anstyle v1.0.10
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.1
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling clap_lex v0.7.4
[INFO] [stderr]    Compiling serde v1.0.217
[INFO] [stderr]    Compiling serde_json v1.0.137
[INFO] [stderr]    Compiling anstream v0.6.18
[INFO] [stderr]    Compiling itoa v1.0.14
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]    Compiling escape8259 v0.5.3
[INFO] [stderr]    Compiling regex-lite v0.1.6
[INFO] [stderr]    Compiling condtype v1.3.0
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling quote v1.0.38
[INFO] [stderr]    Compiling terminal_size v0.4.1
[INFO] [stderr]    Compiling syn v2.0.96
[INFO] [stderr]    Compiling clap_builder v4.5.27
[INFO] [stderr]    Compiling serde_derive v1.0.217
[INFO] [stderr]    Compiling clap_derive v4.5.24
[INFO] [stderr]    Compiling divan-macros v0.1.17
[INFO] [stderr]    Compiling clap v4.5.27
[INFO] [stderr]    Compiling libtest-mimic v0.8.1
[INFO] [stderr]    Compiling divan v0.1.17
[INFO] [stderr]    Compiling hex v0.4.3
[INFO] [stderr]    Compiling ascon-prng v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 30.93s
[INFO] running `Command { std: "docker" "inspect" "60ae9a3587ec02d6cb67b9dd266920609eda5954e9e55782f2c6c44cb5816883", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "60ae9a3587ec02d6cb67b9dd266920609eda5954e9e55782f2c6c44cb5816883", kill_on_drop: false }`
[INFO] [stdout] 60ae9a3587ec02d6cb67b9dd266920609eda5954e9e55782f2c6c44cb5816883
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] e09fd4c2199cfaf200e687bbced401c62d1810d5f5e72ac84d1342cff5442f69
[INFO] running `Command { std: "docker" "start" "-a" "e09fd4c2199cfaf200e687bbced401c62d1810d5f5e72ac84d1342cff5442f69", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.12s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/ascon_prng-6893579700c8ccda)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test mac::tests::round_trip ... ok
[INFO] [stderr]      Running tests/mac.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/mac-c4a9ac350ab7fce2)
[INFO] [stdout] test prf::tests::xof ... ok
[INFO] [stdout] test prng::tests::verify ... ok
[INFO] [stdout] test prng::tests::verify_reseed ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1025 tests
[INFO] [stdout] test ascon_mac_1    ... ok
[INFO] [stdout] test ascon_mac_2    ... ok
[INFO] [stdout] test ascon_mac_3    ... ok
[INFO] [stdout] test ascon_mac_4    ... ok
[INFO] [stdout] test ascon_mac_5    ... ok
[INFO] [stdout] test ascon_mac_6    ... ok
[INFO] [stdout] test ascon_mac_7    ... ok
[INFO] [stdout] test ascon_mac_8    ... ok
[INFO] [stdout] test ascon_mac_9    ... ok
[INFO] [stdout] test ascon_mac_10   ... ok
[INFO] [stdout] test ascon_mac_11   ... ok
[INFO] [stdout] test ascon_mac_12   ... ok
[INFO] [stdout] test ascon_mac_13   ... ok
[INFO] [stdout] test ascon_mac_14   ... ok
[INFO] [stdout] test ascon_mac_15   ... ok
[INFO] [stdout] test ascon_mac_16   ... ok
[INFO] [stdout] test ascon_mac_17   ... ok
[INFO] [stdout] test ascon_mac_18   ... ok
[INFO] [stdout] test ascon_mac_19   ... ok
[INFO] [stdout] test ascon_mac_20   ... ok
[INFO] [stdout] test ascon_mac_21   ... ok
[INFO] [stdout] test ascon_mac_22   ... ok
[INFO] [stdout] test ascon_mac_23   ... ok
[INFO] [stdout] test ascon_mac_24   ... ok
[INFO] [stdout] test ascon_mac_25   ... ok
[INFO] [stdout] test ascon_mac_26   ... ok
[INFO] [stdout] test ascon_mac_27   ... ok
[INFO] [stdout] test ascon_mac_28   ... ok
[INFO] [stdout] test ascon_mac_29   ... ok
[INFO] [stdout] test ascon_mac_30   ... ok
[INFO] [stdout] test ascon_mac_31   ... ok
[INFO] [stdout] test ascon_mac_32   ... ok
[INFO] [stdout] test ascon_mac_33   ... ok
[INFO] [stdout] test ascon_mac_34   ... ok
[INFO] [stdout] test ascon_mac_35   ... ok
[INFO] [stdout] test ascon_mac_36   ... ok
[INFO] [stdout] test ascon_mac_37   ... ok
[INFO] [stdout] test ascon_mac_38   ... ok
[INFO] [stdout] test ascon_mac_39   ... ok
[INFO] [stdout] test ascon_mac_40   ... ok
[INFO] [stdout] test ascon_mac_41   ... ok
[INFO] [stdout] test ascon_mac_42   ... ok
[INFO] [stdout] test ascon_mac_43   ... ok
[INFO] [stdout] test ascon_mac_44   ... ok
[INFO] [stdout] test ascon_mac_45   ... ok
[INFO] [stdout] test ascon_mac_46   ... ok
[INFO] [stdout] test ascon_mac_47   ... ok
[INFO] [stdout] test ascon_mac_48   ... ok
[INFO] [stdout] test ascon_mac_49   ... ok
[INFO] [stdout] test ascon_mac_50   ... ok
[INFO] [stdout] test ascon_mac_51   ... ok
[INFO] [stdout] test ascon_mac_52   ... ok
[INFO] [stdout] test ascon_mac_53   ... ok
[INFO] [stdout] test ascon_mac_54   ... ok
[INFO] [stdout] test ascon_mac_55   ... ok
[INFO] [stdout] test ascon_mac_56   ... ok
[INFO] [stdout] test ascon_mac_57   ... ok
[INFO] [stdout] test ascon_mac_58   ... ok
[INFO] [stdout] test ascon_mac_59   ... ok
[INFO] [stdout] test ascon_mac_60   ... ok
[INFO] [stdout] test ascon_mac_61   ... ok
[INFO] [stdout] test ascon_mac_62   ... ok
[INFO] [stdout] test ascon_mac_63   ... ok
[INFO] [stdout] test ascon_mac_64   ... ok
[INFO] [stdout] test ascon_mac_65   ... ok
[INFO] [stdout] test ascon_mac_66   ... ok
[INFO] [stdout] test ascon_mac_67   ... ok
[INFO] [stdout] test ascon_mac_68   ... ok
[INFO] [stdout] test ascon_mac_69   ... ok
[INFO] [stdout] test ascon_mac_70   ... ok
[INFO] [stdout] test ascon_mac_71   ... ok
[INFO] [stdout] test ascon_mac_72   ... ok
[INFO] [stdout] test ascon_mac_73   ... ok
[INFO] [stdout] test ascon_mac_74   ... ok
[INFO] [stdout] test ascon_mac_75   ... ok
[INFO] [stdout] test ascon_mac_76   ... ok
[INFO] [stdout] test ascon_mac_77   ... ok
[INFO] [stdout] test ascon_mac_78   ... ok
[INFO] [stdout] test ascon_mac_79   ... ok
[INFO] [stdout] test ascon_mac_80   ... ok
[INFO] [stdout] test ascon_mac_81   ... ok
[INFO] [stdout] test ascon_mac_82   ... ok
[INFO] [stdout] test ascon_mac_83   ... ok
[INFO] [stdout] test ascon_mac_84   ... ok
[INFO] [stdout] test ascon_mac_85   ... ok
[INFO] [stdout] test ascon_mac_86   ... ok
[INFO] [stdout] test ascon_mac_87   ... ok
[INFO] [stdout] test ascon_mac_88   ... ok
[INFO] [stdout] test ascon_mac_89   ... ok
[INFO] [stdout] test ascon_mac_90   ... ok
[INFO] [stdout] test ascon_mac_91   ... ok
[INFO] [stdout] test ascon_mac_92   ... ok
[INFO] [stdout] test ascon_mac_93   ... ok
[INFO] [stdout] test ascon_mac_94   ... ok
[INFO] [stdout] test ascon_mac_95   ... ok
[INFO] [stdout] test ascon_mac_96   ... ok
[INFO] [stdout] test ascon_mac_97   ... ok
[INFO] [stdout] test ascon_mac_98   ... ok
[INFO] [stdout] test ascon_mac_99   ... ok
[INFO] [stdout] test ascon_mac_100  ... ok
[INFO] [stdout] test ascon_mac_101  ... ok
[INFO] [stdout] test ascon_mac_102  ... ok
[INFO] [stdout] test ascon_mac_103  ... ok
[INFO] [stdout] test ascon_mac_104  ... ok
[INFO] [stdout] test ascon_mac_105  ... ok
[INFO] [stdout] test ascon_mac_106  ... ok
[INFO] [stdout] test ascon_mac_107  ... ok
[INFO] [stdout] test ascon_mac_108  ... ok
[INFO] [stdout] test ascon_mac_109  ... ok
[INFO] [stdout] test ascon_mac_110  ... ok
[INFO] [stdout] test ascon_mac_111  ... ok
[INFO] [stdout] test ascon_mac_112  ... ok
[INFO] [stdout] test ascon_mac_113  ... ok
[INFO] [stdout] test ascon_mac_114  ... ok
[INFO] [stdout] test ascon_mac_115  ... ok
[INFO] [stdout] test ascon_mac_116  ... ok
[INFO] [stdout] test ascon_mac_117  ... ok
[INFO] [stdout] test ascon_mac_118  ... ok
[INFO] [stdout] test ascon_mac_119  ... ok
[INFO] [stdout] test ascon_mac_120  ... ok
[INFO] [stdout] test ascon_mac_121  ... ok
[INFO] [stdout] test ascon_mac_122  ... ok
[INFO] [stdout] test ascon_mac_123  ... ok
[INFO] [stdout] test ascon_mac_124  ... ok
[INFO] [stdout] test ascon_mac_125  ... ok
[INFO] [stdout] test ascon_mac_126  ... ok
[INFO] [stdout] test ascon_mac_127  ... ok
[INFO] [stdout] test ascon_mac_128  ... ok
[INFO] [stdout] test ascon_mac_129  ... ok
[INFO] [stdout] test ascon_mac_130  ... ok
[INFO] [stdout] test ascon_mac_131  ... ok
[INFO] [stdout] test ascon_mac_132  ... ok
[INFO] [stdout] test ascon_mac_133  ... ok
[INFO] [stdout] test ascon_mac_134  ... ok
[INFO] [stdout] test ascon_mac_135  ... ok
[INFO] [stdout] test ascon_mac_136  ... ok
[INFO] [stdout] test ascon_mac_137  ... ok
[INFO] [stdout] test ascon_mac_138  ... ok
[INFO] [stdout] test ascon_mac_139  ... ok
[INFO] [stdout] test ascon_mac_140  ... ok
[INFO] [stdout] test ascon_mac_141  ... ok
[INFO] [stdout] test ascon_mac_142  ... ok
[INFO] [stdout] test ascon_mac_143  ... ok
[INFO] [stdout] test ascon_mac_144  ... ok
[INFO] [stdout] test ascon_mac_145  ... ok
[INFO] [stdout] test ascon_mac_146  ... ok
[INFO] [stdout] test ascon_mac_147  ... ok
[INFO] [stdout] test ascon_mac_148  ... ok
[INFO] [stdout] test ascon_mac_149  ... ok
[INFO] [stdout] test ascon_mac_150  ... ok
[INFO] [stdout] test ascon_mac_151  ... ok
[INFO] [stdout] test ascon_mac_152  ... ok
[INFO] [stdout] test ascon_mac_153  ... ok
[INFO] [stdout] test ascon_mac_154  ... ok
[INFO] [stdout] test ascon_mac_155  ... ok
[INFO] [stdout] test ascon_mac_156  ... ok
[INFO] [stdout] test ascon_mac_157  ... ok
[INFO] [stdout] test ascon_mac_158  ... ok
[INFO] [stdout] test ascon_mac_159  ... ok
[INFO] [stdout] test ascon_mac_160  ... ok
[INFO] [stdout] test ascon_mac_161  ... ok
[INFO] [stdout] test ascon_mac_162  ... ok
[INFO] [stdout] test ascon_mac_163  ... ok
[INFO] [stdout] test ascon_mac_164  ... ok
[INFO] [stdout] test ascon_mac_165  ... ok
[INFO] [stdout] test ascon_mac_166  ... ok
[INFO] [stdout] test ascon_mac_167  ... ok
[INFO] [stdout] test ascon_mac_168  ... ok
[INFO] [stdout] test ascon_mac_169  ... ok
[INFO] [stdout] test ascon_mac_170  ... ok
[INFO] [stdout] test ascon_mac_171  ... ok
[INFO] [stdout] test ascon_mac_172  ... ok
[INFO] [stdout] test ascon_mac_173  ... ok
[INFO] [stdout] test ascon_mac_174  ... ok
[INFO] [stdout] test ascon_mac_175  ... ok
[INFO] [stdout] test ascon_mac_176  ... ok
[INFO] [stdout] test ascon_mac_177  ... ok
[INFO] [stdout] test ascon_mac_178  ... ok
[INFO] [stdout] test ascon_mac_179  ... ok
[INFO] [stdout] test ascon_mac_180  ... ok
[INFO] [stdout] test ascon_mac_181  ... ok
[INFO] [stdout] test ascon_mac_182  ... ok
[INFO] [stdout] test ascon_mac_183  ... ok
[INFO] [stdout] test ascon_mac_184  ... ok
[INFO] [stdout] test ascon_mac_185  ... ok
[INFO] [stdout] test ascon_mac_186  ... ok
[INFO] [stdout] test ascon_mac_187  ... ok
[INFO] [stdout] test ascon_mac_188  ... ok
[INFO] [stdout] test ascon_mac_189  ... ok
[INFO] [stdout] test ascon_mac_190  ... ok
[INFO] [stdout] test ascon_mac_191  ... ok
[INFO] [stdout] test ascon_mac_192  ... ok
[INFO] [stdout] test ascon_mac_193  ... ok
[INFO] [stdout] test ascon_mac_194  ... ok
[INFO] [stdout] test ascon_mac_195  ... ok
[INFO] [stdout] test ascon_mac_196  ... ok
[INFO] [stdout] test ascon_mac_197  ... ok
[INFO] [stdout] test ascon_mac_198  ... ok
[INFO] [stdout] test ascon_mac_199  ... ok
[INFO] [stdout] test ascon_mac_200  ... ok
[INFO] [stdout] test ascon_mac_201  ... ok
[INFO] [stdout] test ascon_mac_202  ... ok
[INFO] [stdout] test ascon_mac_203  ... ok
[INFO] [stdout] test ascon_mac_204  ... ok
[INFO] [stdout] test ascon_mac_205  ... ok
[INFO] [stdout] test ascon_mac_206  ... ok
[INFO] [stdout] test ascon_mac_207  ... ok
[INFO] [stdout] test ascon_mac_208  ... ok
[INFO] [stdout] test ascon_mac_209  ... ok
[INFO] [stdout] test ascon_mac_210  ... ok
[INFO] [stdout] test ascon_mac_211  ... ok
[INFO] [stdout] test ascon_mac_212  ... ok
[INFO] [stdout] test ascon_mac_213  ... ok
[INFO] [stdout] test ascon_mac_214  ... ok
[INFO] [stdout] test ascon_mac_215  ... ok
[INFO] [stdout] test ascon_mac_216  ... ok
[INFO] [stdout] test ascon_mac_217  ... ok
[INFO] [stdout] test ascon_mac_218  ... ok
[INFO] [stdout] test ascon_mac_219  ... ok
[INFO] [stdout] test ascon_mac_220  ... ok
[INFO] [stdout] test ascon_mac_221  ... ok
[INFO] [stdout] test ascon_mac_222  ... ok
[INFO] [stdout] test ascon_mac_223  ... ok
[INFO] [stdout] test ascon_mac_224  ... ok
[INFO] [stdout] test ascon_mac_225  ... ok
[INFO] [stdout] test ascon_mac_226  ... ok
[INFO] [stdout] test ascon_mac_227  ... ok
[INFO] [stdout] test ascon_mac_228  ... ok
[INFO] [stdout] test ascon_mac_229  ... ok
[INFO] [stdout] test ascon_mac_230  ... ok
[INFO] [stdout] test ascon_mac_231  ... ok
[INFO] [stdout] test ascon_mac_232  ... ok
[INFO] [stdout] test ascon_mac_233  ... ok
[INFO] [stdout] test ascon_mac_234  ... ok
[INFO] [stdout] test ascon_mac_235  ... ok
[INFO] [stdout] test ascon_mac_236  ... ok
[INFO] [stdout] test ascon_mac_237  ... ok
[INFO] [stdout] test ascon_mac_238  ... ok
[INFO] [stdout] test ascon_mac_239  ... ok
[INFO] [stdout] test ascon_mac_240  ... ok
[INFO] [stdout] test ascon_mac_241  ... ok
[INFO] [stdout] test ascon_mac_242  ... ok
[INFO] [stdout] test ascon_mac_243  ... ok
[INFO] [stdout] test ascon_mac_244  ... ok
[INFO] [stdout] test ascon_mac_245  ... ok
[INFO] [stdout] test ascon_mac_246  ... ok
[INFO] [stdout] test ascon_mac_247  ... ok
[INFO] [stdout] test ascon_mac_248  ... ok
[INFO] [stdout] test ascon_mac_249  ... ok
[INFO] [stdout] test ascon_mac_250  ... ok
[INFO] [stdout] test ascon_mac_251  ... ok
[INFO] [stdout] test ascon_mac_252  ... ok
[INFO] [stdout] test ascon_mac_253  ... ok
[INFO] [stdout] test ascon_mac_254  ... ok
[INFO] [stdout] test ascon_mac_255  ... ok
[INFO] [stdout] test ascon_mac_256  ... ok
[INFO] [stdout] test ascon_mac_257  ... ok
[INFO] [stdout] test ascon_mac_258  ... ok
[INFO] [stdout] test ascon_mac_259  ... ok
[INFO] [stdout] test ascon_mac_260  ... ok
[INFO] [stdout] test ascon_mac_261  ... ok
[INFO] [stdout] test ascon_mac_262  ... ok
[INFO] [stdout] test ascon_mac_263  ... ok
[INFO] [stdout] test ascon_mac_264  ... ok
[INFO] [stdout] test ascon_mac_265  ... ok
[INFO] [stdout] test ascon_mac_266  ... ok
[INFO] [stdout] test ascon_mac_267  ... ok
[INFO] [stdout] test ascon_mac_268  ... ok
[INFO] [stdout] test ascon_mac_269  ... ok
[INFO] [stdout] test ascon_mac_270  ... ok
[INFO] [stdout] test ascon_mac_271  ... ok
[INFO] [stdout] test ascon_mac_272  ... ok
[INFO] [stdout] test ascon_mac_273  ... ok
[INFO] [stdout] test ascon_mac_274  ... ok
[INFO] [stdout] test ascon_mac_275  ... ok
[INFO] [stdout] test ascon_mac_276  ... ok
[INFO] [stdout] test ascon_mac_277  ... ok
[INFO] [stdout] test ascon_mac_278  ... ok
[INFO] [stdout] test ascon_mac_279  ... ok
[INFO] [stdout] test ascon_mac_280  ... ok
[INFO] [stdout] test ascon_mac_281  ... ok
[INFO] [stdout] test ascon_mac_282  ... ok
[INFO] [stdout] test ascon_mac_283  ... ok
[INFO] [stdout] test ascon_mac_284  ... ok
[INFO] [stdout] test ascon_mac_285  ... ok
[INFO] [stdout] test ascon_mac_286  ... ok
[INFO] [stdout] test ascon_mac_287  ... ok
[INFO] [stdout] test ascon_mac_288  ... ok
[INFO] [stdout] test ascon_mac_289  ... ok
[INFO] [stdout] test ascon_mac_290  ... ok
[INFO] [stdout] test ascon_mac_291  ... ok
[INFO] [stdout] test ascon_mac_292  ... ok
[INFO] [stdout] test ascon_mac_293  ... ok
[INFO] [stdout] test ascon_mac_294  ... ok
[INFO] [stdout] test ascon_mac_295  ... ok
[INFO] [stdout] test ascon_mac_296  ... ok
[INFO] [stdout] test ascon_mac_297  ... ok
[INFO] [stdout] test ascon_mac_298  ... ok
[INFO] [stdout] test ascon_mac_299  ... ok
[INFO] [stdout] test ascon_mac_300  ... ok
[INFO] [stdout] test ascon_mac_301  ... ok
[INFO] [stdout] test ascon_mac_302  ... ok
[INFO] [stdout] test ascon_mac_303  ... ok
[INFO] [stdout] test ascon_mac_304  ... ok
[INFO] [stdout] test ascon_mac_305  ... ok
[INFO] [stdout] test ascon_mac_306  ... ok
[INFO] [stdout] test ascon_mac_307  ... ok
[INFO] [stdout] test ascon_mac_308  ... ok
[INFO] [stdout] test ascon_mac_309  ... ok
[INFO] [stdout] test ascon_mac_310  ... ok
[INFO] [stdout] test ascon_mac_311  ... ok
[INFO] [stdout] test ascon_mac_312  ... ok
[INFO] [stdout] test ascon_mac_313  ... ok
[INFO] [stdout] test ascon_mac_314  ... ok
[INFO] [stdout] test ascon_mac_315  ... ok
[INFO] [stdout] test ascon_mac_316  ... ok
[INFO] [stdout] test ascon_mac_317  ... ok
[INFO] [stdout] test ascon_mac_318  ... ok
[INFO] [stdout] test ascon_mac_319  ... ok
[INFO] [stdout] test ascon_mac_320  ... ok
[INFO] [stdout] test ascon_mac_321  ... ok
[INFO] [stdout] test ascon_mac_322  ... ok
[INFO] [stdout] test ascon_mac_323  ... ok
[INFO] [stdout] test ascon_mac_324  ... ok
[INFO] [stdout] test ascon_mac_325  ... ok
[INFO] [stdout] test ascon_mac_326  ... ok
[INFO] [stdout] test ascon_mac_327  ... ok
[INFO] [stdout] test ascon_mac_328  ... ok
[INFO] [stdout] test ascon_mac_329  ... ok
[INFO] [stdout] test ascon_mac_330  ... ok
[INFO] [stdout] test ascon_mac_331  ... ok
[INFO] [stdout] test ascon_mac_332  ... ok
[INFO] [stdout] test ascon_mac_333  ... ok
[INFO] [stdout] test ascon_mac_334  ... ok
[INFO] [stdout] test ascon_mac_335  ... ok
[INFO] [stdout] test ascon_mac_336  ... ok
[INFO] [stdout] test ascon_mac_337  ... ok
[INFO] [stdout] test ascon_mac_338  ... ok
[INFO] [stdout] test ascon_mac_339  ... ok
[INFO] [stdout] test ascon_mac_340  ... ok
[INFO] [stdout] test ascon_mac_341  ... ok
[INFO] [stdout] test ascon_mac_342  ... ok
[INFO] [stdout] test ascon_mac_343  ... ok
[INFO] [stdout] test ascon_mac_344  ... ok
[INFO] [stdout] test ascon_mac_345  ... ok
[INFO] [stdout] test ascon_mac_346  ... ok
[INFO] [stdout] test ascon_mac_347  ... ok
[INFO] [stdout] test ascon_mac_348  ... ok
[INFO] [stdout] test ascon_mac_349  ... ok
[INFO] [stdout] test ascon_mac_350  ... ok
[INFO] [stdout] test ascon_mac_351  ... ok
[INFO] [stdout] test ascon_mac_352  ... ok
[INFO] [stdout] test ascon_mac_353  ... ok
[INFO] [stdout] test ascon_mac_354  ... ok
[INFO] [stdout] test ascon_mac_355  ... ok
[INFO] [stdout] test ascon_mac_356  ... ok
[INFO] [stdout] test ascon_mac_357  ... ok
[INFO] [stdout] test ascon_mac_358  ... ok
[INFO] [stdout] test ascon_mac_359  ... ok
[INFO] [stdout] test ascon_mac_360  ... ok
[INFO] [stdout] test ascon_mac_361  ... ok
[INFO] [stdout] test ascon_mac_362  ... ok
[INFO] [stdout] test ascon_mac_363  ... ok
[INFO] [stdout] test ascon_mac_364  ... ok
[INFO] [stdout] test ascon_mac_365  ... ok
[INFO] [stdout] test ascon_mac_366  ... ok
[INFO] [stdout] test ascon_mac_367  ... ok
[INFO] [stdout] test ascon_mac_368  ... ok
[INFO] [stdout] test ascon_mac_369  ... ok
[INFO] [stdout] test ascon_mac_370  ... ok
[INFO] [stdout] test ascon_mac_371  ... ok
[INFO] [stdout] test ascon_mac_372  ... ok
[INFO] [stdout] test ascon_mac_373  ... ok
[INFO] [stdout] test ascon_mac_374  ... ok
[INFO] [stdout] test ascon_mac_375  ... ok
[INFO] [stdout] test ascon_mac_376  ... ok
[INFO] [stdout] test ascon_mac_377  ... ok
[INFO] [stdout] test ascon_mac_378  ... ok
[INFO] [stdout] test ascon_mac_379  ... ok
[INFO] [stdout] test ascon_mac_380  ... ok
[INFO] [stdout] test ascon_mac_381  ... ok
[INFO] [stdout] test ascon_mac_382  ... ok
[INFO] [stdout] test ascon_mac_383  ... ok
[INFO] [stdout] test ascon_mac_384  ... ok
[INFO] [stdout] test ascon_mac_385  ... ok
[INFO] [stdout] test ascon_mac_386  ... ok
[INFO] [stdout] test ascon_mac_387  ... ok
[INFO] [stdout] test ascon_mac_388  ... ok
[INFO] [stdout] test ascon_mac_389  ... ok
[INFO] [stdout] test ascon_mac_390  ... ok
[INFO] [stdout] test ascon_mac_391  ... ok
[INFO] [stdout] test ascon_mac_392  ... ok
[INFO] [stdout] test ascon_mac_393  ... ok
[INFO] [stdout] test ascon_mac_394  ... ok
[INFO] [stdout] test ascon_mac_395  ... ok
[INFO] [stdout] test ascon_mac_396  ... ok
[INFO] [stdout] test ascon_mac_397  ... ok
[INFO] [stdout] test ascon_mac_398  ... ok
[INFO] [stdout] test ascon_mac_399  ... ok
[INFO] [stdout] test ascon_mac_400  ... ok
[INFO] [stdout] test ascon_mac_401  ... ok
[INFO] [stdout] test ascon_mac_402  ... ok
[INFO] [stdout] test ascon_mac_403  ... ok
[INFO] [stdout] test ascon_mac_404  ... ok
[INFO] [stdout] test ascon_mac_405  ... ok
[INFO] [stdout] test ascon_mac_406  ... ok
[INFO] [stdout] test ascon_mac_407  ... ok
[INFO] [stdout] test ascon_mac_408  ... ok
[INFO] [stdout] test ascon_mac_409  ... ok
[INFO] [stdout] test ascon_mac_410  ... ok
[INFO] [stdout] test ascon_mac_411  ... ok
[INFO] [stdout] test ascon_mac_412  ... ok
[INFO] [stdout] test ascon_mac_413  ... ok
[INFO] [stdout] test ascon_mac_414  ... ok
[INFO] [stdout] test ascon_mac_415  ... ok
[INFO] [stdout] test ascon_mac_416  ... ok
[INFO] [stdout] test ascon_mac_417  ... ok
[INFO] [stdout] test ascon_mac_418  ... ok
[INFO] [stdout] test ascon_mac_419  ... ok
[INFO] [stdout] test ascon_mac_420  ... ok
[INFO] [stdout] test ascon_mac_421  ... ok
[INFO] [stdout] test ascon_mac_422  ... ok
[INFO] [stdout] test ascon_mac_423  ... ok
[INFO] [stdout] test ascon_mac_424  ... ok
[INFO] [stdout] test ascon_mac_425  ... ok
[INFO] [stdout] test ascon_mac_426  ... ok
[INFO] [stdout] test ascon_mac_427  ... ok
[INFO] [stdout] test ascon_mac_428  ... ok
[INFO] [stdout] test ascon_mac_429  ... ok
[INFO] [stdout] test ascon_mac_430  ... ok
[INFO] [stdout] test ascon_mac_431  ... ok
[INFO] [stdout] test ascon_mac_432  ... ok
[INFO] [stdout] test ascon_mac_433  ... ok
[INFO] [stdout] test ascon_mac_434  ... ok
[INFO] [stdout] test ascon_mac_435  ... ok
[INFO] [stdout] test ascon_mac_436  ... ok
[INFO] [stdout] test ascon_mac_437  ... ok
[INFO] [stdout] test ascon_mac_438  ... ok
[INFO] [stdout] test ascon_mac_439  ... ok
[INFO] [stdout] test ascon_mac_440  ... ok
[INFO] [stdout] test ascon_mac_441  ... ok
[INFO] [stdout] test ascon_mac_442  ... ok
[INFO] [stdout] test ascon_mac_443  ... ok
[INFO] [stdout] test ascon_mac_444  ... ok
[INFO] [stdout] test ascon_mac_445  ... ok
[INFO] [stdout] test ascon_mac_446  ... ok
[INFO] [stdout] test ascon_mac_447  ... ok
[INFO] [stdout] test ascon_mac_448  ... ok
[INFO] [stdout] test ascon_mac_449  ... ok
[INFO] [stdout] test ascon_mac_450  ... ok
[INFO] [stdout] test ascon_mac_451  ... ok
[INFO] [stdout] test ascon_mac_452  ... ok
[INFO] [stdout] test ascon_mac_453  ... ok
[INFO] [stdout] test ascon_mac_454  ... ok
[INFO] [stdout] test ascon_mac_455  ... ok
[INFO] [stdout] test ascon_mac_456  ... ok
[INFO] [stdout] test ascon_mac_457  ... ok
[INFO] [stdout] test ascon_mac_458  ... ok
[INFO] [stdout] test ascon_mac_459  ... ok
[INFO] [stdout] test ascon_mac_460  ... ok
[INFO] [stdout] test ascon_mac_461  ... ok
[INFO] [stdout] test ascon_mac_462  ... ok
[INFO] [stdout] test ascon_mac_463  ... ok
[INFO] [stdout] test ascon_mac_464  ... ok
[INFO] [stdout] test ascon_mac_465  ... ok
[INFO] [stdout] test ascon_mac_466  ... ok
[INFO] [stdout] test ascon_mac_467  ... ok
[INFO] [stdout] test ascon_mac_468  ... ok
[INFO] [stdout] test ascon_mac_469  ... ok
[INFO] [stdout] test ascon_mac_470  ... ok
[INFO] [stdout] test ascon_mac_471  ... ok
[INFO] [stdout] test ascon_mac_472  ... ok
[INFO] [stdout] test ascon_mac_473  ... ok
[INFO] [stdout] test ascon_mac_474  ... ok
[INFO] [stdout] test ascon_mac_475  ... ok
[INFO] [stdout] test ascon_mac_476  ... ok
[INFO] [stdout] test ascon_mac_477  ... ok
[INFO] [stdout] test ascon_mac_478  ... ok
[INFO] [stdout] test ascon_mac_479  ... ok
[INFO] [stdout] test ascon_mac_480  ... ok
[INFO] [stdout] test ascon_mac_481  ... ok
[INFO] [stdout] test ascon_mac_482  ... ok
[INFO] [stdout] test ascon_mac_483  ... ok
[INFO] [stdout] test ascon_mac_484  ... ok
[INFO] [stdout] test ascon_mac_485  ... ok
[INFO] [stdout] test ascon_mac_486  ... ok
[INFO] [stdout] test ascon_mac_487  ... ok
[INFO] [stdout] test ascon_mac_488  ... ok
[INFO] [stdout] test ascon_mac_489  ... ok
[INFO] [stdout] test ascon_mac_490  ... ok
[INFO] [stdout] test ascon_mac_491  ... ok
[INFO] [stdout] test ascon_mac_492  ... ok
[INFO] [stdout] test ascon_mac_493  ... ok
[INFO] [stdout] test ascon_mac_494  ... ok
[INFO] [stdout] test ascon_mac_495  ... ok
[INFO] [stdout] test ascon_mac_496  ... ok
[INFO] [stdout] test ascon_mac_497  ... ok
[INFO] [stdout] test ascon_mac_498  ... ok
[INFO] [stdout] test ascon_mac_499  ... ok
[INFO] [stdout] test ascon_mac_500  ... ok
[INFO] [stdout] test ascon_mac_501  ... ok
[INFO] [stdout] test ascon_mac_502  ... ok
[INFO] [stdout] test ascon_mac_503  ... ok
[INFO] [stdout] test ascon_mac_504  ... ok
[INFO] [stdout] test ascon_mac_505  ... ok
[INFO] [stdout] test ascon_mac_506  ... ok
[INFO] [stdout] test ascon_mac_507  ... ok
[INFO] [stdout] test ascon_mac_508  ... ok
[INFO] [stdout] test ascon_mac_509  ... ok
[INFO] [stdout] test ascon_mac_510  ... ok
[INFO] [stdout] test ascon_mac_511  ... ok
[INFO] [stdout] test ascon_mac_512  ... ok
[INFO] [stdout] test ascon_mac_513  ... ok
[INFO] [stdout] test ascon_mac_514  ... ok
[INFO] [stdout] test ascon_mac_515  ... ok
[INFO] [stdout] test ascon_mac_516  ... ok
[INFO] [stdout] test ascon_mac_517  ... ok
[INFO] [stdout] test ascon_mac_518  ... ok
[INFO] [stdout] test ascon_mac_519  ... ok
[INFO] [stdout] test ascon_mac_520  ... ok
[INFO] [stdout] test ascon_mac_521  ... ok
[INFO] [stdout] test ascon_mac_522  ... ok
[INFO] [stdout] test ascon_mac_523  ... ok
[INFO] [stdout] test ascon_mac_524  ... ok
[INFO] [stdout] test ascon_mac_525  ... ok
[INFO] [stdout] test ascon_mac_526  ... ok
[INFO] [stdout] test ascon_mac_527  ... ok
[INFO] [stdout] test ascon_mac_528  ... ok
[INFO] [stdout] test ascon_mac_529  ... ok
[INFO] [stdout] test ascon_mac_530  ... ok
[INFO] [stdout] test ascon_mac_531  ... ok
[INFO] [stdout] test ascon_mac_532  ... ok
[INFO] [stdout] test ascon_mac_533  ... ok
[INFO] [stdout] test ascon_mac_534  ... ok
[INFO] [stdout] test ascon_mac_535  ... ok
[INFO] [stdout] test ascon_mac_536  ... ok
[INFO] [stdout] test ascon_mac_537  ... ok
[INFO] [stdout] test ascon_mac_539  ... ok
[INFO] [stdout] test ascon_mac_540  ... ok
[INFO] [stdout] test ascon_mac_541  ... ok
[INFO] [stdout] test ascon_mac_542  ... ok
[INFO] [stdout] test ascon_mac_543  ... ok
[INFO] [stdout] test ascon_mac_544  ... ok
[INFO] [stdout] test ascon_mac_545  ... ok
[INFO] [stdout] test ascon_mac_546  ... ok
[INFO] [stdout] test ascon_mac_547  ... ok
[INFO] [stdout] test ascon_mac_548  ... ok
[INFO] [stdout] test ascon_mac_549  ... ok
[INFO] [stdout] test ascon_mac_550  ... ok
[INFO] [stdout] test ascon_mac_551  ... ok
[INFO] [stdout] test ascon_mac_552  ... ok
[INFO] [stdout] test ascon_mac_553  ... ok
[INFO] [stdout] test ascon_mac_554  ... ok
[INFO] [stdout] test ascon_mac_555  ... ok
[INFO] [stdout] test ascon_mac_556  ... ok
[INFO] [stdout] test ascon_mac_557  ... ok
[INFO] [stdout] test ascon_mac_558  ... ok
[INFO] [stdout] test ascon_mac_559  ... ok
[INFO] [stdout] test ascon_mac_560  ... ok
[INFO] [stdout] test ascon_mac_561  ... ok
[INFO] [stdout] test ascon_mac_562  ... ok
[INFO] [stdout] test ascon_mac_563  ... ok
[INFO] [stdout] test ascon_mac_564  ... ok
[INFO] [stdout] test ascon_mac_565  ... ok
[INFO] [stdout] test ascon_mac_566  ... ok
[INFO] [stdout] test ascon_mac_567  ... ok
[INFO] [stdout] test ascon_mac_568  ... ok
[INFO] [stdout] test ascon_mac_569  ... ok
[INFO] [stdout] test ascon_mac_570  ... ok
[INFO] [stdout] test ascon_mac_571  ... ok
[INFO] [stdout] test ascon_mac_572  ... ok
[INFO] [stdout] test ascon_mac_573  ... ok
[INFO] [stdout] test ascon_mac_574  ... ok
[INFO] [stdout] test ascon_mac_575  ... ok
[INFO] [stdout] test ascon_mac_576  ... ok
[INFO] [stdout] test ascon_mac_577  ... ok
[INFO] [stdout] test ascon_mac_578  ... ok
[INFO] [stdout] test ascon_mac_579  ... ok
[INFO] [stdout] test ascon_mac_580  ... ok
[INFO] [stdout] test ascon_mac_581  ... ok
[INFO] [stdout] test ascon_mac_582  ... ok
[INFO] [stdout] test ascon_mac_583  ... ok
[INFO] [stdout] test ascon_mac_584  ... ok
[INFO] [stdout] test ascon_mac_585  ... ok
[INFO] [stdout] test ascon_mac_586  ... ok
[INFO] [stdout] test ascon_mac_587  ... ok
[INFO] [stdout] test ascon_mac_588  ... ok
[INFO] [stdout] test ascon_mac_589  ... ok
[INFO] [stdout] test ascon_mac_590  ... ok
[INFO] [stdout] test ascon_mac_591  ... ok
[INFO] [stdout] test ascon_mac_592  ... ok
[INFO] [stdout] test ascon_mac_593  ... ok
[INFO] [stdout] test ascon_mac_594  ... ok
[INFO] [stdout] test ascon_mac_595  ... ok
[INFO] [stdout] test ascon_mac_596  ... ok
[INFO] [stdout] test ascon_mac_597  ... ok
[INFO] [stdout] test ascon_mac_598  ... ok
[INFO] [stdout] test ascon_mac_599  ... ok
[INFO] [stdout] test ascon_mac_600  ... ok
[INFO] [stdout] test ascon_mac_601  ... ok
[INFO] [stdout] test ascon_mac_602  ... ok
[INFO] [stdout] test ascon_mac_603  ... ok
[INFO] [stdout] test ascon_mac_604  ... ok
[INFO] [stdout] test ascon_mac_605  ... ok
[INFO] [stdout] test ascon_mac_606  ... ok
[INFO] [stdout] test ascon_mac_607  ... ok
[INFO] [stdout] test ascon_mac_608  ... ok
[INFO] [stdout] test ascon_mac_609  ... ok
[INFO] [stdout] test ascon_mac_610  ... ok
[INFO] [stdout] test ascon_mac_611  ... ok
[INFO] [stdout] test ascon_mac_612  ... ok
[INFO] [stdout] test ascon_mac_613  ... ok
[INFO] [stdout] test ascon_mac_614  ... ok
[INFO] [stdout] test ascon_mac_615  ... ok
[INFO] [stdout] test ascon_mac_616  ... ok
[INFO] [stdout] test ascon_mac_617  ... ok
[INFO] [stdout] test ascon_mac_618  ... ok
[INFO] [stdout] test ascon_mac_619  ... ok
[INFO] [stdout] test ascon_mac_620  ... ok
[INFO] [stdout] test ascon_mac_621  ... ok
[INFO] [stdout] test ascon_mac_622  ... ok
[INFO] [stdout] test ascon_mac_623  ... ok
[INFO] [stdout] test ascon_mac_624  ... ok
[INFO] [stdout] test ascon_mac_625  ... ok
[INFO] [stdout] test ascon_mac_626  ... ok
[INFO] [stdout] test ascon_mac_627  ... ok
[INFO] [stdout] test ascon_mac_628  ... ok
[INFO] [stdout] test ascon_mac_629  ... ok
[INFO] [stdout] test ascon_mac_630  ... ok
[INFO] [stdout] test ascon_mac_631  ... ok
[INFO] [stdout] test ascon_mac_632  ... ok
[INFO] [stdout] test ascon_mac_633  ... ok
[INFO] [stdout] test ascon_mac_634  ... ok
[INFO] [stdout] test ascon_mac_635  ... ok
[INFO] [stdout] test ascon_mac_636  ... ok
[INFO] [stdout] test ascon_mac_637  ... ok
[INFO] [stdout] test ascon_mac_638  ... ok
[INFO] [stdout] test ascon_mac_639  ... ok
[INFO] [stdout] test ascon_mac_640  ... ok
[INFO] [stdout] test ascon_mac_641  ... ok
[INFO] [stdout] test ascon_mac_642  ... ok
[INFO] [stdout] test ascon_mac_643  ... ok
[INFO] [stdout] test ascon_mac_644  ... ok
[INFO] [stdout] test ascon_mac_645  ... ok
[INFO] [stdout] test ascon_mac_646  ... ok
[INFO] [stdout] test ascon_mac_647  ... ok
[INFO] [stdout] test ascon_mac_648  ... ok
[INFO] [stdout] test ascon_mac_649  ... ok
[INFO] [stdout] test ascon_mac_650  ... ok
[INFO] [stdout] test ascon_mac_651  ... ok
[INFO] [stdout] test ascon_mac_652  ... ok
[INFO] [stdout] test ascon_mac_653  ... ok
[INFO] [stdout] test ascon_mac_654  ... ok
[INFO] [stdout] test ascon_mac_655  ... ok
[INFO] [stdout] test ascon_mac_656  ... ok
[INFO] [stdout] test ascon_mac_657  ... ok
[INFO] [stdout] test ascon_mac_658  ... ok
[INFO] [stdout] test ascon_mac_659  ... ok
[INFO] [stdout] test ascon_mac_660  ... ok
[INFO] [stdout] test ascon_mac_661  ... ok
[INFO] [stdout] test ascon_mac_662  ... ok
[INFO] [stdout] test ascon_mac_663  ... ok
[INFO] [stdout] test ascon_mac_664  ... ok
[INFO] [stdout] test ascon_mac_665  ... ok
[INFO] [stdout] test ascon_mac_666  ... ok
[INFO] [stdout] test ascon_mac_667  ... ok
[INFO] [stdout] test ascon_mac_668  ... ok
[INFO] [stdout] test ascon_mac_669  ... ok
[INFO] [stdout] test ascon_mac_670  ... ok
[INFO] [stdout] test ascon_mac_671  ... ok
[INFO] [stdout] test ascon_mac_672  ... ok
[INFO] [stdout] test ascon_mac_673  ... ok
[INFO] [stdout] test ascon_mac_674  ... ok
[INFO] [stdout] test ascon_mac_675  ... ok
[INFO] [stdout] test ascon_mac_676  ... ok
[INFO] [stdout] test ascon_mac_677  ... ok
[INFO] [stdout] test ascon_mac_678  ... ok
[INFO] [stdout] test ascon_mac_679  ... ok
[INFO] [stdout] test ascon_mac_680  ... ok
[INFO] [stdout] test ascon_mac_681  ... ok
[INFO] [stdout] test ascon_mac_682  ... ok
[INFO] [stdout] test ascon_mac_683  ... ok
[INFO] [stdout] test ascon_mac_684  ... ok
[INFO] [stdout] test ascon_mac_685  ... ok
[INFO] [stdout] test ascon_mac_686  ... ok
[INFO] [stdout] test ascon_mac_687  ... ok
[INFO] [stdout] test ascon_mac_688  ... ok
[INFO] [stdout] test ascon_mac_689  ... ok
[INFO] [stdout] test ascon_mac_690  ... ok
[INFO] [stdout] test ascon_mac_691  ... ok
[INFO] [stdout] test ascon_mac_692  ... ok
[INFO] [stdout] test ascon_mac_693  ... ok
[INFO] [stdout] test ascon_mac_694  ... ok
[INFO] [stdout] test ascon_mac_695  ... ok
[INFO] [stdout] test ascon_mac_696  ... ok
[INFO] [stdout] test ascon_mac_697  ... ok
[INFO] [stdout] test ascon_mac_698  ... ok
[INFO] [stdout] test ascon_mac_699  ... ok
[INFO] [stdout] test ascon_mac_700  ... ok
[INFO] [stdout] test ascon_mac_701  ... ok
[INFO] [stdout] test ascon_mac_702  ... ok
[INFO] [stdout] test ascon_mac_703  ... ok
[INFO] [stdout] test ascon_mac_704  ... ok
[INFO] [stdout] test ascon_mac_705  ... ok
[INFO] [stdout] test ascon_mac_706  ... ok
[INFO] [stdout] test ascon_mac_707  ... ok
[INFO] [stdout] test ascon_mac_708  ... ok
[INFO] [stdout] test ascon_mac_709  ... ok
[INFO] [stdout] test ascon_mac_710  ... ok
[INFO] [stdout] test ascon_mac_711  ... ok
[INFO] [stdout] test ascon_mac_712  ... ok
[INFO] [stdout] test ascon_mac_713  ... ok
[INFO] [stdout] test ascon_mac_714  ... ok
[INFO] [stdout] test ascon_mac_715  ... ok
[INFO] [stdout] test ascon_mac_716  ... ok
[INFO] [stdout] test ascon_mac_717  ... ok
[INFO] [stdout] test ascon_mac_718  ... ok
[INFO] [stdout] test ascon_mac_719  ... ok
[INFO] [stdout] test ascon_mac_720  ... ok
[INFO] [stdout] test ascon_mac_721  ... ok
[INFO] [stdout] test ascon_mac_722  ... ok
[INFO] [stdout] test ascon_mac_723  ... ok
[INFO] [stdout] test ascon_mac_724  ... ok
[INFO] [stdout] test ascon_mac_725  ... ok
[INFO] [stdout] test ascon_mac_726  ... ok
[INFO] [stdout] test ascon_mac_727  ... ok
[INFO] [stdout] test ascon_mac_728  ... ok
[INFO] [stdout] test ascon_mac_729  ... ok
[INFO] [stdout] test ascon_mac_730  ... ok
[INFO] [stdout] test ascon_mac_731  ... ok
[INFO] [stdout] test ascon_mac_732  ... ok
[INFO] [stdout] test ascon_mac_733  ... ok
[INFO] [stdout] test ascon_mac_734  ... ok
[INFO] [stdout] test ascon_mac_735  ... ok
[INFO] [stdout] test ascon_mac_736  ... ok
[INFO] [stdout] test ascon_mac_737  ... ok
[INFO] [stdout] test ascon_mac_738  ... ok
[INFO] [stdout] test ascon_mac_739  ... ok
[INFO] [stdout] test ascon_mac_740  ... ok
[INFO] [stdout] test ascon_mac_741  ... ok
[INFO] [stdout] test ascon_mac_742  ... ok
[INFO] [stdout] test ascon_mac_743  ... ok
[INFO] [stdout] test ascon_mac_744  ... ok
[INFO] [stdout] test ascon_mac_745  ... ok
[INFO] [stdout] test ascon_mac_746  ... ok
[INFO] [stdout] test ascon_mac_747  ... ok
[INFO] [stdout] test ascon_mac_748  ... ok
[INFO] [stdout] test ascon_mac_749  ... ok
[INFO] [stdout] test ascon_mac_750  ... ok
[INFO] [stdout] test ascon_mac_751  ... ok
[INFO] [stdout] test ascon_mac_752  ... ok
[INFO] [stdout] test ascon_mac_753  ... ok
[INFO] [stdout] test ascon_mac_754  ... ok
[INFO] [stdout] test ascon_mac_755  ... ok
[INFO] [stdout] test ascon_mac_756  ... ok
[INFO] [stdout] test ascon_mac_757  ... ok
[INFO] [stdout] test ascon_mac_758  ... ok
[INFO] [stdout] test ascon_mac_759  ... ok
[INFO] [stdout] test ascon_mac_760  ... ok
[INFO] [stdout] test ascon_mac_761  ... ok
[INFO] [stdout] test ascon_mac_762  ... ok
[INFO] [stdout] test ascon_mac_763  ... ok
[INFO] [stdout] test ascon_mac_764  ... ok
[INFO] [stdout] test ascon_mac_765  ... ok
[INFO] [stdout] test ascon_mac_766  ... ok
[INFO] [stdout] test ascon_mac_767  ... ok
[INFO] [stdout] test ascon_mac_768  ... ok
[INFO] [stdout] test ascon_mac_769  ... ok
[INFO] [stdout] test ascon_mac_770  ... ok
[INFO] [stdout] test ascon_mac_771  ... ok
[INFO] [stdout] test ascon_mac_772  ... ok
[INFO] [stdout] test ascon_mac_773  ... ok
[INFO] [stdout] test ascon_mac_774  ... ok
[INFO] [stdout] test ascon_mac_775  ... ok
[INFO] [stdout] test ascon_mac_776  ... ok
[INFO] [stdout] test ascon_mac_777  ... ok
[INFO] [stdout] test ascon_mac_778  ... ok
[INFO] [stdout] test ascon_mac_779  ... ok
[INFO] [stdout] test ascon_mac_780  ... ok
[INFO] [stdout] test ascon_mac_781  ... ok
[INFO] [stdout] test ascon_mac_782  ... ok
[INFO] [stdout] test ascon_mac_783  ... ok
[INFO] [stdout] test ascon_mac_784  ... ok
[INFO] [stdout] test ascon_mac_785  ... ok
[INFO] [stdout] test ascon_mac_786  ... ok
[INFO] [stdout] test ascon_mac_787  ... ok
[INFO] [stdout] test ascon_mac_788  ... ok
[INFO] [stdout] test ascon_mac_789  ... ok
[INFO] [stdout] test ascon_mac_790  ... ok
[INFO] [stdout] test ascon_mac_791  ... ok
[INFO] [stdout] test ascon_mac_792  ... ok
[INFO] [stdout] test ascon_mac_793  ... ok
[INFO] [stdout] test ascon_mac_794  ... ok
[INFO] [stdout] test ascon_mac_795  ... ok
[INFO] [stdout] test ascon_mac_796  ... ok
[INFO] [stdout] test ascon_mac_797  ... ok
[INFO] [stdout] test ascon_mac_798  ... ok
[INFO] [stdout] test ascon_mac_799  ... ok
[INFO] [stdout] test ascon_mac_800  ... ok
[INFO] [stdout] test ascon_mac_801  ... ok
[INFO] [stdout] test ascon_mac_802  ... ok
[INFO] [stdout] test ascon_mac_803  ... ok
[INFO] [stdout] test ascon_mac_804  ... ok
[INFO] [stdout] test ascon_mac_805  ... ok
[INFO] [stdout] test ascon_mac_806  ... ok
[INFO] [stdout] test ascon_mac_807  ... ok
[INFO] [stdout] test ascon_mac_808  ... ok
[INFO] [stdout] test ascon_mac_809  ... ok
[INFO] [stdout] test ascon_mac_810  ... ok
[INFO] [stdout] test ascon_mac_811  ... ok
[INFO] [stdout] test ascon_mac_812  ... ok
[INFO] [stdout] test ascon_mac_813  ... ok
[INFO] [stdout] test ascon_mac_814  ... ok
[INFO] [stdout] test ascon_mac_815  ... ok
[INFO] [stdout] test ascon_mac_816  ... ok
[INFO] [stdout] test ascon_mac_817  ... ok
[INFO] [stdout] test ascon_mac_818  ... ok
[INFO] [stdout] test ascon_mac_819  ... ok
[INFO] [stdout] test ascon_mac_820  ... ok
[INFO] [stdout] test ascon_mac_821  ... ok
[INFO] [stdout] test ascon_mac_822  ... ok
[INFO] [stdout] test ascon_mac_823  ... ok
[INFO] [stdout] test ascon_mac_824  ... ok
[INFO] [stdout] test ascon_mac_825  ... ok
[INFO] [stdout] test ascon_mac_826  ... ok
[INFO] [stdout] test ascon_mac_827  ... ok
[INFO] [stdout] test ascon_mac_828  ... ok
[INFO] [stdout] test ascon_mac_829  ... ok
[INFO] [stdout] test ascon_mac_830  ... ok
[INFO] [stdout] test ascon_mac_831  ... ok
[INFO] [stdout] test ascon_mac_832  ... ok
[INFO] [stdout] test ascon_mac_833  ... ok
[INFO] [stdout] test ascon_mac_834  ... ok
[INFO] [stdout] test ascon_mac_835  ... ok
[INFO] [stdout] test ascon_mac_836  ... ok
[INFO] [stdout] test ascon_mac_837  ... ok
[INFO] [stdout] test ascon_mac_838  ... ok
[INFO] [stdout] test ascon_mac_839  ... ok
[INFO] [stdout] test ascon_mac_840  ... ok
[INFO] [stdout] test ascon_mac_841  ... ok
[INFO] [stdout] test ascon_mac_842  ... ok
[INFO] [stdout] test ascon_mac_843  ... ok
[INFO] [stdout] test ascon_mac_844  ... ok
[INFO] [stdout] test ascon_mac_845  ... ok
[INFO] [stdout] test ascon_mac_846  ... ok
[INFO] [stdout] test ascon_mac_847  ... ok
[INFO] [stdout] test ascon_mac_848  ... ok
[INFO] [stdout] test ascon_mac_849  ... ok
[INFO] [stdout] test ascon_mac_850  ... ok
[INFO] [stdout] test ascon_mac_851  ... ok
[INFO] [stdout] test ascon_mac_852  ... ok
[INFO] [stdout] test ascon_mac_853  ... ok
[INFO] [stdout] test ascon_mac_854  ... ok
[INFO] [stdout] test ascon_mac_855  ... ok
[INFO] [stdout] test ascon_mac_856  ... ok
[INFO] [stdout] test ascon_mac_857  ... ok
[INFO] [stdout] test ascon_mac_858  ... ok
[INFO] [stdout] test ascon_mac_859  ... ok
[INFO] [stdout] test ascon_mac_860  ... ok
[INFO] [stdout] test ascon_mac_861  ... ok
[INFO] [stdout] test ascon_mac_862  ... ok
[INFO] [stdout] test ascon_mac_863  ... ok
[INFO] [stdout] test ascon_mac_864  ... ok
[INFO] [stdout] test ascon_mac_865  ... ok
[INFO] [stdout] test ascon_mac_866  ... ok
[INFO] [stdout] test ascon_mac_867  ... ok
[INFO] [stdout] test ascon_mac_868  ... ok
[INFO] [stdout] test ascon_mac_538  ... ok
[INFO] [stdout] test ascon_mac_870  ... ok
[INFO] [stdout] test ascon_mac_871  ... ok
[INFO] [stdout] test ascon_mac_872  ... ok
[INFO] [stdout] test ascon_mac_873  ... ok
[INFO] [stdout] test ascon_mac_874  ... ok
[INFO] [stdout] test ascon_mac_875  ... ok
[INFO] [stdout] test ascon_mac_876  ... ok
[INFO] [stdout] test ascon_mac_877  ... ok
[INFO] [stdout] test ascon_mac_878  ... ok
[INFO] [stdout] test ascon_mac_880  ... ok
[INFO] [stdout] test ascon_mac_879  ... ok
[INFO] [stdout] test ascon_mac_881  ... ok
[INFO] [stdout] test ascon_mac_882  ... ok
[INFO] [stdout] test ascon_mac_883  ... ok
[INFO] [stdout] test ascon_mac_884  ... ok
[INFO] [stdout] test ascon_mac_885  ... ok
[INFO] [stdout] test ascon_mac_886  ... ok
[INFO] [stdout] test ascon_mac_887  ... ok
[INFO] [stdout] test ascon_mac_888  ... ok
[INFO] [stdout] test ascon_mac_889  ... ok
[INFO] [stdout] test ascon_mac_890  ... ok
[INFO] [stdout] test ascon_mac_891  ... ok
[INFO] [stdout] test ascon_mac_892  ... ok
[INFO] [stdout] test ascon_mac_893  ... ok
[INFO] [stdout] test ascon_mac_894  ... ok
[INFO] [stdout] test ascon_mac_895  ... ok
[INFO] [stdout] test ascon_mac_896  ... ok
[INFO] [stdout] test ascon_mac_897  ... ok
[INFO] [stdout] test ascon_mac_898  ... ok
[INFO] [stdout] test ascon_mac_899  ... ok
[INFO] [stdout] test ascon_mac_900  ... ok
[INFO] [stdout] test ascon_mac_901  ... ok
[INFO] [stdout] test ascon_mac_902  ... ok
[INFO] [stdout] test ascon_mac_903  ... ok
[INFO] [stdout] test ascon_mac_904  ... ok
[INFO] [stdout] test ascon_mac_905  ... ok
[INFO] [stdout] test ascon_mac_906  ... ok
[INFO] [stderr]      Running tests/prf.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/prf-39991b306cd90d0b)
[INFO] [stdout] test ascon_mac_907  ... ok
[INFO] [stdout] test ascon_mac_908  ... ok
[INFO] [stdout] test ascon_mac_909  ... ok
[INFO] [stdout] test ascon_mac_910  ... ok
[INFO] [stdout] test ascon_mac_911  ... ok
[INFO] [stdout] test ascon_mac_912  ... ok
[INFO] [stdout] test ascon_mac_913  ... ok
[INFO] [stdout] test ascon_mac_914  ... ok
[INFO] [stdout] test ascon_mac_915  ... ok
[INFO] [stdout] test ascon_mac_916  ... ok
[INFO] [stdout] test ascon_mac_918  ... ok
[INFO] [stdout] test ascon_mac_917  ... ok
[INFO] [stdout] test ascon_mac_919  ... ok
[INFO] [stdout] test ascon_mac_920  ... ok
[INFO] [stdout] test ascon_mac_921  ... ok
[INFO] [stdout] test ascon_mac_922  ... ok
[INFO] [stdout] test ascon_mac_923  ... ok
[INFO] [stdout] test ascon_mac_924  ... ok
[INFO] [stdout] test ascon_mac_925  ... ok
[INFO] [stdout] test ascon_mac_926  ... ok
[INFO] [stdout] test ascon_mac_927  ... ok
[INFO] [stdout] test ascon_mac_928  ... ok
[INFO] [stdout] test ascon_mac_929  ... ok
[INFO] [stdout] test ascon_mac_930  ... ok
[INFO] [stdout] test ascon_mac_931  ... ok
[INFO] [stdout] test ascon_mac_932  ... ok
[INFO] [stdout] test ascon_mac_933  ... ok
[INFO] [stdout] test ascon_mac_934  ... ok
[INFO] [stdout] test ascon_mac_935  ... ok
[INFO] [stdout] test ascon_mac_936  ... ok
[INFO] [stdout] test ascon_mac_937  ... ok
[INFO] [stdout] test ascon_mac_938  ... ok
[INFO] [stdout] test ascon_mac_939  ... ok
[INFO] [stdout] test ascon_mac_940  ... ok
[INFO] [stdout] test ascon_mac_941  ... ok
[INFO] [stdout] test ascon_mac_942  ... ok
[INFO] [stdout] test ascon_mac_943  ... ok
[INFO] [stdout] test ascon_mac_944  ... ok
[INFO] [stdout] test ascon_mac_946  ... ok
[INFO] [stdout] test ascon_mac_947  ... ok
[INFO] [stdout] test ascon_mac_945  ... ok
[INFO] [stdout] test ascon_mac_948  ... ok
[INFO] [stdout] test ascon_mac_949  ... ok
[INFO] [stdout] test ascon_mac_950  ... ok
[INFO] [stdout] test ascon_mac_951  ... ok
[INFO] [stdout] test ascon_mac_952  ... ok
[INFO] [stdout] test ascon_mac_953  ... ok
[INFO] [stdout] test ascon_mac_954  ... ok
[INFO] [stdout] test ascon_mac_955  ... ok
[INFO] [stdout] test ascon_mac_956  ... ok
[INFO] [stdout] test ascon_mac_957  ... ok
[INFO] [stdout] test ascon_mac_958  ... ok
[INFO] [stdout] test ascon_mac_959  ... ok
[INFO] [stdout] test ascon_mac_960  ... ok
[INFO] [stdout] test ascon_mac_961  ... ok
[INFO] [stdout] test ascon_mac_962  ... ok
[INFO] [stdout] test ascon_mac_963  ... ok
[INFO] [stdout] test ascon_mac_964  ... ok
[INFO] [stdout] test ascon_mac_965  ... ok
[INFO] [stdout] test ascon_mac_966  ... ok
[INFO] [stdout] test ascon_mac_967  ... ok
[INFO] [stdout] test ascon_mac_968  ... ok
[INFO] [stdout] test ascon_mac_969  ... ok
[INFO] [stdout] test ascon_mac_970  ... ok
[INFO] [stdout] test ascon_mac_971  ... ok
[INFO] [stdout] test ascon_mac_972  ... ok
[INFO] [stdout] test ascon_mac_974  ... ok
[INFO] [stdout] test ascon_mac_973  ... ok
[INFO] [stdout] test ascon_mac_975  ... ok
[INFO] [stdout] test ascon_mac_976  ... ok
[INFO] [stdout] test ascon_mac_977  ... ok
[INFO] [stdout] test ascon_mac_978  ... ok
[INFO] [stdout] test ascon_mac_979  ... ok
[INFO] [stdout] test ascon_mac_980  ... ok
[INFO] [stdout] test ascon_mac_981  ... ok
[INFO] [stdout] test ascon_mac_982  ... ok
[INFO] [stdout] test ascon_mac_983  ... ok
[INFO] [stdout] test ascon_mac_984  ... ok
[INFO] [stdout] test ascon_mac_985  ... ok
[INFO] [stdout] test ascon_mac_986  ... ok
[INFO] [stdout] test ascon_mac_987  ... ok
[INFO] [stdout] test ascon_mac_988  ... ok
[INFO] [stdout] test ascon_mac_989  ... ok
[INFO] [stdout] test ascon_mac_990  ... ok
[INFO] [stdout] test ascon_mac_991  ... ok
[INFO] [stdout] test ascon_mac_992  ... ok
[INFO] [stdout] test ascon_mac_993  ... ok
[INFO] [stdout] test ascon_mac_994  ... ok
[INFO] [stdout] test ascon_mac_995  ... ok
[INFO] [stdout] test ascon_mac_996  ... ok
[INFO] [stdout] test ascon_mac_997  ... ok
[INFO] [stdout] test ascon_mac_998  ... ok
[INFO] [stdout] test ascon_mac_999  ... ok
[INFO] [stdout] test ascon_mac_1000 ... ok
[INFO] [stdout] test ascon_mac_1002 ... ok
[INFO] [stdout] test ascon_mac_1001 ... ok
[INFO] [stdout] test ascon_mac_1003 ... ok
[INFO] [stdout] test ascon_mac_1004 ... ok
[INFO] [stdout] test ascon_mac_1005 ... ok
[INFO] [stdout] test ascon_mac_1006 ... ok
[INFO] [stdout] test ascon_mac_1007 ... ok
[INFO] [stdout] test ascon_mac_1008 ... ok
[INFO] [stdout] test ascon_mac_1009 ... ok
[INFO] [stdout] test ascon_mac_1010 ... ok
[INFO] [stdout] test ascon_mac_1011 ... ok
[INFO] [stdout] test ascon_mac_1012 ... ok
[INFO] [stdout] test ascon_mac_1013 ... ok
[INFO] [stdout] test ascon_mac_1014 ... ok
[INFO] [stdout] test ascon_mac_1015 ... ok
[INFO] [stdout] test ascon_mac_1016 ... ok
[INFO] [stdout] test ascon_mac_1017 ... ok
[INFO] [stdout] test ascon_mac_1018 ... ok
[INFO] [stdout] test ascon_mac_1019 ... ok
[INFO] [stdout] test ascon_mac_1020 ... ok
[INFO] [stdout] test ascon_mac_1022 ... ok
[INFO] [stdout] test ascon_mac_1021 ... ok
[INFO] [stdout] test ascon_mac_1023 ... ok
[INFO] [stdout] test ascon_mac_1024 ... ok
[INFO] [stdout] test ascon_mac_1025 ... ok
[INFO] [stdout] test ascon_mac_869  ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1025 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1025 tests
[INFO] [stdout] test ascon_prf_1    ... ok
[INFO] [stdout] test ascon_prf_2    ... ok
[INFO] [stdout] test ascon_prf_3    ... ok
[INFO] [stdout] test ascon_prf_4    ... ok
[INFO] [stdout] test ascon_prf_5    ... ok
[INFO] [stdout] test ascon_prf_6    ... ok
[INFO] [stdout] test ascon_prf_7    ... ok
[INFO] [stdout] test ascon_prf_8    ... ok
[INFO] [stdout] test ascon_prf_9    ... ok
[INFO] [stdout] test ascon_prf_11   ... ok
[INFO] [stdout] test ascon_prf_12   ... ok
[INFO] [stdout] test ascon_prf_13   ... ok
[INFO] [stdout] test ascon_prf_14   ... ok
[INFO] [stdout] test ascon_prf_10   ... ok
[INFO] [stdout] test ascon_prf_15   ... ok
[INFO] [stdout] test ascon_prf_16   ... ok
[INFO] [stdout] test ascon_prf_17   ... ok
[INFO] [stdout] test ascon_prf_18   ... ok
[INFO] [stdout] test ascon_prf_19   ... ok
[INFO] [stdout] test ascon_prf_21   ... ok
[INFO] [stdout] test ascon_prf_22   ... ok
[INFO] [stdout] test ascon_prf_23   ... ok
[INFO] [stdout] test ascon_prf_20   ... ok
[INFO] [stdout] test ascon_prf_24   ... ok
[INFO] [stdout] test ascon_prf_26   ... ok
[INFO] [stdout] test ascon_prf_25   ... ok
[INFO] [stdout] test ascon_prf_27   ... ok
[INFO] [stdout] test ascon_prf_28   ... ok
[INFO] [stdout] test ascon_prf_30   ... ok
[INFO] [stdout] test ascon_prf_31   ... ok
[INFO] [stdout] test ascon_prf_32   ... ok
[INFO] [stdout] test ascon_prf_33   ... ok
[INFO] [stdout] test ascon_prf_34   ... ok
[INFO] [stdout] test ascon_prf_35   ... ok
[INFO] [stdout] test ascon_prf_36   ... ok
[INFO] [stdout] test ascon_prf_37   ... ok
[INFO] [stdout] test ascon_prf_38   ... ok
[INFO] [stdout] test ascon_prf_39   ... ok
[INFO] [stdout] test ascon_prf_40   ... ok
[INFO] [stdout] test ascon_prf_41   ... ok
[INFO] [stdout] test ascon_prf_42   ... ok
[INFO] [stdout] test ascon_prf_43   ... ok
[INFO] [stdout] test ascon_prf_44   ... ok
[INFO] [stdout] test ascon_prf_45   ... ok
[INFO] [stdout] test ascon_prf_46   ... ok
[INFO] [stdout] test ascon_prf_47   ... ok
[INFO] [stdout] test ascon_prf_48   ... ok
[INFO] [stdout] test ascon_prf_49   ... ok
[INFO] [stdout] test ascon_prf_50   ... ok
[INFO] [stdout] test ascon_prf_51   ... ok
[INFO] [stdout] test ascon_prf_52   ... ok
[INFO] [stdout] test ascon_prf_53   ... ok
[INFO] [stdout] test ascon_prf_54   ... ok
[INFO] [stdout] test ascon_prf_55   ... ok
[INFO] [stdout] test ascon_prf_56   ... ok
[INFO] [stdout] test ascon_prf_57   ... ok
[INFO] [stdout] test ascon_prf_58   ... ok
[INFO] [stdout] test ascon_prf_59   ... ok
[INFO] [stdout] test ascon_prf_60   ... ok
[INFO] [stdout] test ascon_prf_61   ... ok
[INFO] [stdout] test ascon_prf_62   ... ok
[INFO] [stdout] test ascon_prf_63   ... ok
[INFO] [stdout] test ascon_prf_64   ... ok
[INFO] [stdout] test ascon_prf_65   ... ok
[INFO] [stdout] test ascon_prf_66   ... ok
[INFO] [stdout] test ascon_prf_67   ... ok
[INFO] [stdout] test ascon_prf_68   ... ok
[INFO] [stdout] test ascon_prf_69   ... ok
[INFO] [stdout] test ascon_prf_70   ... ok
[INFO] [stdout] test ascon_prf_71   ... ok
[INFO] [stdout] test ascon_prf_72   ... ok
[INFO] [stdout] test ascon_prf_73   ... ok
[INFO] [stdout] test ascon_prf_74   ... ok
[INFO] [stdout] test ascon_prf_75   ... ok
[INFO] [stdout] test ascon_prf_76   ... ok
[INFO] [stdout] test ascon_prf_77   ... ok
[INFO] [stdout] test ascon_prf_78   ... ok
[INFO] [stdout] test ascon_prf_79   ... ok
[INFO] [stdout] test ascon_prf_80   ... ok
[INFO] [stdout] test ascon_prf_81   ... ok
[INFO] [stdout] test ascon_prf_82   ... ok
[INFO] [stdout] test ascon_prf_83   ... ok
[INFO] [stdout] test ascon_prf_29   ... ok
[INFO] [stdout] test ascon_prf_84   ... ok
[INFO] [stdout] test ascon_prf_86   ... ok
[INFO] [stdout] test ascon_prf_85   ... ok
[INFO] [stdout] test ascon_prf_87   ... ok
[INFO] [stdout] test ascon_prf_89   ... ok
[INFO] [stdout] test ascon_prf_90   ... ok
[INFO] [stdout] test ascon_prf_91   ... ok
[INFO] [stdout] test ascon_prf_88   ... ok
[INFO] [stdout] test ascon_prf_92   ... ok
[INFO] [stdout] test ascon_prf_93   ... ok
[INFO] [stdout] test ascon_prf_95   ... ok
[INFO] [stdout] test ascon_prf_97   ... ok
[INFO] [stdout] test ascon_prf_96   ... ok
[INFO] [stdout] test ascon_prf_98   ... ok
[INFO] [stdout] test ascon_prf_99   ... ok
[INFO] [stdout] test ascon_prf_100  ... ok
[INFO] [stdout] test ascon_prf_101  ... ok
[INFO] [stdout] test ascon_prf_102  ... ok
[INFO] [stdout] test ascon_prf_103  ... ok
[INFO] [stdout] test ascon_prf_104  ... ok
[INFO] [stdout] test ascon_prf_105  ... ok
[INFO] [stdout] test ascon_prf_106  ... ok
[INFO] [stdout] test ascon_prf_108  ... ok
[INFO] [stdout] test ascon_prf_109  ... ok
[INFO] [stdout] test ascon_prf_110  ... ok
[INFO] [stdout] test ascon_prf_107  ... ok
[INFO] [stdout] test ascon_prf_111  ... ok
[INFO] [stdout] test ascon_prf_112  ... ok
[INFO] [stdout] test ascon_prf_113  ... ok
[INFO] [stdout] test ascon_prf_114  ... ok
[INFO] [stdout] test ascon_prf_115  ... ok
[INFO] [stdout] test ascon_prf_117  ... ok
[INFO] [stdout] test ascon_prf_116  ... ok
[INFO] [stdout] test ascon_prf_118  ... ok
[INFO] [stdout] test ascon_prf_119  ... ok
[INFO] [stdout] test ascon_prf_120  ... ok
[INFO] [stdout] test ascon_prf_121  ... ok
[INFO] [stdout] test ascon_prf_122  ... ok
[INFO] [stdout] test ascon_prf_124  ... ok
[INFO] [stdout] test ascon_prf_123  ... ok
[INFO] [stdout] test ascon_prf_125  ... ok
[INFO] [stdout] test ascon_prf_127  ... ok
[INFO] [stdout] test ascon_prf_128  ... ok
[INFO] [stdout] test ascon_prf_129  ... ok
[INFO] [stdout] test ascon_prf_131  ... ok
[INFO] [stdout] test ascon_prf_132  ... ok
[INFO] [stdout] test ascon_prf_133  ... ok
[INFO] [stdout] test ascon_prf_134  ... ok
[INFO] [stdout] test ascon_prf_135  ... ok
[INFO] [stdout] test ascon_prf_136  ... ok
[INFO] [stdout] test ascon_prf_137  ... ok
[INFO] [stdout] test ascon_prf_138  ... ok
[INFO] [stdout] test ascon_prf_139  ... ok
[INFO] [stdout] test ascon_prf_140  ... ok
[INFO] [stdout] test ascon_prf_141  ... ok
[INFO] [stdout] test ascon_prf_142  ... ok
[INFO] [stdout] test ascon_prf_143  ... ok
[INFO] [stdout] test ascon_prf_144  ... ok
[INFO] [stdout] test ascon_prf_145  ... ok
[INFO] [stdout] test ascon_prf_146  ... ok
[INFO] [stdout] test ascon_prf_147  ... ok
[INFO] [stdout] test ascon_prf_148  ... ok
[INFO] [stdout] test ascon_prf_149  ... ok
[INFO] [stdout] test ascon_prf_150  ... ok
[INFO] [stdout] test ascon_prf_151  ... ok
[INFO] [stdout] test ascon_prf_152  ... ok
[INFO] [stdout] test ascon_prf_153  ... ok
[INFO] [stdout] test ascon_prf_154  ... ok
[INFO] [stdout] test ascon_prf_155  ... ok
[INFO] [stdout] test ascon_prf_156  ... ok
[INFO] [stdout] test ascon_prf_157  ... ok
[INFO] [stdout] test ascon_prf_158  ... ok
[INFO] [stdout] test ascon_prf_159  ... ok
[INFO] [stdout] test ascon_prf_160  ... ok
[INFO] [stdout] test ascon_prf_161  ... ok
[INFO] [stdout] test ascon_prf_162  ... ok
[INFO] [stdout] test ascon_prf_164  ... ok
[INFO] [stdout] test ascon_prf_163  ... ok
[INFO] [stdout] test ascon_prf_165  ... ok
[INFO] [stdout] test ascon_prf_166  ... ok
[INFO] [stdout] test ascon_prf_167  ... ok
[INFO] [stdout] test ascon_prf_168  ... ok
[INFO] [stdout] test ascon_prf_170  ... ok
[INFO] [stdout] test ascon_prf_171  ... ok
[INFO] [stdout] test ascon_prf_169  ... ok
[INFO] [stdout] test ascon_prf_172  ... ok
[INFO] [stdout] test ascon_prf_173  ... ok
[INFO] [stdout] test ascon_prf_174  ... ok
[INFO] [stdout] test ascon_prf_176  ... ok
[INFO] [stdout] test ascon_prf_175  ... ok
[INFO] [stdout] test ascon_prf_177  ... ok
[INFO] [stdout] test ascon_prf_178  ... ok
[INFO] [stdout] test ascon_prf_179  ... ok
[INFO] [stdout] test ascon_prf_180  ... ok
[INFO] [stdout] test ascon_prf_181  ... ok
[INFO] [stdout] test ascon_prf_182  ... ok
[INFO] [stdout] test ascon_prf_184  ... ok
[INFO] [stdout] test ascon_prf_185  ... ok
[INFO] [stdout] test ascon_prf_183  ... ok
[INFO] [stdout] test ascon_prf_186  ... ok
[INFO] [stdout] test ascon_prf_188  ... ok
[INFO] [stdout] test ascon_prf_187  ... ok
[INFO] [stdout] test ascon_prf_189  ... ok
[INFO] [stdout] test ascon_prf_190  ... ok
[INFO] [stdout] test ascon_prf_191  ... ok
[INFO] [stdout] test ascon_prf_193  ... ok
[INFO] [stdout] test ascon_prf_192  ... ok
[INFO] [stdout] test ascon_prf_194  ... ok
[INFO] [stdout] test ascon_prf_195  ... ok
[INFO] [stdout] test ascon_prf_196  ... ok
[INFO] [stdout] test ascon_prf_198  ... ok
[INFO] [stdout] test ascon_prf_197  ... ok
[INFO] [stdout] test ascon_prf_199  ... ok
[INFO] [stdout] test ascon_prf_200  ... ok
[INFO] [stdout] test ascon_prf_201  ... ok
[INFO] [stdout] test ascon_prf_202  ... ok
[INFO] [stdout] test ascon_prf_203  ... ok
[INFO] [stdout] test ascon_prf_204  ... ok
[INFO] [stdout] test ascon_prf_205  ... ok
[INFO] [stdout] test ascon_prf_206  ... ok
[INFO] [stdout] test ascon_prf_207  ... ok
[INFO] [stdout] test ascon_prf_208  ... ok
[INFO] [stdout] test ascon_prf_209  ... ok
[INFO] [stdout] test ascon_prf_210  ... ok
[INFO] [stdout] test ascon_prf_212  ... ok
[INFO] [stdout] test ascon_prf_213  ... ok
[INFO] [stdout] test ascon_prf_211  ... ok
[INFO] [stdout] test ascon_prf_214  ... ok
[INFO] [stdout] test ascon_prf_215  ... ok
[INFO] [stdout] test ascon_prf_216  ... ok
[INFO] [stdout] test ascon_prf_217  ... ok
[INFO] [stdout] test ascon_prf_218  ... ok
[INFO] [stdout] test ascon_prf_219  ... ok
[INFO] [stdout] test ascon_prf_220  ... ok
[INFO] [stdout] test ascon_prf_222  ... ok
[INFO] [stdout] test ascon_prf_223  ... ok
[INFO] [stdout] test ascon_prf_224  ... ok
[INFO] [stdout] test ascon_prf_225  ... ok
[INFO] [stdout] test ascon_prf_226  ... ok
[INFO] [stdout] test ascon_prf_227  ... ok
[INFO] [stdout] test ascon_prf_228  ... ok
[INFO] [stdout] test ascon_prf_229  ... ok
[INFO] [stdout] test ascon_prf_230  ... ok
[INFO] [stdout] test ascon_prf_231  ... ok
[INFO] [stdout] test ascon_prf_232  ... ok
[INFO] [stdout] test ascon_prf_233  ... ok
[INFO] [stdout] test ascon_prf_234  ... ok
[INFO] [stdout] test ascon_prf_235  ... ok
[INFO] [stdout] test ascon_prf_236  ... ok
[INFO] [stdout] test ascon_prf_237  ... ok
[INFO] [stdout] test ascon_prf_238  ... ok
[INFO] [stdout] test ascon_prf_239  ... ok
[INFO] [stdout] test ascon_prf_240  ... ok
[INFO] [stdout] test ascon_prf_241  ... ok
[INFO] [stdout] test ascon_prf_242  ... ok
[INFO] [stdout] test ascon_prf_243  ... ok
[INFO] [stdout] test ascon_prf_244  ... ok
[INFO] [stdout] test ascon_prf_245  ... ok
[INFO] [stdout] test ascon_prf_246  ... ok
[INFO] [stdout] test ascon_prf_247  ... ok
[INFO] [stdout] test ascon_prf_248  ... ok
[INFO] [stdout] test ascon_prf_249  ... ok
[INFO] [stdout] test ascon_prf_250  ... ok
[INFO] [stdout] test ascon_prf_251  ... ok
[INFO] [stdout] test ascon_prf_252  ... ok
[INFO] [stdout] test ascon_prf_253  ... ok
[INFO] [stdout] test ascon_prf_254  ... ok
[INFO] [stdout] test ascon_prf_255  ... ok
[INFO] [stdout] test ascon_prf_256  ... ok
[INFO] [stdout] test ascon_prf_257  ... ok
[INFO] [stdout] test ascon_prf_258  ... ok
[INFO] [stdout] test ascon_prf_259  ... ok
[INFO] [stdout] test ascon_prf_260  ... ok
[INFO] [stdout] test ascon_prf_261  ... ok
[INFO] [stdout] test ascon_prf_262  ... ok
[INFO] [stdout] test ascon_prf_263  ... ok
[INFO] [stdout] test ascon_prf_264  ... ok
[INFO] [stdout] test ascon_prf_265  ... ok
[INFO] [stdout] test ascon_prf_266  ... ok
[INFO] [stdout] test ascon_prf_267  ... ok
[INFO] [stdout] test ascon_prf_268  ... ok
[INFO] [stdout] test ascon_prf_269  ... ok
[INFO] [stdout] test ascon_prf_270  ... ok
[INFO] [stdout] test ascon_prf_271  ... ok
[INFO] [stdout] test ascon_prf_272  ... ok
[INFO] [stdout] test ascon_prf_273  ... ok
[INFO] [stdout] test ascon_prf_274  ... ok
[INFO] [stdout] test ascon_prf_275  ... ok
[INFO] [stdout] test ascon_prf_276  ... ok
[INFO] [stdout] test ascon_prf_277  ... ok
[INFO] [stdout] test ascon_prf_278  ... ok
[INFO] [stdout] test ascon_prf_279  ... ok
[INFO] [stdout] test ascon_prf_280  ... ok
[INFO] [stdout] test ascon_prf_281  ... ok
[INFO] [stdout] test ascon_prf_282  ... ok
[INFO] [stdout] test ascon_prf_283  ... ok
[INFO] [stdout] test ascon_prf_284  ... ok
[INFO] [stdout] test ascon_prf_285  ... ok
[INFO] [stdout] test ascon_prf_286  ... ok
[INFO] [stdout] test ascon_prf_287  ... ok
[INFO] [stdout] test ascon_prf_288  ... ok
[INFO] [stdout] test ascon_prf_289  ... ok
[INFO] [stdout] test ascon_prf_290  ... ok
[INFO] [stdout] test ascon_prf_291  ... ok
[INFO] [stdout] test ascon_prf_292  ... ok
[INFO] [stdout] test ascon_prf_293  ... ok
[INFO] [stdout] test ascon_prf_294  ... ok
[INFO] [stdout] test ascon_prf_295  ... ok
[INFO] [stdout] test ascon_prf_296  ... ok
[INFO] [stdout] test ascon_prf_297  ... ok
[INFO] [stdout] test ascon_prf_298  ... ok
[INFO] [stdout] test ascon_prf_299  ... ok
[INFO] [stdout] test ascon_prf_300  ... ok
[INFO] [stdout] test ascon_prf_301  ... ok
[INFO] [stdout] test ascon_prf_302  ... ok
[INFO] [stdout] test ascon_prf_303  ... ok
[INFO] [stdout] test ascon_prf_304  ... ok
[INFO] [stdout] test ascon_prf_305  ... ok
[INFO] [stdout] test ascon_prf_306  ... ok
[INFO] [stdout] test ascon_prf_307  ... ok
[INFO] [stdout] test ascon_prf_308  ... ok
[INFO] [stdout] test ascon_prf_309  ... ok
[INFO] [stdout] test ascon_prf_310  ... ok
[INFO] [stdout] test ascon_prf_311  ... ok
[INFO] [stdout] test ascon_prf_312  ... ok
[INFO] [stdout] test ascon_prf_313  ... ok
[INFO] [stdout] test ascon_prf_314  ... ok
[INFO] [stdout] test ascon_prf_315  ... ok
[INFO] [stdout] test ascon_prf_316  ... ok
[INFO] [stdout] test ascon_prf_317  ... ok
[INFO] [stdout] test ascon_prf_318  ... ok
[INFO] [stdout] test ascon_prf_319  ... ok
[INFO] [stdout] test ascon_prf_320  ... ok
[INFO] [stdout] test ascon_prf_321  ... ok
[INFO] [stdout] test ascon_prf_322  ... ok
[INFO] [stdout] test ascon_prf_323  ... ok
[INFO] [stdout] test ascon_prf_324  ... ok
[INFO] [stdout] test ascon_prf_325  ... ok
[INFO] [stdout] test ascon_prf_326  ... ok
[INFO] [stdout] test ascon_prf_327  ... ok
[INFO] [stdout] test ascon_prf_328  ... ok
[INFO] [stdout] test ascon_prf_329  ... ok
[INFO] [stdout] test ascon_prf_330  ... ok
[INFO] [stdout] test ascon_prf_331  ... ok
[INFO] [stdout] test ascon_prf_332  ... ok
[INFO] [stdout] test ascon_prf_333  ... ok
[INFO] [stdout] test ascon_prf_334  ... ok
[INFO] [stdout] test ascon_prf_335  ... ok
[INFO] [stdout] test ascon_prf_336  ... ok
[INFO] [stdout] test ascon_prf_337  ... ok
[INFO] [stdout] test ascon_prf_338  ... ok
[INFO] [stdout] test ascon_prf_339  ... ok
[INFO] [stdout] test ascon_prf_340  ... ok
[INFO] [stdout] test ascon_prf_341  ... ok
[INFO] [stdout] test ascon_prf_342  ... ok
[INFO] [stdout] test ascon_prf_343  ... ok
[INFO] [stdout] test ascon_prf_344  ... ok
[INFO] [stdout] test ascon_prf_345  ... ok
[INFO] [stdout] test ascon_prf_346  ... ok
[INFO] [stdout] test ascon_prf_347  ... ok
[INFO] [stdout] test ascon_prf_348  ... ok
[INFO] [stdout] test ascon_prf_349  ... ok
[INFO] [stdout] test ascon_prf_350  ... ok
[INFO] [stdout] test ascon_prf_351  ... ok
[INFO] [stdout] test ascon_prf_352  ... ok
[INFO] [stdout] test ascon_prf_353  ... ok
[INFO] [stdout] test ascon_prf_354  ... ok
[INFO] [stdout] test ascon_prf_355  ... ok
[INFO] [stdout] test ascon_prf_356  ... ok
[INFO] [stdout] test ascon_prf_357  ... ok
[INFO] [stdout] test ascon_prf_358  ... ok
[INFO] [stdout] test ascon_prf_359  ... ok
[INFO] [stdout] test ascon_prf_360  ... ok
[INFO] [stdout] test ascon_prf_361  ... ok
[INFO] [stdout] test ascon_prf_362  ... ok
[INFO] [stdout] test ascon_prf_363  ... ok
[INFO] [stdout] test ascon_prf_364  ... ok
[INFO] [stdout] test ascon_prf_365  ... ok
[INFO] [stdout] test ascon_prf_366  ... ok
[INFO] [stdout] test ascon_prf_367  ... ok
[INFO] [stdout] test ascon_prf_368  ... ok
[INFO] [stdout] test ascon_prf_369  ... ok
[INFO] [stdout] test ascon_prf_370  ... ok
[INFO] [stdout] test ascon_prf_371  ... ok
[INFO] [stdout] test ascon_prf_372  ... ok
[INFO] [stdout] test ascon_prf_373  ... ok
[INFO] [stdout] test ascon_prf_374  ... ok
[INFO] [stdout] test ascon_prf_375  ... ok
[INFO] [stdout] test ascon_prf_376  ... ok
[INFO] [stdout] test ascon_prf_377  ... ok
[INFO] [stdout] test ascon_prf_378  ... ok
[INFO] [stdout] test ascon_prf_379  ... ok
[INFO] [stdout] test ascon_prf_380  ... ok
[INFO] [stdout] test ascon_prf_381  ... ok
[INFO] [stdout] test ascon_prf_382  ... ok
[INFO] [stdout] test ascon_prf_383  ... ok
[INFO] [stdout] test ascon_prf_384  ... ok
[INFO] [stdout] test ascon_prf_385  ... ok
[INFO] [stdout] test ascon_prf_386  ... ok
[INFO] [stdout] test ascon_prf_387  ... ok
[INFO] [stdout] test ascon_prf_388  ... ok
[INFO] [stdout] test ascon_prf_389  ... ok
[INFO] [stdout] test ascon_prf_390  ... ok
[INFO] [stdout] test ascon_prf_391  ... ok
[INFO] [stdout] test ascon_prf_392  ... ok
[INFO] [stdout] test ascon_prf_393  ... ok
[INFO] [stdout] test ascon_prf_394  ... ok
[INFO] [stdout] test ascon_prf_395  ... ok
[INFO] [stdout] test ascon_prf_396  ... ok
[INFO] [stdout] test ascon_prf_397  ... ok
[INFO] [stdout] test ascon_prf_398  ... ok
[INFO] [stdout] test ascon_prf_399  ... ok
[INFO] [stdout] test ascon_prf_400  ... ok
[INFO] [stdout] test ascon_prf_401  ... ok
[INFO] [stdout] test ascon_prf_402  ... ok
[INFO] [stdout] test ascon_prf_403  ... ok
[INFO] [stdout] test ascon_prf_404  ... ok
[INFO] [stdout] test ascon_prf_405  ... ok
[INFO] [stdout] test ascon_prf_406  ... ok
[INFO] [stdout] test ascon_prf_407  ... ok
[INFO] [stdout] test ascon_prf_408  ... ok
[INFO] [stdout] test ascon_prf_409  ... ok
[INFO] [stdout] test ascon_prf_411  ... ok
[INFO] [stdout] test ascon_prf_410  ... ok
[INFO] [stdout] test ascon_prf_412  ... ok
[INFO] [stdout] test ascon_prf_413  ... ok
[INFO] [stdout] test ascon_prf_414  ... ok
[INFO] [stdout] test ascon_prf_415  ... ok
[INFO] [stdout] test ascon_prf_416  ... ok
[INFO] [stdout] test ascon_prf_417  ... ok
[INFO] [stdout] test ascon_prf_418  ... ok
[INFO] [stdout] test ascon_prf_419  ... ok
[INFO] [stdout] test ascon_prf_420  ... ok
[INFO] [stdout] test ascon_prf_421  ... ok
[INFO] [stdout] test ascon_prf_422  ... ok
[INFO] [stdout] test ascon_prf_423  ... ok
[INFO] [stdout] test ascon_prf_424  ... ok
[INFO] [stdout] test ascon_prf_425  ... ok
[INFO] [stdout] test ascon_prf_426  ... ok
[INFO] [stdout] test ascon_prf_427  ... ok
[INFO] [stdout] test ascon_prf_428  ... ok
[INFO] [stdout] test ascon_prf_429  ... ok
[INFO] [stdout] test ascon_prf_431  ... ok
[INFO] [stdout] test ascon_prf_430  ... ok
[INFO] [stdout] test ascon_prf_432  ... ok
[INFO] [stdout] test ascon_prf_433  ... ok
[INFO] [stdout] test ascon_prf_434  ... ok
[INFO] [stdout] test ascon_prf_435  ... ok
[INFO] [stdout] test ascon_prf_436  ... ok
[INFO] [stdout] test ascon_prf_438  ... ok
[INFO] [stdout] test ascon_prf_437  ... ok
[INFO] [stdout] test ascon_prf_439  ... ok
[INFO] [stdout] test ascon_prf_440  ... ok
[INFO] [stdout] test ascon_prf_441  ... ok
[INFO] [stdout] test ascon_prf_442  ... ok
[INFO] [stdout] test ascon_prf_443  ... ok
[INFO] [stdout] test ascon_prf_444  ... ok
[INFO] [stdout] test ascon_prf_445  ... ok
[INFO] [stdout] test ascon_prf_446  ... ok
[INFO] [stdout] test ascon_prf_447  ... ok
[INFO] [stdout] test ascon_prf_448  ... ok
[INFO] [stdout] test ascon_prf_449  ... ok
[INFO] [stdout] test ascon_prf_450  ... ok
[INFO] [stdout] test ascon_prf_451  ... ok
[INFO] [stdout] test ascon_prf_452  ... ok
[INFO] [stdout] test ascon_prf_453  ... ok
[INFO] [stdout] test ascon_prf_454  ... ok
[INFO] [stdout] test ascon_prf_455  ... ok
[INFO] [stdout] test ascon_prf_456  ... ok
[INFO] [stdout] test ascon_prf_457  ... ok
[INFO] [stdout] test ascon_prf_458  ... ok
[INFO] [stdout] test ascon_prf_459  ... ok
[INFO] [stdout] test ascon_prf_460  ... ok
[INFO] [stdout] test ascon_prf_461  ... ok
[INFO] [stdout] test ascon_prf_462  ... ok
[INFO] [stdout] test ascon_prf_463  ... ok
[INFO] [stdout] test ascon_prf_464  ... ok
[INFO] [stdout] test ascon_prf_465  ... ok
[INFO] [stdout] test ascon_prf_466  ... ok
[INFO] [stdout] test ascon_prf_467  ... ok
[INFO] [stdout] test ascon_prf_468  ... ok
[INFO] [stdout] test ascon_prf_469  ... ok
[INFO] [stdout] test ascon_prf_471  ... ok
[INFO] [stdout] test ascon_prf_472  ... ok
[INFO] [stdout] test ascon_prf_473  ... ok
[INFO] [stdout] test ascon_prf_474  ... ok
[INFO] [stdout] test ascon_prf_475  ... ok
[INFO] [stdout] test ascon_prf_476  ... ok
[INFO] [stdout] test ascon_prf_477  ... ok
[INFO] [stdout] test ascon_prf_478  ... ok
[INFO] [stdout] test ascon_prf_479  ... ok
[INFO] [stdout] test ascon_prf_480  ... ok
[INFO] [stdout] test ascon_prf_481  ... ok
[INFO] [stdout] test ascon_prf_482  ... ok
[INFO] [stdout] test ascon_prf_483  ... ok
[INFO] [stdout] test ascon_prf_484  ... ok
[INFO] [stdout] test ascon_prf_485  ... ok
[INFO] [stdout] test ascon_prf_486  ... ok
[INFO] [stdout] test ascon_prf_487  ... ok
[INFO] [stdout] test ascon_prf_488  ... ok
[INFO] [stdout] test ascon_prf_489  ... ok
[INFO] [stdout] test ascon_prf_490  ... ok
[INFO] [stdout] test ascon_prf_491  ... ok
[INFO] [stdout] test ascon_prf_492  ... ok
[INFO] [stdout] test ascon_prf_493  ... ok
[INFO] [stdout] test ascon_prf_494  ... ok
[INFO] [stdout] test ascon_prf_495  ... ok
[INFO] [stdout] test ascon_prf_496  ... ok
[INFO] [stdout] test ascon_prf_497  ... ok
[INFO] [stdout] test ascon_prf_498  ... ok
[INFO] [stdout] test ascon_prf_499  ... ok
[INFO] [stdout] test ascon_prf_500  ... ok
[INFO] [stdout] test ascon_prf_501  ... ok
[INFO] [stdout] test ascon_prf_502  ... ok
[INFO] [stdout] test ascon_prf_503  ... ok
[INFO] [stdout] test ascon_prf_504  ... ok
[INFO] [stdout] test ascon_prf_505  ... ok
[INFO] [stdout] test ascon_prf_506  ... ok
[INFO] [stdout] test ascon_prf_507  ... ok
[INFO] [stdout] test ascon_prf_508  ... ok
[INFO] [stdout] test ascon_prf_509  ... ok
[INFO] [stdout] test ascon_prf_510  ... ok
[INFO] [stdout] test ascon_prf_511  ... ok
[INFO] [stdout] test ascon_prf_512  ... ok
[INFO] [stdout] test ascon_prf_513  ... ok
[INFO] [stdout] test ascon_prf_514  ... ok
[INFO] [stdout] test ascon_prf_515  ... ok
[INFO] [stdout] test ascon_prf_516  ... ok
[INFO] [stdout] test ascon_prf_517  ... ok
[INFO] [stdout] test ascon_prf_518  ... ok
[INFO] [stdout] test ascon_prf_519  ... ok
[INFO] [stdout] test ascon_prf_520  ... ok
[INFO] [stdout] test ascon_prf_521  ... ok
[INFO] [stdout] test ascon_prf_522  ... ok
[INFO] [stdout] test ascon_prf_523  ... ok
[INFO] [stdout] test ascon_prf_524  ... ok
[INFO] [stdout] test ascon_prf_525  ... ok
[INFO] [stdout] test ascon_prf_526  ... ok
[INFO] [stdout] test ascon_prf_527  ... ok
[INFO] [stdout] test ascon_prf_528  ... ok
[INFO] [stdout] test ascon_prf_529  ... ok
[INFO] [stdout] test ascon_prf_530  ... ok
[INFO] [stdout] test ascon_prf_531  ... ok
[INFO] [stdout] test ascon_prf_532  ... ok
[INFO] [stdout] test ascon_prf_533  ... ok
[INFO] [stdout] test ascon_prf_534  ... ok
[INFO] [stdout] test ascon_prf_535  ... ok
[INFO] [stdout] test ascon_prf_536  ... ok
[INFO] [stdout] test ascon_prf_537  ... ok
[INFO] [stdout] test ascon_prf_538  ... ok
[INFO] [stdout] test ascon_prf_539  ... ok
[INFO] [stdout] test ascon_prf_221  ... ok
[INFO] [stdout] test ascon_prf_540  ... ok
[INFO] [stdout] test ascon_prf_541  ... ok
[INFO] [stdout] test ascon_prf_542  ... ok
[INFO] [stdout] test ascon_prf_543  ... ok
[INFO] [stdout] test ascon_prf_544  ... ok
[INFO] [stdout] test ascon_prf_545  ... ok
[INFO] [stdout] test ascon_prf_547  ... ok
[INFO] [stdout] test ascon_prf_548  ... ok
[INFO] [stdout] test ascon_prf_546  ... ok
[INFO] [stdout] test ascon_prf_549  ... ok
[INFO] [stdout] test ascon_prf_551  ... ok
[INFO] [stdout] test ascon_prf_550  ... ok
[INFO] [stdout] test ascon_prf_552  ... ok
[INFO] [stdout] test ascon_prf_554  ... ok
[INFO] [stdout] test ascon_prf_553  ... ok
[INFO] [stdout] test ascon_prf_555  ... ok
[INFO] [stdout] test ascon_prf_556  ... ok
[INFO] [stdout] test ascon_prf_557  ... ok
[INFO] [stdout] test ascon_prf_558  ... ok
[INFO] [stdout] test ascon_prf_559  ... ok
[INFO] [stdout] test ascon_prf_561  ... ok
[INFO] [stdout] test ascon_prf_560  ... ok
[INFO] [stdout] test ascon_prf_562  ... ok
[INFO] [stdout] test ascon_prf_563  ... ok
[INFO] [stdout] test ascon_prf_564  ... ok
[INFO] [stdout] test ascon_prf_565  ... ok
[INFO] [stdout] test ascon_prf_566  ... ok
[INFO] [stdout] test ascon_prf_568  ... ok
[INFO] [stdout] test ascon_prf_567  ... ok
[INFO] [stdout] test ascon_prf_569  ... ok
[INFO] [stdout] test ascon_prf_570  ... ok
[INFO] [stdout] test ascon_prf_571  ... ok
[INFO] [stdout] test ascon_prf_572  ... ok
[INFO] [stdout] test ascon_prf_573  ... ok
[INFO] [stdout] test ascon_prf_575  ... ok
[INFO] [stdout] test ascon_prf_574  ... ok
[INFO] [stdout] test ascon_prf_576  ... ok
[INFO] [stdout] test ascon_prf_577  ... ok
[INFO] [stdout] test ascon_prf_578  ... ok
[INFO] [stdout] test ascon_prf_579  ... ok
[INFO] [stdout] test ascon_prf_580  ... ok
[INFO] [stdout] test ascon_prf_582  ... ok
[INFO] [stdout] test ascon_prf_581  ... ok
[INFO] [stdout] test ascon_prf_583  ... ok
[INFO] [stdout] test ascon_prf_584  ... ok
[INFO] [stdout] test ascon_prf_585  ... ok
[INFO] [stdout] test ascon_prf_586  ... ok
[INFO] [stdout] test ascon_prf_587  ... ok
[INFO] [stdout] test ascon_prf_588  ... ok
[INFO] [stdout] test ascon_prf_589  ... ok
[INFO] [stdout] test ascon_prf_590  ... ok
[INFO] [stdout] test ascon_prf_591  ... ok
[INFO] [stdout] test ascon_prf_592  ... ok
[INFO] [stdout] test ascon_prf_593  ... ok
[INFO] [stdout] test ascon_prf_594  ... ok
[INFO] [stdout] test ascon_prf_596  ... ok
[INFO] [stdout] test ascon_prf_595  ... ok
[INFO] [stdout] test ascon_prf_597  ... ok
[INFO] [stdout] test ascon_prf_598  ... ok
[INFO] [stdout] test ascon_prf_599  ... ok
[INFO] [stdout] test ascon_prf_601  ... ok
[INFO] [stdout] test ascon_prf_600  ... ok
[INFO] [stdout] test ascon_prf_602  ... ok
[INFO] [stdout] test ascon_prf_603  ... ok
[INFO] [stdout] test ascon_prf_604  ... ok
[INFO] [stdout] test ascon_prf_605  ... ok
[INFO] [stdout] test ascon_prf_606  ... ok
[INFO] [stdout] test ascon_prf_607  ... ok
[INFO] [stdout] test ascon_prf_608  ... ok
[INFO] [stdout] test ascon_prf_610  ... ok
[INFO] [stdout] test ascon_prf_609  ... ok
[INFO] [stdout] test ascon_prf_611  ... ok
[INFO] [stdout] test ascon_prf_612  ... ok
[INFO] [stdout] test ascon_prf_613  ... ok
[INFO] [stdout] test ascon_prf_614  ... ok
[INFO] [stdout] test ascon_prf_615  ... ok
[INFO] [stdout] test ascon_prf_616  ... ok
[INFO] [stdout] test ascon_prf_617  ... ok
[INFO] [stdout] test ascon_prf_618  ... ok
[INFO] [stdout] test ascon_prf_619  ... ok
[INFO] [stdout] test ascon_prf_620  ... ok
[INFO] [stdout] test ascon_prf_621  ... ok
[INFO] [stdout] test ascon_prf_622  ... ok
[INFO] [stdout] test ascon_prf_624  ... ok
[INFO] [stdout] test ascon_prf_623  ... ok
[INFO] [stdout] test ascon_prf_626  ... ok
[INFO] [stdout] test ascon_prf_627  ... ok
[INFO] [stdout] test ascon_prf_628  ... ok
[INFO] [stdout] test ascon_prf_629  ... ok
[INFO] [stdout] test ascon_prf_630  ... ok
[INFO] [stdout] test ascon_prf_631  ... ok
[INFO] [stdout] test ascon_prf_632  ... ok
[INFO] [stdout] test ascon_prf_633  ... ok
[INFO] [stdout] test ascon_prf_634  ... ok
[INFO] [stdout] test ascon_prf_635  ... ok
[INFO] [stdout] test ascon_prf_636  ... ok
[INFO] [stdout] test ascon_prf_637  ... ok
[INFO] [stdout] test ascon_prf_638  ... ok
[INFO] [stdout] test ascon_prf_639  ... ok
[INFO] [stdout] test ascon_prf_640  ... ok
[INFO] [stdout] test ascon_prf_641  ... ok
[INFO] [stdout] test ascon_prf_642  ... ok
[INFO] [stdout] test ascon_prf_643  ... ok
[INFO] [stdout] test ascon_prf_644  ... ok
[INFO] [stdout] test ascon_prf_645  ... ok
[INFO] [stdout] test ascon_prf_646  ... ok
[INFO] [stdout] test ascon_prf_647  ... ok
[INFO] [stdout] test ascon_prf_648  ... ok
[INFO] [stdout] test ascon_prf_649  ... ok
[INFO] [stdout] test ascon_prf_650  ... ok
[INFO] [stdout] test ascon_prf_651  ... ok
[INFO] [stdout] test ascon_prf_652  ... ok
[INFO] [stdout] test ascon_prf_653  ... ok
[INFO] [stdout] test ascon_prf_654  ... ok
[INFO] [stdout] test ascon_prf_655  ... ok
[INFO] [stdout] test ascon_prf_656  ... ok
[INFO] [stdout] test ascon_prf_657  ... ok
[INFO] [stdout] test ascon_prf_658  ... ok
[INFO] [stdout] test ascon_prf_659  ... ok
[INFO] [stdout] test ascon_prf_660  ... ok
[INFO] [stdout] test ascon_prf_661  ... ok
[INFO] [stdout] test ascon_prf_662  ... ok
[INFO] [stdout] test ascon_prf_663  ... ok
[INFO] [stdout] test ascon_prf_664  ... ok
[INFO] [stdout] test ascon_prf_665  ... ok
[INFO] [stdout] test ascon_prf_666  ... ok
[INFO] [stdout] test ascon_prf_668  ... ok
[INFO] [stdout] test ascon_prf_669  ... ok
[INFO] [stdout] test ascon_prf_670  ... ok
[INFO] [stdout] test ascon_prf_671  ... ok
[INFO] [stdout] test ascon_prf_672  ... ok
[INFO] [stdout] test ascon_prf_673  ... ok
[INFO] [stdout] test ascon_prf_674  ... ok
[INFO] [stdout] test ascon_prf_675  ... ok
[INFO] [stdout] test ascon_prf_676  ... ok
[INFO] [stdout] test ascon_prf_677  ... ok
[INFO] [stdout] test ascon_prf_678  ... ok
[INFO] [stdout] test ascon_prf_679  ... ok
[INFO] [stdout] test ascon_prf_680  ... ok
[INFO] [stdout] test ascon_prf_681  ... ok
[INFO] [stdout] test ascon_prf_682  ... ok
[INFO] [stdout] test ascon_prf_683  ... ok
[INFO] [stdout] test ascon_prf_684  ... ok
[INFO] [stdout] test ascon_prf_685  ... ok
[INFO] [stdout] test ascon_prf_686  ... ok
[INFO] [stdout] test ascon_prf_688  ... ok
[INFO] [stdout] test ascon_prf_687  ... ok
[INFO] [stdout] test ascon_prf_689  ... ok
[INFO] [stdout] test ascon_prf_690  ... ok
[INFO] [stdout] test ascon_prf_691  ... ok
[INFO] [stdout] test ascon_prf_692  ... ok
[INFO] [stdout] test ascon_prf_693  ... ok
[INFO] [stdout] test ascon_prf_694  ... ok
[INFO] [stdout] test ascon_prf_695  ... ok
[INFO] [stdout] test ascon_prf_696  ... ok
[INFO] [stdout] test ascon_prf_697  ... ok
[INFO] [stdout] test ascon_prf_699  ... ok
[INFO] [stdout] test ascon_prf_698  ... ok
[INFO] [stdout] test ascon_prf_700  ... ok
[INFO] [stdout] test ascon_prf_701  ... ok
[INFO] [stdout] test ascon_prf_702  ... ok
[INFO] [stdout] test ascon_prf_703  ... ok
[INFO] [stdout] test ascon_prf_704  ... ok
[INFO] [stdout] test ascon_prf_705  ... ok
[INFO] [stdout] test ascon_prf_706  ... ok
[INFO] [stdout] test ascon_prf_707  ... ok
[INFO] [stdout] test ascon_prf_708  ... ok
[INFO] [stdout] test ascon_prf_709  ... ok
[INFO] [stdout] test ascon_prf_710  ... ok
[INFO] [stdout] test ascon_prf_711  ... ok
[INFO] [stdout] test ascon_prf_712  ... ok
[INFO] [stdout] test ascon_prf_713  ... ok
[INFO] [stdout] test ascon_prf_714  ... ok
[INFO] [stdout] test ascon_prf_715  ... ok
[INFO] [stdout] test ascon_prf_716  ... ok
[INFO] [stdout] test ascon_prf_718  ... ok
[INFO] [stdout] test ascon_prf_717  ... ok
[INFO] [stdout] test ascon_prf_719  ... ok
[INFO] [stdout] test ascon_prf_720  ... ok
[INFO] [stdout] test ascon_prf_722  ... ok
[INFO] [stdout] test ascon_prf_723  ... ok
[INFO] [stdout] test ascon_prf_721  ... ok
[INFO] [stdout] test ascon_prf_724  ... ok
[INFO] [stdout] test ascon_prf_725  ... ok
[INFO] [stdout] test ascon_prf_726  ... ok
[INFO] [stdout] test ascon_prf_727  ... ok
[INFO] [stdout] test ascon_prf_728  ... ok
[INFO] [stdout] test ascon_prf_729  ... ok
[INFO] [stdout] test ascon_prf_730  ... ok
[INFO] [stdout] test ascon_prf_731  ... ok
[INFO] [stdout] test ascon_prf_732  ... ok
[INFO] [stdout] test ascon_prf_733  ... ok
[INFO] [stdout] test ascon_prf_734  ... ok
[INFO] [stdout] test ascon_prf_735  ... ok
[INFO] [stdout] test ascon_prf_737  ... ok
[INFO] [stdout] test ascon_prf_736  ... ok
[INFO] [stdout] test ascon_prf_738  ... ok
[INFO] [stdout] test ascon_prf_739  ... ok
[INFO] [stdout] test ascon_prf_740  ... ok
[INFO] [stdout] test ascon_prf_741  ... ok
[INFO] [stdout] test ascon_prf_742  ... ok
[INFO] [stdout] test ascon_prf_743  ... ok
[INFO] [stdout] test ascon_prf_744  ... ok
[INFO] [stdout] test ascon_prf_745  ... ok
[INFO] [stdout] test ascon_prf_746  ... ok
[INFO] [stdout] test ascon_prf_747  ... ok
[INFO] [stdout] test ascon_prf_748  ... ok
[INFO] [stdout] test ascon_prf_750  ... ok
[INFO] [stdout] test ascon_prf_751  ... ok
[INFO] [stdout] test ascon_prf_749  ... ok
[INFO] [stdout] test ascon_prf_752  ... ok
[INFO] [stdout] test ascon_prf_753  ... ok
[INFO] [stdout] test ascon_prf_754  ... ok
[INFO] [stdout] test ascon_prf_755  ... ok
[INFO] [stdout] test ascon_prf_756  ... ok
[INFO] [stdout] test ascon_prf_757  ... ok
[INFO] [stdout] test ascon_prf_758  ... ok
[INFO] [stdout] test ascon_prf_759  ... ok
[INFO] [stdout] test ascon_prf_760  ... ok
[INFO] [stdout] test ascon_prf_761  ... ok
[INFO] [stdout] test ascon_prf_762  ... ok
[INFO] [stdout] test ascon_prf_763  ... ok
[INFO] [stdout] test ascon_prf_764  ... ok
[INFO] [stdout] test ascon_prf_766  ... ok
[INFO] [stdout] test ascon_prf_765  ... ok
[INFO] [stdout] test ascon_prf_767  ... ok
[INFO] [stdout] test ascon_prf_768  ... ok
[INFO] [stdout] test ascon_prf_770  ... ok
[INFO] [stdout] test ascon_prf_769  ... ok
[INFO] [stdout] test ascon_prf_771  ... ok
[INFO] [stdout] test ascon_prf_772  ... ok
[INFO] [stdout] test ascon_prf_774  ... ok
[INFO] [stdout] test ascon_prf_773  ... ok
[INFO] [stdout] test ascon_prf_775  ... ok
[INFO] [stdout] test ascon_prf_776  ... ok
[INFO] [stdout] test ascon_prf_778  ... ok
[INFO] [stdout] test ascon_prf_777  ... ok
[INFO] [stdout] test ascon_prf_779  ... ok
[INFO] [stdout] test ascon_prf_780  ... ok
[INFO] [stdout] test ascon_prf_781  ... ok
[INFO] [stdout] test ascon_prf_783  ... ok
[INFO] [stdout] test ascon_prf_784  ... ok
[INFO] [stdout] test ascon_prf_785  ... ok
[INFO] [stdout] test ascon_prf_786  ... ok
[INFO] [stdout] test ascon_prf_787  ... ok
[INFO] [stdout] test ascon_prf_788  ... ok
[INFO] [stdout] test ascon_prf_789  ... ok
[INFO] [stdout] test ascon_prf_790  ... ok
[INFO] [stdout] test ascon_prf_791  ... ok
[INFO] [stdout] test ascon_prf_792  ... ok
[INFO] [stdout] test ascon_prf_793  ... ok
[INFO] [stdout] test ascon_prf_794  ... ok
[INFO] [stdout] test ascon_prf_795  ... ok
[INFO] [stdout] test ascon_prf_796  ... ok
[INFO] [stdout] test ascon_prf_797  ... ok
[INFO] [stdout] test ascon_prf_798  ... ok
[INFO] [stdout] test ascon_prf_799  ... ok
[INFO] [stdout] test ascon_prf_800  ... ok
[INFO] [stdout] test ascon_prf_801  ... ok
[INFO] [stdout] test ascon_prf_802  ... ok
[INFO] [stdout] test ascon_prf_803  ... ok
[INFO] [stdout] test ascon_prf_804  ... ok
[INFO] [stdout] test ascon_prf_470  ... ok
[INFO] [stdout] test ascon_prf_806  ... ok
[INFO] [stdout] test ascon_prf_807  ... ok
[INFO] [stdout] test ascon_prf_808  ... ok
[INFO] [stdout] test ascon_prf_809  ... ok
[INFO] [stdout] test ascon_prf_810  ... ok
[INFO] [stdout] test ascon_prf_811  ... ok
[INFO] [stdout] test ascon_prf_812  ... ok
[INFO] [stdout] test ascon_prf_813  ... ok
[INFO] [stdout] test ascon_prf_814  ... ok
[INFO] [stdout] test ascon_prf_815  ... ok
[INFO] [stdout] test ascon_prf_816  ... ok
[INFO] [stdout] test ascon_prf_817  ... ok
[INFO] [stdout] test ascon_prf_818  ... ok
[INFO] [stdout] test ascon_prf_819  ... ok
[INFO] [stdout] test ascon_prf_820  ... ok
[INFO] [stdout] test ascon_prf_821  ... ok
[INFO] [stdout] test ascon_prf_822  ... ok
[INFO] [stdout] test ascon_prf_823  ... ok
[INFO] [stdout] test ascon_prf_824  ... ok
[INFO] [stdout] test ascon_prf_825  ... ok
[INFO] [stdout] test ascon_prf_826  ... ok
[INFO] [stdout] test ascon_prf_827  ... ok
[INFO] [stdout] test ascon_prf_828  ... ok
[INFO] [stdout] test ascon_prf_829  ... ok
[INFO] [stdout] test ascon_prf_830  ... ok
[INFO] [stdout] test ascon_prf_831  ... ok
[INFO] [stdout] test ascon_prf_832  ... ok
[INFO] [stdout] test ascon_prf_625  ... ok
[INFO] [stdout] test ascon_prf_834  ... ok
[INFO] [stdout] test ascon_prf_835  ... ok
[INFO] [stdout] test ascon_prf_836  ... ok
[INFO] [stdout] test ascon_prf_837  ... ok
[INFO] [stdout] test ascon_prf_838  ... ok
[INFO] [stdout] test ascon_prf_839  ... ok
[INFO] [stdout] test ascon_prf_840  ... ok
[INFO] [stdout] test ascon_prf_841  ... ok
[INFO] [stdout] test ascon_prf_842  ... ok
[INFO] [stdout] test ascon_prf_843  ... ok
[INFO] [stdout] test ascon_prf_844  ... ok
[INFO] [stdout] test ascon_prf_845  ... ok
[INFO] [stdout] test ascon_prf_846  ... ok
[INFO] [stdout] test ascon_prf_847  ... ok
[INFO] [stdout] test ascon_prf_848  ... ok
[INFO] [stdout] test ascon_prf_849  ... ok
[INFO] [stdout] test ascon_prf_850  ... ok
[INFO] [stdout] test ascon_prf_851  ... ok
[INFO] [stdout] test ascon_prf_852  ... ok
[INFO] [stdout] test ascon_prf_853  ... ok
[INFO] [stdout] test ascon_prf_854  ... ok
[INFO] [stdout] test ascon_prf_855  ... ok
[INFO] [stdout] test ascon_prf_856  ... ok
[INFO] [stdout] test ascon_prf_857  ... ok
[INFO] [stdout] test ascon_prf_858  ... ok
[INFO] [stdout] test ascon_prf_859  ... ok
[INFO] [stdout] test ascon_prf_860  ... ok
[INFO] [stdout] test ascon_prf_126  ... ok
[INFO] [stdout] test ascon_prf_862  ... ok
[INFO] [stdout] test ascon_prf_863  ... ok
[INFO] [stdout] test ascon_prf_864  ... ok
[INFO] [stdout] test ascon_prf_865  ... ok
[INFO] [stdout] test ascon_prf_866  ... ok
[INFO] [stdout] test ascon_prf_867  ... ok
[INFO] [stdout] test ascon_prf_868  ... ok
[INFO] [stdout] test ascon_prf_869  ... ok
[INFO] [stdout] test ascon_prf_870  ... ok
[INFO] [stdout] test ascon_prf_871  ... ok
[INFO] [stdout] test ascon_prf_872  ... ok
[INFO] [stdout] test ascon_prf_873  ... ok
[INFO] [stdout] test ascon_prf_874  ... ok
[INFO] [stdout] test ascon_prf_875  ... ok
[INFO] [stdout] test ascon_prf_876  ... ok
[INFO] [stdout] test ascon_prf_877  ... ok
[INFO] [stdout] test ascon_prf_878  ... ok
[INFO] [stdout] test ascon_prf_879  ... ok
[INFO] [stdout] test ascon_prf_880  ... ok
[INFO] [stdout] test ascon_prf_881  ... ok
[INFO] [stdout] test ascon_prf_882  ... ok
[INFO] [stdout] test ascon_prf_883  ... ok
[INFO] [stdout] test ascon_prf_884  ... ok
[INFO] [stdout] test ascon_prf_885  ... ok
[INFO] [stdout] test ascon_prf_886  ... ok
[INFO] [stdout] test ascon_prf_887  ... ok
[INFO] [stdout] test ascon_prf_888  ... ok
[INFO] [stdout] test ascon_prf_667  ... ok
[INFO] [stdout] test ascon_prf_890  ... ok
[INFO] [stdout] test ascon_prf_891  ... ok
[INFO] [stdout] test ascon_prf_892  ... ok
[INFO] [stdout] test ascon_prf_893  ... ok
[INFO] [stdout] test ascon_prf_894  ... ok
[INFO] [stdout] test ascon_prf_895  ... ok
[INFO] [stdout] test ascon_prf_896  ... ok
[INFO] [stdout] test ascon_prf_897  ... ok
[INFO] [stdout] test ascon_prf_898  ... ok
[INFO] [stdout] test ascon_prf_899  ... ok
[INFO] [stdout] test ascon_prf_900  ... ok
[INFO] [stdout] test ascon_prf_901  ... ok
[INFO] [stdout] test ascon_prf_902  ... ok
[INFO] [stdout] test ascon_prf_903  ... ok
[INFO] [stdout] test ascon_prf_904  ... ok
[INFO] [stdout] test ascon_prf_905  ... ok
[INFO] [stdout] test ascon_prf_906  ... ok
[INFO] [stdout] test ascon_prf_907  ... ok
[INFO] [stdout] test ascon_prf_908  ... ok
[INFO] [stdout] test ascon_prf_909  ... ok
[INFO] [stdout] test ascon_prf_910  ... ok
[INFO] [stdout] test ascon_prf_911  ... ok
[INFO] [stdout] test ascon_prf_912  ... ok
[INFO] [stdout] test ascon_prf_913  ... ok
[INFO] [stdout] test ascon_prf_914  ... ok
[INFO] [stdout] test ascon_prf_915  ... ok
[INFO] [stdout] test ascon_prf_916  ... ok
[INFO] [stdout] test ascon_prf_917  ... ok
[INFO] [stdout] test ascon_prf_918  ... ok
[INFO] [stdout] test ascon_prf_919  ... ok
[INFO] [stdout] test ascon_prf_920  ... ok
[INFO] [stdout] test ascon_prf_921  ... ok
[INFO] [stdout] test ascon_prf_922  ... ok
[INFO] [stdout] test ascon_prf_923  ... ok
[INFO] [stdout] test ascon_prf_924  ... ok
[INFO] [stdout] test ascon_prf_925  ... ok
[INFO] [stdout] test ascon_prf_926  ... ok
[INFO] [stdout] test ascon_prf_927  ... ok
[INFO] [stdout] test ascon_prf_928  ... ok
[INFO] [stdout] test ascon_prf_929  ... ok
[INFO] [stdout] test ascon_prf_930  ... ok
[INFO] [stdout] test ascon_prf_931  ... ok
[INFO] [stdout] test ascon_prf_932  ... ok
[INFO] [stdout] test ascon_prf_933  ... ok
[INFO] [stdout] test ascon_prf_934  ... ok
[INFO] [stdout] test ascon_prf_935  ... ok
[INFO] [stdout] test ascon_prf_936  ... ok
[INFO] [stdout] test ascon_prf_937  ... ok
[INFO] [stdout] test ascon_prf_938  ... ok
[INFO] [stdout] test ascon_prf_939  ... ok
[INFO] [stdout] test ascon_prf_940  ... ok
[INFO] [stdout] test ascon_prf_941  ... ok
[INFO] [stdout] test ascon_prf_942  ... ok
[INFO] [stdout] test ascon_prf_943  ... ok
[INFO] [stdout] test ascon_prf_944  ... ok
[INFO] [stdout] test ascon_prf_945  ... ok
[INFO] [stdout] test ascon_prf_946  ... ok
[INFO] [stdout] test ascon_prf_947  ... ok
[INFO] [stdout] test ascon_prf_948  ... ok
[INFO] [stdout] test ascon_prf_949  ... ok
[INFO] [stdout] test ascon_prf_950  ... ok
[INFO] [stdout] test ascon_prf_951  ... ok
[INFO] [stdout] test ascon_prf_952  ... ok
[INFO] [stdout] test ascon_prf_953  ... ok
[INFO] [stdout] test ascon_prf_954  ... ok
[INFO] [stdout] test ascon_prf_955  ... ok
[INFO] [stdout] test ascon_prf_956  ... ok
[INFO] [stdout] test ascon_prf_957  ... ok
[INFO] [stdout] test ascon_prf_958  ... ok
[INFO] [stdout] test ascon_prf_959  ... ok
[INFO] [stdout] test ascon_prf_960  ... ok
[INFO] [stdout] test ascon_prf_961  ... ok
[INFO] [stdout] test ascon_prf_962  ... ok
[INFO] [stdout] test ascon_prf_963  ... ok
[INFO] [stdout] test ascon_prf_964  ... ok
[INFO] [stdout] test ascon_prf_965  ... ok
[INFO] [stdout] test ascon_prf_966  ... ok
[INFO] [stdout] test ascon_prf_967  ... ok
[INFO] [stdout] test ascon_prf_968  ... ok
[INFO] [stdout] test ascon_prf_969  ... ok
[INFO] [stdout] test ascon_prf_970  ... ok
[INFO] [stdout] test ascon_prf_971  ... ok
[INFO] [stdout] test ascon_prf_972  ... ok
[INFO] [stdout] test ascon_prf_782  ... ok
[INFO] [stdout] test ascon_prf_973  ... ok
[INFO] [stdout] test ascon_prf_974  ... ok
[INFO] [stdout] test ascon_prf_975  ... ok
[INFO] [stdout] test ascon_prf_976  ... ok
[INFO] [stdout] test ascon_prf_977  ... ok
[INFO] [stdout] test ascon_prf_978  ... ok
[INFO] [stdout] test ascon_prf_979  ... ok
[INFO] [stdout] test ascon_prf_980  ... ok
[INFO] [stdout] test ascon_prf_981  ... ok
[INFO] [stdout] test ascon_prf_982  ... ok
[INFO] [stdout] test ascon_prf_983  ... ok
[INFO] [stdout] test ascon_prf_984  ... ok
[INFO] [stdout] test ascon_prf_985  ... ok
[INFO] [stdout] test ascon_prf_986  ... ok
[INFO] [stdout] test ascon_prf_987  ... ok
[INFO] [stdout] test ascon_prf_988  ... ok
[INFO] [stdout] test ascon_prf_989  ... ok
[INFO] [stdout] test ascon_prf_990  ... ok
[INFO] [stdout] test ascon_prf_991  ... ok
[INFO] [stdout] test ascon_prf_992  ... ok
[INFO] [stdout] test ascon_prf_993  ... ok
[INFO] [stdout] test ascon_prf_994  ... ok
[INFO] [stdout] test ascon_prf_995  ... ok
[INFO] [stdout] test ascon_prf_996  ... ok
[INFO] [stdout] test ascon_prf_997  ... ok
[INFO] [stdout] test ascon_prf_998  ... ok
[INFO] [stdout] test ascon_prf_999  ... ok
[INFO] [stdout] test ascon_prf_1000 ... ok
[INFO] [stdout] test ascon_prf_1002 ... ok
[INFO] [stdout] test ascon_prf_1001 ... ok
[INFO] [stdout] test ascon_prf_1003 ... ok
[INFO] [stdout] test ascon_prf_1004 ... ok
[INFO] [stdout] test ascon_prf_1005 ... ok
[INFO] [stdout] test ascon_prf_1006 ... ok
[INFO] [stdout] test ascon_prf_1007 ... ok
[INFO] [stdout] test ascon_prf_1008 ... ok
[INFO] [stdout] test ascon_prf_1009 ... ok
[INFO] [stdout] test ascon_prf_1010 ... ok
[INFO] [stdout] test ascon_prf_1011 ... ok
[INFO] [stdout] test ascon_prf_1012 ... ok
[INFO] [stdout] test ascon_prf_1013 ... ok
[INFO] [stdout] test ascon_prf_1014 ... ok
[INFO] [stdout] test ascon_prf_1015 ... ok
[INFO] [stdout] test ascon_prf_1016 ... ok
[INFO] [stdout] test ascon_prf_1017 ... ok
[INFO] [stdout] test ascon_prf_1018 ... ok
[INFO] [stdout] test ascon_prf_1019 ... ok
[INFO] [stdout] test ascon_prf_1020 ... ok
[INFO] [stdout] test ascon_prf_1021 ... ok
[INFO] [stdout] test ascon_prf_1022 ... ok
[INFO] [stdout] test ascon_prf_1023 ... ok
[INFO] [stdout] test ascon_prf_1024 ... ok
[INFO] [stdout] test ascon_prf_1025 ... ok
[INFO] [stderr]      Running tests/prfshort.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/prfshort-f63071fa9b209221)
[INFO] [stdout] test ascon_prf_833  ... ok
[INFO] [stdout] test ascon_prf_130  ... ok
[INFO] [stdout] test ascon_prf_889  ... ok
[INFO] [stdout] test ascon_prf_94   ... ok
[INFO] [stdout] test ascon_prf_861  ... ok
[INFO] [stdout] test ascon_prf_805  ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1025 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test ascon_prfshort_1  ... ok
[INFO] [stdout] test ascon_prfshort_3  ... ok
[INFO] [stdout] test ascon_prfshort_4  ... ok
[INFO] [stdout] test ascon_prfshort_5  ... ok
[INFO] [stdout] test ascon_prfshort_6  ... ok
[INFO] [stdout] test ascon_prfshort_2  ... ok
[INFO] [stdout] test ascon_prfshort_8  ... ok
[INFO] [stdout] test ascon_prfshort_9  ... ok
[INFO] [stdout] test ascon_prfshort_10 ... ok
[INFO] [stdout] test ascon_prfshort_11 ... ok
[INFO] [stdout] test ascon_prfshort_12 ... ok
[INFO] [stdout] test ascon_prfshort_13 ... ok
[INFO] [stdout] test ascon_prfshort_14 ... ok
[INFO] [stdout] test ascon_prfshort_15 ... ok
[INFO] [stdout] test ascon_prfshort_16 ... ok
[INFO] [stdout] test ascon_prfshort_17 ... ok
[INFO] [stdout] test ascon_prfshort_7  ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "e09fd4c2199cfaf200e687bbced401c62d1810d5f5e72ac84d1342cff5442f69", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e09fd4c2199cfaf200e687bbced401c62d1810d5f5e72ac84d1342cff5442f69", kill_on_drop: false }`
[INFO] [stdout] e09fd4c2199cfaf200e687bbced401c62d1810d5f5e72ac84d1342cff5442f69