[gecode-users] Bug: Null pointer crash

[Malcolm Ryan]

The following code causes Gecode/J to crash:

rel(space, var, IntRelType.GR, 1, null);

I know the null pointer is an error, but it should throw a  
NullPointerException. Instead it crashes with a memory violation:

Invalid memory access of location 00000000 eip=0e8f7e55

Malcolm

--
"If there is one thing worse than the modern weakening of major morals
    it is the modern strengthening of minor morals.
Thus it is considered more withering to accuse a man
    of bad taste than of bad ethics."    -- G.K.Chesterton, On Lying  
in Bed