oster/PLM — pull request #364 by MatthieuNICOLAS (2014-09-26 09:01:30+00:00)
Title: Edit to signald detected execution errors using the executionError field...

... instead of compilationError