Commit 23166202 authored by Yann Garcia's avatar Yann Garcia
Browse files

Bugs fiexed in AtsSremSsem

parent 7f92ea7a
......@@ -137,6 +137,7 @@ module LibItsSremSsem_Templates {
template (present) SSEM p_ssemMsg := ?
) := {
msgIn := p_ssemMsg,
recvTime := *,
gnNextHeader := *,
gnHeaderType := *,
gnHeaderSubtype := *,
......@@ -507,8 +508,8 @@ module LibItsSremSsem_Templates {
template (present) RequestorDescription p_requestor := ?,
template (present) SignalRequestList p_requests := ?,
template (present) MsgCount p_sequenceNumber := ?,
template MinuteOfTheYear p_timeStamp := *,
template DSecond p_second := *
template (present) DSecond p_second := ?,
template MinuteOfTheYear p_timeStamp := *
) modifies mw_defaultSrem := {
timeStamp := p_timeStamp,
second := p_second,
......
......@@ -123,6 +123,7 @@ module LibItsSremSsem_TestSystem {
type record SsemInd {
SSEM msgIn,
UInt64 recvTime optional,
UInt8 gnNextHeader optional,
UInt8 gnHeaderType optional,
UInt8 gnHeaderSubtype optional,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment