# Run all AS facility UT's
echo "=========================== Running as_u     ========================="
../bin/as_u >run_as_ut.out
tail -5 run_as_ut.out

echo "=========================== Running asatt_u  ========================="
../bin/asatt_u >>run_as_ut.out
tail -5 run_as_ut.out

echo "=========================== Running asas_u   ========================="
../bin/asas_u >>run_as_ut.out
tail -5 run_as_ut.out

echo "=========================== Running asmars_u ========================="
../bin/asmars_u >>run_as_ut.out
tail -5 run_as_ut.out

echo "=========================== Running asvnum_u ========================="
../bin/asvnum_u >>run_as_ut.out
tail -5 run_as_ut.out

echo "=========================== Running asvoid_u ========================="
../bin/asvoid_u >>run_as_ut.out
tail -5 run_as_ut.out

echo "=========================== Running asvstr_u ========================="
../bin/asvstr_u >>run_as_ut.out
tail -5 run_as_ut.out

echo "=========================== Running asvoth_u ========================="
../bin/asvoth_u >>run_as_ut.out
tail -5 run_as_ut.out
