Tests fo not work

[Alfons Laarman]

When using the following script, the opaal tests do no work (output below).

#!/bin/sh

INFILE=$1 # e.g. tests/vikingtests/viking4.xml

GENSUCC=opaal/model_parsers/pyuppaal/gensuccgen.py

TMPFILE=/tmp/gensuccgen.cpp

COMPILEDFILE=`basename $INFILE`.so

OPAAL2LTSMC=`which opaal2lts-mc`

python $GENSUCC $INFILE $TMPFILE

#Execute the following command to compile model:
g++ -g -shared -O0 -fPIC -I../usr/uppaal/include/ -L../usr/uppaal/lib/ -o $COMPILEDFILE $TMPFILE -ludbm

#To verify the model run:
#opaal2lts-mc --strategy=dfs -u1 --threads=1 viking4.so -v
$OPAAL2LTSMC --strategy=dfs -u1 --threads=1 $COMPILEDFILE -v

OUTPUT:

===
1st experiment:

viking4

===

spegni@locanda:~/opaal/opaal-ltsmin/opaal-ltsmin-succgen$ g++ -g -shared -O0 -fPIC -I ../usr/uppaal/include/ -L../usr/uppaal/lib/ -o viking4.so /tmp/gensuccgen.cpp -ludbm
In file included from ../usr/uppaal/include/dbm/fed.h:1715:0,
                 from /tmp/gensuccgen.cpp:46:
../usr/uppaal/include/dbm/inline_fed.h: In member function ‘void dbm::dbm_t::setEmpty(cindex_t)’:
../usr/uppaal/include/dbm/inline_fed.h:1519:44: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
         idbmPtr = (idbm_t*) ((dim << 1) | 1);
                                           ^

===
2nd experiment:

sync_bcast_many.xml

===
spegni@locanda:~/opaal/opaal-ltsmin/opaal-ltsmin-succgen$ ./verify.sh tests/sync_bcast_many.xml
WARNING: Token 'TRUE' multiply defined
WARNING: Token 'FALSE' multiply defined
visit System
visit Identifier A
visit Identifier P0
visit Identifier P1
visit Identifier P2
{}
mysum TypeInt
opaal2lts-mc: Precompiled opaal module initialized
opaal2lts-mc( 0/ 1), ** error **: dynamically loading from `sync_bcast_many.xml.so': /home/spegni/opaal/opaal-ltsmin/opaal-ltsmin-succgen/sync_bcast_many.xml.so: undefined symbol: lattice_clone