This repository contains an analysis of the Mzinga project, conducted as a project assignment for the Master's course Software Verification at the Faculty of Mathematics, University of Belgrade.
Mzinga is an open-source implementation of the board game "Hive", built with C# and the .NET framework. A detailed description of the game and its source code are available in the official repository. The analysis was performed on the main branch (commit SHA: d57e5e903f5ca0e0eb6d7f08b25abea95f49bf2a).
David Toholj 1013/2025
- MSTest for unit tests and Coverlet to track code coverage and generate reports. ReportGenerator is used to visualize results.
Detailed instructions for running scripts and reproducing results are located in Project Analysis Report.