Code review comment for lp:~tapaal-contributor/tapaal/engine-option-matrix-dev

Peter Haahr Taankvist (ptaank) wrote :

Made the suggested changes, except for 2 comments. I left some comments in the diff.

Members are now static/final and I use the max function when calculating the highest degree.

review: Needs Resubmitting

« Back to merge proposal