show

source ./kv-bash

if [ ! -z $1 ] && [ ! $1 == "_" ]; then
    kvset NAME $1
fi

if [ ! -z $2 ] && [ ! $2 == "_" ]; then
    kvset TOOL $2
fi

echo $(kvlist)

NAME=$(kvget NAME)
TOOL=$(kvget TOOL)

# echo $NAME
# echo $TOOL

# echo -------------------
# echo Running mcrl22lps..
# echo -------------------

# mcrl22lps "$NAME.mcrl2" "$NAME.lps" -lstack

if [ $? -eq 0 ]; then

#   echo -----------------
#   echo Running lps2lts..
#   echo -----------------

#   lps2lts "$NAME.lps" "$NAME.lts"

    if [ $? -eq 0 ]; then

        echo -----------------
        echo "Running $TOOL.."
        echo -----------------
        
        $TOOL "$NAME.lts"
    else
        echo lps2lts failed
    fi
else
    echo mcrl22lps failed
fi