ConstraintMessage.java 4ec997e33fdffd497875b3adeb5a2ee1b1212c29 GREEN
StateAutomatonConstraintChecker.java 2b0b77383ed89613dc4aefc5f3fea277c2746ae8 GREEN
StateProductLineAnalysisChecker.java eaae8da9d4fd768f840b76634946d5820c4a083a GREEN
TransitionSegmentSpecificationConstraintChecker.java 31be5b091d5431ca6892f5e9cdd69f98d460176e GREEN
