kframework/k — pull request #320 by traiansf (2014-03-28 12:45:23+00:00)
Title: Added task to remove Promela parser generated files.

... using failonerror="false"