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