From d18656084c66506f5822484a63a8fd0b0fc39e55 Mon Sep 17 00:00:00 2001 From: Claire Wolf Date: Fri, 3 Apr 2020 15:18:52 +0200 Subject: [PATCH] Fix typo Signed-off-by: Claire Wolf --- docs/examples/abstract/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/examples/abstract/README.md b/docs/examples/abstract/README.md index b13f74c..b1c04c5 100644 --- a/docs/examples/abstract/README.md +++ b/docs/examples/abstract/README.md @@ -10,7 +10,7 @@ This can be solved by replacing counter with the abstraction in `abstr.sv`. In order to do this we must first prove that the abstraction is correct. This is done with `sby -f abstr.sby`. -Then we apply the abstriction by assuming what we have just proven and otherwise +Then we apply the abstraction by assuming what we have just proven and otherwise turn `counter` into a cutpoint. See `props.sby` for details. Running `sby -f props.sby prv` proves the properties and `sby -f props.sby cvr` -- 2.30.2