SPARK Known bugs

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

v1.0.8