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

Co-authored-by: insumity <[email protected]>
cosmos · Oct 6, 2023 · 3eeb3fd · 3eeb3fd
1 parent 9d40842
commit 3eeb3fd
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
@@ -31,7 +31,7 @@ quint test ccv_statemachine.qnt --main CCVDefaultStateMachine
 
 ### Invariants
 
-The invariants to check are in ccv_statemachine.qnt.
+The invariants to check are in [ccv_statemachine.qnt](ccv_statemachine.qnt).
 Check a single invariant by running
 `quint run --invariant INVARIANT_NAME ccv_statemachine.qnt --main CCVDefaultStateMachine`,
 or all invariants one after another with the help of the script `run_invariants.sh`.