cumulativeEF weird behavior

[Filip Konvička]

Well, sadly no one seems to have time for this, so I'm thinking of 
debugging the code myself.

Hackers, please, how do you usually debug ozengine?  Do you simply load 
ozengine.exe into gdb and set a breakpoint somewhere in, say, scheduling.cc?

Thanks for any info!

Cheers,
Filip

> Hi,
> 
> I have run into problems using Schedule.cumulativeEF and I have also 
> created a small script that demonstrates the problem (see below). It 
> seems that whenever the capacity of any resource is in [17+i*32; 
> 32+i*32], i>=0, a failure occurs instead of entailment. Both 
> cumulativeEF and cumulativeTI exhibit the same behavior.
> 
> Could someone take a look at it, please? At least I want to know that I 
> am not doing something wrong myself ;-) Thank you!
> 
> Cheers,
> Filip
> 
> 
> local
>    fun {Script S}
>       proc {$ Root}
>      Tasks = tasks([a])
>      Start = {FD.record start [a] 0#FD.sup}
>      Dur   = dur(a:1)
>      Use   = use(a:1)
>      Cap   = cap(S)
>       in
>      Root={Record.mapInd Start
>            fun {$ T S} task(t1_start:S
>                 t2_end:local I={FD.decl} in
>                       I =: S+(Dur.T) I
>                     end
>                 t4_dur:Dur.T
>                 t3_use:Use.T
>                    )
>            end
>           }
>      {Schedule.cumulativeEF Tasks Start Dur Use Cap}
>          {FD.distribute ff {Record.toList Start}}
>       end
>    end
> in
>    for S in 1;S<60;S+1 do
>       {System.printInfo
>        if {SearchOne {Script S}}==nil then "0" else "1" end
>       }
>    end
>    {System.showInfo ""}
> end