Fixed: Restore initial verbosity to normal
swipl "-q" option changed both the verbosity of the compilation and the initial runtime verbose flag. This caused plunit not to print unit names until the verbosity was restored to normal (e.g., by the conservation_laws unit tests). I suppose that it was unattended. Some minor fixes in coding style.
Showing with 31 additions and 9 deletions