馃殌 Feature Request
A .move file can only contain some specs for Move Prover. For example, see the following link: https://github.com/move-language/move/blob/main/language/extensions/move-table-extension/sources/Table.spec.move
Currently, move-analyzer does not handle these spec files properly.
馃殌 Feature Request
A .move file can only contain some specs for Move Prover. For example, see the following link: https://github.com/move-language/move/blob/main/language/extensions/move-table-extension/sources/Table.spec.move
Currently,
move-analyzerdoes not handle these spec files properly.