Warning:
This wiki has been archived and is now read-only.
Template:TestCase
From RIF
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.