aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue1273/testsuite.sh
blob: 5dceb56eef2e4a97fdb74967c77de6b91a7a78cc (plain) 
1
2
3
4
5
6
7
8
9

#! /bin/sh

. ../../testenv.sh

synth_analyze issue
synth_tb assert2
synth_tb assert3

echo "Test successful"
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-10 07:30:31 +0000