MASL Roundtrip: =============== -rw-rw-r-- 1 jenkins build 0 Feb 6 16:23 ./1/SAC/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:23 ./10/MissingId/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:23 ./2/X/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:23 ./3/X/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:23 ./4/X/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:23 ./5/X/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:23 ./6/X/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:23 ./7/ipv6/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:23 ./8/pei/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:23 ./9/maslsupsub/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./11/A/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./12/A/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./13/DefaultAttValue/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./14/ReflexiveAssoc/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./15/DuplicateRefAtts/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./16/defer/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./17/FormalismWrongRefAtt/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./18/PolymorphicSTT/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./19/RecursiveReferentialSpur/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./20/mydom/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./21/X/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./22/X/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./23/poly/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./24/ReflexiveAssoc/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./25/SecondaryIdentifier/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./26/OneToManyAssoc/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./27/CurrentStateAtt/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./28/PolymorphicSTT/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./29/IncompleteFormalism/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./30/IncompleteFormalism2/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./31/PolymorphicSTT/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./32/DefaultAttValue/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./33/AssignerDom/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./34/OneToManyAssocWrongObj/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./35/RecursiveReferentialComplex/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./36/TerminatorServiceNotImplemented_PROC/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./37/PragmaOverload/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./38/PolymorphicSTT/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./39/subsup/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./40/MissingStateAction/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./41/PreferredUniqueReferential/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./42/MissingSecondaryIdentifier/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./43/MissingSecondaryIdentifer2/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./44/R114Crash/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./45/LongSignature/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./46/MissingCommentRecursiveStruct/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./47/DuplicateDescription/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./48/DuplicateDescription/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./50/MultiValuedPragma/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:24 ./51/EnumDefaultValue/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./53/FindExpression/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./54/IntegerAssignment/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./55/SuperSubNavigate/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./56/ScheduledEvents/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./57/NameClash/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./58/DupDef/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./59/d/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./60/nestedTypes/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./61/InstanceReturn/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./62/TerminatorNameClash_PROC/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./63/EmptyStatement/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./64/dict/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./65/duration/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./66/dict2/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./67/Colouring2/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./68/perf/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./69/Characteristics/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./70/TimeOperations/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./71/InstanceInit/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./73/Issue9638/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./74/Issue9646/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./75/Issue9648/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./76/Issue9650/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./77/RecursiveStructure/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./78/T/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./81/typeorder/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./82/PolymorphicCreationEvent/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./83/SequenceConstraint/diff_report.txt -rw-rw-r-- 1 jenkins build 0 Feb 6 16:25 ./84/Tics/diff_report.txt -rw-rw-r-- 1 jenkins build 175 Feb 6 16:25 ./79/typeorder/diff_report.txt -rw-rw-r-- 1 jenkins build 28 Feb 6 16:25 ./72/TerminatorNameClash/diff_report.txt -rw-rw-r-- 1 jenkins build 29 Feb 6 16:25 ./80/typeorder/diff_report.txt -rw-rw-r-- 1 jenkins build 30 Feb 6 16:25 ./52/Colouring/diff_report.txt -rw-rw-r-- 1 jenkins build 326 Feb 6 16:24 ./49/TerminatorPragmas/diff_report.txt 84