[Feature Request][Move Analyzer] support spec files #235
Description
🚀 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.