Closed GoogleCodeExporter closed 8 years ago
Original comment by javier.barreiro@gmail.com
on 22 Nov 2010 at 10:29
IncrementalFlowProfile::calculatedLevels]Computed levels for instance
at time 120010[-1000,1000]
[GenericFVDetector:detect]Detecting flaws and violations at time 120010
[OpenWorldFVDetector:detect]Lower limit flaw.
just before step=0. So it seems to think the +1000 transaction at time
10 could be moved beyond the -1000 transaction happening at time 12010,
even though there is a temporal constraint forcing the +1000 to come
before the -1000.
Certainly the +1000 transaction could be moved beyond time 120010, but
then the -1000 transaction would have to move too.
It seems to be doing something like the timetable FV detector even
though I am calling for the open world one.
Original comment by paul.h.m...@gtempaccount.com
on 18 Aug 2011 at 4:06
this may be related to issue 136
Original comment by javier.barreiro@gmail.com
on 18 Aug 2011 at 11:29
Original comment by javier.barreiro@gmail.com
on 30 May 2012 at 5:26
I've tried recreating this problem directly
(ResourceTest::testIncrementalFlowProfileIssue71) with no luck. Since there're
no files attached, I'm flagging this as un-reproduceable.
Original comment by miata...@gmail.com
on 25 Aug 2014 at 5:04
Original issue reported on code.google.com by
paul.h.m...@gtempaccount.com
on 16 Apr 2010 at 5:10