opaal2lts-mc: mmap failed

[jacopol]

On some test examples in the opaal distribution, LTSmin fails with an error.
I'm running this on WSL (windows subsystem for Linux).
Note that I already had to set LTSMIN_MEM_SIZE since cgroups/memory doesn't exist here.

Example run:
opaal2lts-mc csma_input_02.so
opaal2lts-mc( 0/ 4), ** error **: mmap failed for size 65536 MB

Other cases where the same error occurs:

• fischer4.xml
• hddi_input_02.xml
  I don't know what is special about these examples, except that they all reside in ltl_tests

To reproduce this example, one can use the following script:

BASEDIR=/home/jaco/opaal-ltsmin
EXAMPLE=$BASEDIR/opaal/tests/ltl_tests/csma_input_02.xml
FILE=basename $EXAMPLE .xml
export PYTHONPATH=$BASEDIR/pyuppaal:$BASEDIR/opaal:$BASEDIR/usr/lib/python2.7/site-packages/
export LTSMIN_MEM_SIZE=68719476736

python $BASEDIR/opaal/opaal/model_parsers/pyuppaal/gensuccgen.py $EXAMPLE $FILE.cpp
g++ -g -shared -O2 -fPIC -I$BASEDIR/usr/uppaal/include/ -L$BASEDIR/usr/uppaal/lib/ -o $FILE.so $FILE.cpp -ludbm
opaal2lts-mc --threads=1 $FILE.so