test: require simulation and measurement formal verification method. #1

Open

Assignees

Labels

opened

on Aug 14, 2024

Simulation the smart contract and create ameasurement method for evaluation.

Metadata

Assignees

MASDXI

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests