Export to GitHub

europa-pso - issue #74

Equality constraint between a temporal variable and a non-temporal variable causes segfault

Posted on May 4, 2010 by Swift Hippo

According to Paul, the following doesn't work properly:

      temporalDistance(0, reftime, stok.time);

(where reftime is a parameter and stok is an event token)

and this segfaults/errors out:

eq(stok.time, reftime)

Comment #1

Posted on May 4, 2010 by Swift Hippo

After more investigation, the temporalDistance trick works, but the eq constraint still causes Europa to choke.

Comment #2

Posted on Nov 22, 2010 by Happy Ox

(No comment was entered for this change.)

Status: Accepted

Labels:
Type-Defect Priority-Medium Component-TemporalNetwork Milestone-EUROPA-X