Skip to content

Commit f378b6a

Browse files
committed
Tested with latest Logtalk version. We have 5/18 clause coverage, issue #7
1 parent 86a3092 commit f378b6a

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

README.md

+6-2
Original file line numberDiff line numberDiff line change
@@ -18,14 +18,18 @@ To run the tests type:
1818
```
1919

2020
### Dependencies
21-
- [x] Logtalk `3.42.0`.
21+
- [x] Logtalk `3.52.0-1`.
2222

2323
## Supported Prolog backends
2424
- [x] SWI-Prolog (threaded, 64 bits, version 8.5.5-3-gb856d332c-DIRTY), works ([see](https://github.com/mlliarm/ia/issues/10#issuecomment-1009255385)).
2525
- [x] GNU-Prolog 1.5.0 (64 bits), works ([see](https://github.com/mlliarm/ia/issues/10#issuecomment-1009268552)).
2626

2727
## Know issues
28-
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.
28+
- 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.
29+
30+
## Code coverage
31+
- `Entity coverage:` 1/1 (100%).
32+
- `Clause coverage`: 13/18 (72.2%), see [issue #7](https://github.com/mlliarm/ia/issues/7#issuecomment-1011539142).
2933

3034
### Examples
3135
[TODO](https://github.com/mlliarm/ia/issues/10#issue-745885381).

0 commit comments

Comments
 (0)