barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-29 00:22:38 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #231 from barrucadu/220-property-docs

Browse Source 
Clarify the difference between =>= and ->-
This commit is contained in:
Michael Walker 2018-02-26 21:00:35 +00:00 committed by GitHub
commit 725c48ea69
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
doc/refinement_testing.rst
View File

@ -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