Skip to content

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.

Evidence

Tasks

  • Refine the irrelevance_common.plt tests 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.pl predicates for similar errors.