spechub/Hets — pull request #1306 by cmaeder (2014-07-28 14:15:57+00:00)
Title: added 5 secs timeout to read maude output line and verbosity

fixes #1286. The errors in the example file are displayed like by maude itself.