/testsuite/synth/assertassumes0/
../
assert0.vhdl
testsuite.sh