From 53d5bff2b89008e6bb53bd7057809a4c87a7cdd0 Mon Sep 17 00:00:00 2001 From: Philip Offtermatt <57488781+p-offtermatt@users.noreply.github.com> Date: Thu, 12 Oct 2023 17:03:41 +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 235372cc1c..54251a7544 100644 --- 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 ```