Convert TLSF into LTL and feed to Strix

tlsf_strix_synt

#/bin/bash

set -e

if [ "$#" -ne 1 ]; then
    echo "Specify input TLSF file"
    exit 1
fi

tlsf_file=$1
echo "input tlsf: " $tlsf_file

ltl_file=$(mktemp).ltl
echo "tmp ltl file: " $ltl_file
echo "output file: " $ltl_file.hoa
echo

syfco $1 -s0 -f ltl -q double -m fully -os Mealy -o $ltl_file

cat $ltl_file
echo

ins=`syfco $1 -ins`
outs=`syfco $1 -outs`

echo "inputs: " $ins
echo "outputs: " $outs

echo "-------------------------------------------------------------"

# run strix

strix -F $ltl_file --ins "$ins" --outs "$outs" -o hoa -O $ltl_file.hoa