
	/**
	 * @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 {

		// encode the message
		if (isvalue(m_msg) && match(m_msg, m_msg)) {
			setverdict(pass, "Built-in XSD type was found and TCI value was created");
		} else {
			setverdict(fail, "Failure to create a value of the given built-in XSD type");
		}
    }

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