The current version of pack logtalk does not contain a file logtalk-3.12.0/tests/logtalk/directives/coinductive_1/tests.lgt
logtalk
logtalk-3.12.0/tests/logtalk/directives/coinductive_1/tests.lgt