run_twinner_input17_vo.sh

sudo su sandbox -c "./obj-intel64/Twinner --input ./obj-intel64/input17.vo.out --args 'verbose UUUR2 L magicvalue SSS' --number-of-traces 25 --pin-launcher ../../../pin.sh --tool ./obj-intel64/TwinTool.so -o ./tmp/twinner/input17.vo.twin.c --tmpfolder ./tmp --safe-functions 'printf@0x400820#auto,strcmp@0x400880#auto' --generate-etg ./tmp/twinner/input17.vo.twin.etg.dot --main --verbose $@"