blob: 467230316f507d98a074629d0963f9f59cd77150 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#! /bin/sh
. ../../testenv.sh
analyze repro.vhdl
elab_simulate_failure time_travel > sim.err
if ! grep -q '11' sim.err; then
echo "missing line number"
exit 1
fi
clean
rm -f sim.err
echo "Test successful"
|