move-inf

name	move-inf
description	Infer specifications for a Move package

{% include "templates/spec_inf_workflow.md" %}

Task

Run specification inference workflow for current package.