test-generation (cargo): Tool for generating tests for the bytecode verifier and Move VM runtime
Keywords: blockchain