search

Concordium / concordium-rust-smart-contracts

Libraries and tools for writing and testing smart contracts on Concordium
https://docs.rs/concordium-std/latest/concordium_std/
Mozilla Public License 2.0
58 stars 35 forks source link

It is impossible to use quickcheck with no-std builds #355

Open abizjak opened 1 year ago

abizjak commented 1 year ago

Bug Description

concordium-quickcheck enables the std feature of concordium-std.

This in turn means it is impossible to do a no-std build as long as quickcheck is used.

This is partly caused by the fact that cargo concordium test as of now builds the contract using normal dependencies for testing, which in turn means that quickcheck must be normal dependency.

This issue is reported in https://github.com/Concordium/concordium-smart-contract-tools/issues/21

This makes it challenging to use the quickcheck feature since no-std builds have significant advantages for size of the resulting binary.