Compiling syn v2.0.114
Compiling cyber-hemera v0.3.1 (https://github.com/cyberia-to/hemera?rev=d5f0a09539360934fb32db9b2e15a91995607db6#d5f0a095)
Compiling tokio-macros v2.6.0
Compiling tokio v1.49.0
Compiling cyber-bao v0.1.0 (/Users/master/cyber/radio-bao-bounded-proof/cyber-bao)
Finished `release` profile [optimized + debuginfo] target(s) in 5.10s
Running tests/proof.rs (/tmp/radio-bao-proof-candidate-final-target/release/deps/proof-e104e04d24fb3b1d)
Running tests/proof_allocation.rs (/tmp/radio-bao-proof-candidate-final-target/release/deps/proof_allocation-aa19a6af2af88371)
Running tests/proof_failures.rs (/tmp/radio-bao-proof-candidate-final-target/release/deps/proof_failures-8e341254a3ef1ffb)