Full node composite message self validation#50

traiansf wants to merge 1 commit intomasterruntimeverification/vlsm:masterfrom

full-node-composite-message-self-validation_1runtimeverification/vlsm:full-node-composite-message-self-validation_1Copy head branch name to clipboard