The tests directory stores all the input files of the regression test suite. These come in two kinds: FunnelWeb input files with extensions of .fw, and FunnelWeb include files with extensions of .fwi.
FunnelWeb Input Files: an01.fw ... an04.fw - Analyser tests. ex01.fw ... ex16.fw - Examples from the tutorial in user manual. generate.fw - Generates a few other tricky input files. hi01.fw ... hi10.fw - Examples from the hints chapter in user manual. pr01.fw ... pr10.fw - Parser tests. sc01_note.fw - A note explaining absence of sc01.fw sc02.fw ... sc29.fw - Scanner tests. tg01.fw ... tg09.fw - Tangler tests. wv01.fw ... wv06.fw - Weaver tests. FunnelWeb Include Files: ex09a.fwi sc13a.fwi ... sc13f.fwi sc15a.fwi tg08a.fwi