libdspl-2.0/verification/verif.sh

mingw32-make

cd bin
for file in *.exe
do
    "./$file"
done