safepkt-v0.2.28
·
6 commits
to main
since this release
97523d1
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Add paragraph about conclusive result validating base hypothesis ...regarding the usefulness of running pre-existing tests by leveraging symbolic execution means offered by klee in the context of smart contract quality assurance testing