Commit 060775de authored by Etienne Renault's avatar Etienne Renault
Browse files

benchs: fix variable name during RERS formulae conversion

* benchs/RERS/ltlrers2go.sh: Here.
parent 0cbebb87
......@@ -86,7 +86,7 @@ cat /tmp/1 | sed 's/^/o/' > /tmp/2
cat /tmp/1 | tr -d "\n" | od -An -t uC | sed 's/^ *//g' | tr ' ' '\n' | sed '/^$/d' | tr ' ' '\n' | sed '/^$/d' | sed 's/^/echo $((/' | sed 's/$/-64))/' | sh > /tmp/3
# and fix correct variable
cat /tmp/3 | sed 's/^/"final_output == /g' | sed 's/$/"/g' > /tmp/4
cat /tmp/3 | sed 's/^/"/main_final_output == /g' | sed 's/$/"/g' > /tmp/4
mv /tmp/4 /tmp/3
paste -d ':' /tmp/2 /tmp/3 | sed 's/\([^:]*\):\([^:]*\)/s%\1%\2%g/' >> sed.script
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment