Next: Writing Tests, Previous: Installation, Up: Top
WAchecker is a Python library. As such it doesn't contain any end user program. If you want to work with the library using a user interface, look at WAassistant.