There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
NUnit broke builds under various versions of mono
The following commit (97c870bf6589) broke builds under various versions of mono. I think that adding NUnit is causing that since there are issues with NUnit versions. This is an example of an error that gets generated during building Boogie using mono:
ProgramLoader.cs(11,11): error CS0117:
NUnit.Framework.Assert' does not contain a definition forIsNotNullOrEmpty'
I am not sure what would be the most appropriate way to fix this, but it would be great to have Boogie compiling again under mono.