Merge branch 'ph/quint-model-v2' of https://github.com/cosmos/interch…

…ain-security into ph/quint-model-v2
cosmos · Oct 12, 2023 · c7fe7c5 · c7fe7c5
2 parents 738a347 + 53d5bff
commit c7fe7c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/difference/core/quint_model/README.md b/tests/difference/core/quint_model/README.md
@@ -22,7 +22,7 @@ The parameters of the protocol are defined as consts in [ccv.qnt](ccv.qnt).
 
 To run unit tests, run 
 ```
-quint test ccv_test.
+quint test ccv_test.qnt
 ```
 and 
 ```