For certain axiomatic VCs involving operator templates the NAME for the VC cannot be parsed because it is including a "ARG" on the name but the ZEVES eclipse integration doesn't synch well with this.
Log in to post a comment.
