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

# ISE test script 12

# 12 Get_Input_File_Name Function When input_file_name == NULL

set key = "enterthekey"
ise_test_12 $key
if ($status == 0) then
    echo "Test 12: Get input file name when input file name == NULL was successful."
else
    echo "Test 12: Get input file name when input file name == NULL failed for."
endif

exit 0

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