This project is implemented in the context of the European NGI LEDGER program.
This component is an assertion library aiming at facilitating test automation based on a symbolic execution approach
facilitated by SafePKT primitives developed in the larger context of software verification tools targeting rust-based programs,
and based on the work of project-oak/rust-verification-tools project.
We're very grateful towards the following organizations, projects and people:
- the JavaScript and NuxtJS community at large
- All members of the NGI-Ledger Consortium for accompanying us
This project is distributed under either the MIT license or the Apache License.