Boogie uses the NUnit unit testing framework. We currently use NUnit 3.12.0.
Run the tests as follows:
$ dotnet test Source/Boogie.sln
NUnit tests can also be run within most IDEs, like Visual Studio and MonoDevelop.
Boogie uses the NUnit unit testing framework. We currently use NUnit 3.12.0.
Run the tests as follows:
$ dotnet test Source/Boogie.sln
NUnit tests can also be run within most IDEs, like Visual Studio and MonoDevelop.