Estimators for bdds should not use ints
Issue #664
new
Example attached.
Comments (8)
-
-
reporter
Dus uw argument is: het werkt want het gooit een error???
Er is niets mis met deze file, er zou geen error mogen gegooid worden.
-
reporter
Trouwens: het gedrag op barrel met de door mij gecompileerde versie van IDP (onveranderd) is: * Bij de "works perfectly": klaar in een fractie van een seconde * Bij de "Hangs": blijft hangen (int aan het genereren) voor meer dan 30 seconden.
Ik krijg bij geen van beide een exception... Enfin, dit zal waarschijnlijk komen nadat ik de "hangs" enkele minuten laat lopen
-
Ik denk dat je bij Pieter over de "niet" had overgelezen?
-
Serieus? Bij mij 25 min intensief rekenen bij de works perfectly. En de hangs, is nog steeds bezig.
En met intensief, bedoel ik absurd intensief (daarmee dat ik barrel moest pakken), ik kon niks meer doen met mijn pc als ik die gebruikte.
-
reporter
Ja dat denk ik ook. Dat verklaart ;-)
Nu... Bij mij werkt dus een van beide. Dat is op de master van enkele dagen geleden. Die idp staat op /cw/dtailocal/bartb/local/bin/idp
-
reporter
En ook op huidige master werkt het met mijn idp perfect
-
Aha, ik zat op /cw/dtailocal/bartb/local/idp/bin.... Blijkbaar een andere versie?
- Log in to comment
Uw beide examples werken bij mij (en bij u, want ik heb het ook op barrel getest met uw idp) niet. Dus ook degene waar bij staat
node={1..65535} // Works perfectly
Ik krijg: Error: Exception caught: std::bad_alloc terminate called after throwing an instance of 'std::exception' what(): std::exception