Correct verify command by adding \

cosmos · Oct 6, 2023 · 2000272 · 2000272
1 parent 3eeb3fd
commit 2000272
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/difference/core/quint_model/README.md b/tests/difference/core/quint_model/README.md
@@ -52,8 +52,8 @@ that were running at the time the packet was sent (and are still running).
 
 Invariants can also be model-checked by Apalache, using this command:
 ```
-quint verify --invariant ValidatorUpdatesArePropagated,ValidatorSetHasExistedInv,SameVSCPacketsInv,MatureOnTimeInv,EventuallyMatureOnProviderInv --main CCVDefaultState
-Machine ccv_statemachine.qnt
+quint verify --invariant ValidatorUpdatesArePropagated,ValidatorSetHasExistedInv,SameVSCPacketsInv,MatureOnTimeInv,EventuallyMatureOnProviderInv \
+--main CCVDefaultStateMachine ccv_statemachine.qnt
 ```
 
 ### Sanity Checks