Update tests/difference/core/quint_model/README.md

Co-authored-by: insumity <[email protected]>
cosmos · Oct 12, 2023 · 53d5bff · 53d5bff
1 parent 4d87372
commit 53d5bff
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 
 ```