search

mlliarm / ia

An interval arithmetic library in Logtalk
Apache License 2.0
2 stars 0 forks source link

B-Prolog crashes #21

Closed mlliarm closed 2 years ago

mlliarm commented 2 years ago

Error msg:

Run logtalk_tester -p b-prolog -f xunit -c xml || EXIT=$?
% Batch testing started @ 2022-01-20 06:45:31
%
% work/ia/ia
%         crash
%
% Crashed

%
% 1 test sets: 0 completed, 0 skipped, 0 broken, 0 timedout, 1 crashed
% 0 tests: 0 skipped, 0 passed, 0 failed (0 flaky)
%
% Batch testing ended @ 2022-01-20 06:45:31
Written to: /home/runner/work/ia/ia/xunit_report.html
warning: failed to load external entity "coverage_report.xml"
cannot parse coverage_report.xml
Error: Process completed with exit code 4.

from here.

pmoura commented 2 years ago

Either logtalk_tester -h or man logtalk_tester will tell you the valid Prolog identifiers to use.