XML parser for term-rewriting library
Haskell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src/Data/Rewriting
testsuite
.gitignore
LICENSE
README.md
Setup.hs
term-rewriting-xml.cabal

README.md

term-rewriting-xml

XML parser for term-rewriting library

Testing

The .xml and .trs parser can be tested by:

cabal configure --enable-tests
cabal install
cabal test testsuite --test-option="number-of-tests" --test-option="xml-folder" --test-option="trs-folder"

  • number-of-tests: number of tests QuickCheck runs
  • xml-folder: top-level folder with only .xml files. (searched recursively for all files)
  • trs-folder: top level folder with same structure as xml-folder only containing .trs files