assessment GNATprove / SPARK2014
assessment GOPRR
Merge pull request #51 from mgudemann/master

Assessor2 for GNATprove / SPARK 2014 and GOPRR