Endpoint irrelevant/file returns 500
Test have detected a case where the endpoint
irrelevant/file responds with status code 500. It turned out that the predicate
irrelevant/1 throws an exception. So the behavior of the WebAPI is correct.
Source of the exception is the predicate `manipulation_time/2'. When called with a directory as first argument the stored dict does not have the appropriate key. Thus an exception is thrown.
- Failed tests:
system_test:endpoint_irrelevant@fileof job https://gitlab.rz.uni-bamberg.de/cogsys/dare2del/demonstrator/-/jobs/72393.
- Loaded background theory database
- Request body:
- Refine the
irrelevance_common.plttests to catch this error in the future.
- Safeguard `manipulation_time/2' to fail when called with an directory at first argument.
- Test other
irrelevance_common.plpredicates for similar errors.