Olga Hryniuk
Weekly development report as of 2026-06-12
SMART CONTRACTS This week, the Cardano High Assurance team has finalized a beta version of the property-based testing tool and is pursuing internal testing. The team introduced a testing interface to easily explore a vast variety of scenarios, automated positive testing to verify the contracts meet their specifications, negative testing to ensure the testin...2 up votes and 0 down votes. Total score