/v:3 /importprivate /target:library abp.doc 1932252346 method static void Application.SenderStep() method static void Application.LooseAck() method static void Application.LooseMsg() method static void Application.ReceiverStep() Variable field static Application.Ack Application.SenderInbox Variable field static bool Application.SenderBit Variable field static int Application.SenderNo Variable field static Application.DataMsg Application.ReceiverInbox Variable field static bool Application.ReceiverBit Variable field static int Application.ReceiverNo ActionMethod method static void Application.SenderStep() ActionMethod method static void Application.ReceiverStep() ActionMethod method static void Application.LooseMsg() ActionMethod method static void Application.LooseAck() True %scope Application Expression dialog input SenderInboxStatus() %any True %scope Application Expression dialog input ReceiverInboxStatus() %any True %scope Application Expression dialog input FileNoDifferense() %any True %scope Application Expression dialog input BitsAreSyncronized() %any ParameterGenerator True True FSMPrioGen True 2 -1 True True ExploreNondeterminism DefaultExploration True TestSuiteGenerator Full ConformanceTester True 5000 5 4 3 namespace Application Error true false true Microsoft Sans Serif 8.25 Regular ]]> <__TypeAbbreviations>