aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/formal/ram/testsuite.sh
blob: 3cf250412c5422f8cd97f6d936c99f6c281e88c2 (plain) 
1
2
3
4
5
6
7
8
9

#!/bin/sh

topdir=../..
. $topdir/testenv.sh

formal wbr_ram

clean
echo OK
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-01 00:33:59 +0000