SPARK Known bugs

Here we list some of the most unconvenient bugs. The technically more interested user can check the SPARK Bug Tracking (only from MPE) for more detailed information.

v1.2.2

v1.1.0