g101.O3.test-catalog.all.neg.xml

<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="../../lib/testcat-html.xsl"?>
<test-catalog xmlns="https://github.com/cmsmcq/ixml-tests"
              xmlns:gt="http://blackmesatech.com/2020/grammartools"
              name="file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g101.ixml.xml"
              release-date="2021-01-26"
              gt:date="2021-01-26T19:02:40.822075-07:00">
   <description>
      <p>This test catalog describes tests for the language defined by file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g101.ixml.xml.</p>
      <p>Test polarity:  negative.</p>
      <p>Test selection:  state state-final arc arc-final.</p>
   </description>
   <test-set name="G101-negative">
      <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
      <description>
         <p>This test set was generated by Gingersnap.</p>
         <p>Test polarity: see the individual tests.</p>
         <p>Test selection: see the individual tests.</p>
         <p>Test pipeline: approximation + FSA + tests.</p>
      </description>
      <vxml-grammar>
         <ixml xmlns="">
            <comment> g101:  a small ixml grammar:  101

  One of a series (initially for test case construction).

  This one is an FSA with 1 nonfinal state, 0 final states, 1 arc.

  L is the empty set.

</comment>
            <comment> Revisions:
  2021-01-17 : CMSMcQ : made ixml 
</comment>
            <rule name="S">:  <alt>
                  <literal sstring="a"/>
                  <nonterminal name="S"/>
               </alt>.</rule>
         </ixml>
      </vxml-grammar>
      <!-- <vxml-grammar-ref
	   href="file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g101.ixml.xml"/> -->
      <test-case xml:id="state-final-m-S_1"
                 gt:polarity="negative"
                 gt:trace="S_0 . 1 / m-S_1" name="G101-O3-neg-001">
         <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
         <test-string gt:hex="#61">a</test-string>
         <result>
            <assert-not-a-sentence/>
         </result>
      </test-case>
      <test-case xml:id="state-final-m-S·S·_1"
                 gt:polarity="negative"
                 gt:trace="S_0 . 1 / m-S_1 . 1 / m-S·S·_1" name="G101-O3-neg-002">
         <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
         <test-string gt:hex="#61 #61">aa</test-string>
         <result>
            <assert-not-a-sentence/>
         </result>
      </test-case>
      <test-case xml:id="state-final-m-S·S·S·_1"
                 gt:polarity="negative"
                 gt:trace="S_0 . 1 / m-S_1 . 1 / m-S·S·_1 . 1 / m-S·S·S·_1" name="G101-O3-neg-003">
         <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
         <test-string gt:hex="#61 #61 #61">aaa</test-string>
         <result>
            <assert-not-a-sentence/>
         </result>
      </test-case>
      <test-case xml:id="state-final-m-S·S·S·S·_1"
                 gt:polarity="negative"
                 gt:trace="S_0 . 1 / m-S_1 . 1 / m-S·S·_1 . 1 / m-S·S·S·_1 . 1 / m-S·S·S·S·_1" name="G101-O3-neg-004">
         <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
         <test-string gt:hex="#61 #61 #61 #61">aaaa</test-string>
         <result>
            <assert-not-a-sentence/>
         </result>
      </test-case>
      <test-case xml:id="state-final-m-max-S_1"
                 gt:polarity="negative"
                 gt:trace="S_0 . 1 / m-S_1 . 1 / m-S·S·_1 . 1 / m-S·S·S·_1 . 1 / m-S·S·S·S·_1 . 1 / m-max-S_1" name="G101-O3-neg-005">
         <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
         <test-string gt:hex="#61 #61 #61 #61 #61">aaaaa</test-string>
         <result>
            <assert-not-a-sentence/>
         </result>
      </test-case>
      <test-case xml:id="arc-final-m-S_1˃1"
                 gt:polarity="negative"
                 gt:trace="S_0 . 1 / m-S_1 + m-S_1˃1" name="G101-O3-neg-006">
         <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
         <test-string gt:hex="#61 #61">aa</test-string>
         <result>
            <assert-not-a-sentence/>
         </result>
      </test-case>
      <test-case xml:id="arc-final-m-S·S·_1˃1"
                 gt:polarity="negative"
                 gt:trace="S_0 . 1 / m-S_1 . 1 / m-S·S·_1 + m-S·S·_1˃1" name="G101-O3-neg-007">
         <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
         <test-string gt:hex="#61 #61 #61">aaa</test-string>
         <result>
            <assert-not-a-sentence/>
         </result>
      </test-case>
      <test-case xml:id="arc-final-m-S·S·S·_1˃1"
                 gt:polarity="negative"
                 gt:trace="S_0 . 1 / m-S_1 . 1 / m-S·S·_1 . 1 / m-S·S·S·_1 + m-S·S·S·_1˃1" name="G101-O3-neg-008">
         <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
         <test-string gt:hex="#61 #61 #61 #61">aaaa</test-string>
         <result>
            <assert-not-a-sentence/>
         </result>
      </test-case>
      <test-case xml:id="arc-final-m-S·S·S·S·_1˃1"
                 gt:polarity="negative"
                 gt:trace="S_0 . 1 / m-S_1 . 1 / m-S·S·_1 . 1 / m-S·S·S·_1 . 1 / m-S·S·S·S·_1 + m-S·S·S·S·_1˃1" name="G101-O3-neg-009">
         <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
         <test-string gt:hex="#61 #61 #61 #61 #61">aaaaa</test-string>
         <result>
            <assert-not-a-sentence/>
         </result>
      </test-case>
      <test-case xml:id="arc-final-m-max-S_1˃1"
                 gt:polarity="negative"
                 gt:trace="S_0 . 1 / m-S_1 . 1 / m-S·S·_1 . 1 / m-S·S·S·_1 . 1 / m-S·S·S·S·_1 . 1 / m-max-S_1 + m-max-S_1˃1" name="G101-O3-neg-010">
         <created by="Gingersnap (CMSMcQ)" on="2021-01-26"/>
         <test-string gt:hex="#61 #61 #61 #61 #61 #61">aaaaaa</test-string>
         <result>
            <assert-not-a-sentence/>
         </result>
      </test-case>
   </test-set>
</test-catalog>