From 9bebdf81c87f6a5c48758168636a4d93042de191 Mon Sep 17 00:00:00 2001 From: Michael Walker Date: Mon, 26 Feb 2018 19:48:47 +0000 Subject: [PATCH] Clarify =>= and ->- difference Closes #220 --- doc/refinement_testing.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/refinement_testing.rst b/doc/refinement_testing.rst index 30d4a0b..c355a64 100644 --- a/doc/refinement_testing.rst +++ b/doc/refinement_testing.rst @@ -96,9 +96,9 @@ functions. These functions are: .. csv-table:: :header: "Function", "Operator", "Checks that..." - "``refines``", "``=>=``", "...the left is equivalent to, or strictly refines, the right" - "``strictlyRefines``", "``->-``", "...the left has strictly fewer behaviours than the right" - "``equivalentTo``", "``===``", "...the left and right have exactly the same behaviours" + "``equivalentTo``", "``===``", "... the left and right have exactly the same behaviours" + "``refines``", "``=>=``", "... every behaviour of the left is also a behaviour of the right" + "``strictlyRefines``", "``->-``", "... ``left =>= right`` holds but ``left === right`` does not" The signatures can have different state types, as long as the seed and observation types are the same. This lets you compare different