close Warning: Can't synchronize with repository "(default)" (/var/svn/tolp does not appear to be a Subversion repository.). Look in the Trac log for more information.

Opened 20 years ago

Closed 19 years ago

Last modified 18 years ago

#271 closed defect (fixed)

Tol crushes witn a negative Succ() - In() TimeSet

Reported by: asalafranca Owned by: Víctor de Buen Remiro
Priority: lowest Milestone:
Component: TimeSetAlgebra Version: 1.1.3
Severity: normal Keywords:
Cc:

Description

Tol goes into an endless loop when this piece of code is run:

TimeSet ts = ( Succ(D(1), -2, WD(5)) - In(y2000m10d01, y2005m02d28));
Set s = Dates(ts,y2000,y2001);

on the other hand this works:

TimeSet ts = ( Succ(D(1), 2, WD(5)) - In(y2000m10d01, y2005m02d28));
Set s = Dates(ts,y2000,y2001);

Change History (4)

comment:1 Changed 19 years ago by Víctor de Buen Remiro

Owner: changed from danirus to Víctor de Buen Remiro

Pardon to have forgotten this bug.
We are working about it
Thanks to report it

comment:2 Changed 19 years ago by Víctor de Buen Remiro

Status: new → assigned

comment:3 Changed 19 years ago by Víctor de Buen Remiro

Resolution: → fixed
Status: assigned → closed

Bug has been fixed.
More information in
​http://cvs.tol-project.org/viewcvs.cgi/toldoc/Time/TD-diseño.pdf

comment:4 Changed 18 years ago by Víctor de Buen Remiro

bug_file_loc: → http://cvs.tol-project.org/viewcvs.cgi/tol_tests/tol/Bugzilla/bug_000271
Note: See TracTickets for help on using tickets.