From 9d408428939f21336e50148413fe9b967f8f8305 Mon Sep 17 00:00:00 2001 From: Philip Offtermatt <57488781+p-offtermatt@users.noreply.github.com> Date: Fri, 6 Oct 2023 08:41:43 +0200 Subject: [PATCH] Update tests/difference/core/quint_model/README.md Co-authored-by: insumity --- tests/difference/core/quint_model/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/difference/core/quint_model/README.md b/tests/difference/core/quint_model/README.md index 183f42137e..906b93e90f 100644 --- a/tests/difference/core/quint_model/README.md +++ b/tests/difference/core/quint_model/README.md @@ -16,7 +16,7 @@ To see the data structures used in the model, see the `ProtocolState` type in cc The "public" endpoints of the model are those functions that take as an input the protocol state, and return a `Result`. Other functions are for utility. -The parameters of the protocol are defined as consts in ccv.qnt. +The parameters of the protocol are defined as consts in [ccv.qnt](ccv.qnt). ### Tests