Template:TestCase

Usage of "TestCase" Template

This template uses different parameters based on the value of the "type" parameter.

Example for PositiveEntailmentTest

{{TestCase
|type=PositiveEntailmentTest
|author=[[Jos de Bruijn]]
|status=Proposed
|approval=url of minutes where it's approved
|approved=
|dialect=BLD
|purpose=Test for arbitrary entailment from inconsistent ruleset
|desc=
|specRef=http://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment
|pformat=[[Presentation Syntax]]
|premise=
 Document(
  Group(
   "a" = "b"
  )
 )
|cformat=[[Presentation Syntax]]
|conc=
<http://example.org/#p>(<http://example.org/#e>)
}}

For Syntax tests, instead of pformat,premise,cformat,conc use format and input.

For Auxiliary (Imports) files, use iformat, iloc, itext.