Skip to content

GitLab

Closed
Created by Siebers, Michael@michael.siebersOwner

Decide on xxx_time semantics

In irrelevance_common.pl, creation_time/2 works as (+,-), other xxx_time/2 are implemented as (?,?). The tests for all of these predicates are commented to test (+,+), (+,-), and (-,+). But actually only (+,+) and (+,-) is tested!