#!/usr/local/bin/tcsh -f

# ISE test script 9

# Set_Output_File_Name Function with NULL

ise_test_9
if ($status == 0) then
    echo "Test 9: Set output file name with NULL was successful."
else
    echo "Test 9: Set output file name with NULL failed for."
endif

exit 0

###############
# END OF FILE #
###############
