/testsuite/synth/assumeasserts0/
../
assume0.vhdl
testsuite.sh