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:
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:
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=68719476736python $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