In the [section](https://github.com/Certora/Tutorials/tree/master/05.Lesson_GettingFamiliarWithProver/ScriptExercise2#exercising-flags-----method-and---send_only) `Exercising Flags - --method and --send_only` it says: > Run a verification of the entire meetings.spec file with the appropriate solidity compiler and a message of your choice taken as an input. However, no `meetings.spec` file can be found in the directory
In the section
Exercising Flags - --method and --send_onlyit says:However, no
meetings.specfile can be found in the directory