We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ce3cfd9 commit 57cd24dCopy full SHA for 57cd24d
NOTES.md
@@ -47,9 +47,9 @@ To run the tests type:
47
- Ciao Prolog (tested with version 1.20.0) cannot be used due to lack of support for the `min/2` and `max/2` arithmetic functions.
48
49
## Code coverage
50
-- One (1) entity declared as covered containing 20 clauses.
+- One (1) entity declared as covered containing 24 clauses.
51
- 1 out of 1 entity covered, `100.000000% entity coverage`.
52
- - 20 out of 20 clauses covered, `100.000000% clause coverage`.
+ - 24 out of 24 clauses covered, `100.000000% clause coverage`.
53
54
### Examples
55
0 commit comments