testsuite/synth/issue1273/testsuite.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#! /bin/sh

. ../../testenv.sh

synth_analyze issue
synth_analyze assert2
synth_analyze assert3
synth_tb assert4
synth_tb assert5
synth_failure assert6
synth_analyze assert7

clean

echo "Test successful"