Two TPs for 6.1.7 minInclusive are added.

/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.1.7, Verify mapping of an integer element with a minInclusive facet

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module Pos_060107_mininclusive_001 {

    import from schema_Pos_060107_mininclusive_001 language "XSD" all;

    template E1 m_msg := -5;

//#TC 

}

<?xml version="1.0" encoding="UTF-8"?>

<e1el

    xmlns="schema:Pos_060107_mininclusive_001"

>-5</e1el>

<?xml version="1.0" encoding="UTF-8"?>

<schema xmlns="http://www.w3.org/2001/XMLSchema"

  targetNamespace="schema:Pos_060107_mininclusive_001"

  xmlns:types="schema:Pos_060107_mininclusive_001">

    <simpleType name="e1">

        <restriction base="integer">

        <minInclusive value="-5"/>

    </restriction>

    </simpleType>

    <element name="e1el" type="types:e1"/>

</schema>

/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.1.7, Verify mapping of a float element with a numeric minInclusive value

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module Pos_060107_mininclusive_002 {

    import from schema_Pos_060107_mininclusive_002 language "XSD" all;

    template E1 m_msg := -5.0;

//#TC 

}

<?xml version="1.0" encoding="UTF-8"?>

<e1el

    xmlns="schema:Pos_060107_mininclusive_002"

>-5</e1el>