sparkunit online with Winfy

We have hosted the application sparkunit in order to run this application in our online workstations with Wine or directly.

Quick description about sparkunit:

SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.

Audience: Developers.

Programming Language: Ada.

.