DynJAlloy requires a new step in which java code is normalized using the rules defined for normaJava code.
Log in to post a comment.
