
	/**
	 * @desc The timeout given in seconds after which the test case will be stopped.
	 */
    modulepar float PX_TC_EXECUTION_TIMEOUT := 5.0;

    type component C {
    }

    testcase TC_${module}() runs on C system C {
		setverdict(fail, "Should not be able to create an invalid value of the given built-in XSD type", m_msg);
    }

    control {
        execute(TC_${module}(), PX_TC_EXECUTION_TIMEOUT);
    }
