Re: [netmod] deviation-stmt (7.20.3)

2016-09-29 Thread Martin Bjorklund
Andy Bierman wrote: > Hi, > > The deviation section has a lot of fluff text about how bad deviations are, > but very little text on how to process the "deviate" statement correctly. > > The text is not clear if the statements altered in the target module > are semantic patches or syntactic patch

[netmod] deviation-stmt (7.20.3)

2016-09-29 Thread Andy Bierman
Hi, The deviation section has a lot of fluff text about how bad deviations are, but very little text on how to process the "deviate" statement correctly. The text is not clear if the statements altered in the target module are semantic patches or syntactic patches. Are the sub-statements of the