tests/svinterfaces/run-test.sh


1
2
3
4
5
6
7

#/bin/bash -e

./runone.sh  svinterface1
./runone.sh  svinterface_at_top

./run_simple.sh load_and_derive
./run_simple.sh resolve_types