From 40144e856711ba3411ad90ddcbde1a20d68604c8 Mon Sep 17 00:00:00 2001 From: Marten Lohstroh Date: Sun, 10 Sep 2023 21:57:55 -0700 Subject: [PATCH] Update known good for v0.5.1 --- test/known-good/C/src/ActionDelay.html | 15 +- .../C/src/ActionWithNoReaction.html | 9 +- test/known-good/C/src/After.html | 18 +- test/known-good/C/src/AfterCycles.html | 18 +- test/known-good/C/src/AfterZero.html | 18 +- test/known-good/C/src/Alignment.html | 9 +- test/known-good/C/src/CompositionGain.html | 9 +- test/known-good/C/src/DanglingOutput.html | 9 +- test/known-good/C/src/DeadlineAnytime.html | 18 +- test/known-good/C/src/DeadlineInherited.html | 22 +- test/known-good/C/src/DeadlinePriority.html | 22 +- .../C/src/DeadlineWithAfterDelay.html | 13 +- test/known-good/C/src/DeadlineWithBanks.html | 13 +- test/known-good/C/src/DeadlineZero.html | 18 +- test/known-good/C/src/DelayArray.html | 18 +- test/known-good/C/src/DelayInt.html | 18 +- test/known-good/C/src/DelayString.html | 18 +- test/known-good/C/src/DelayedAction.html | 9 +- test/known-good/C/src/DelayedReaction.html | 9 +- test/known-good/C/src/Determinism.html | 18 +- test/known-good/C/src/DoublePort.html | 27 +- test/known-good/C/src/Gain.html | 18 +- test/known-good/C/src/GetMicroStep.html | 9 +- test/known-good/C/src/Hierarchy.html | 9 +- test/known-good/C/src/Hierarchy2.html | 9 +- test/known-good/C/src/Import.html | 9 +- test/known-good/C/src/ImportComposition.html | 9 +- test/known-good/C/src/ImportRenamed.html | 9 +- test/known-good/C/src/InheritanceAction.html | 18 +- .../C/src/ManualDelayedReaction.html | 27 +- test/known-good/C/src/Methods.html | 18 +- test/known-good/C/src/MethodsRecursive.html | 9 +- test/known-good/C/src/MethodsSameName.html | 18 +- test/known-good/C/src/Microsteps.html | 9 +- test/known-good/C/src/Minimal.html | 9 +- test/known-good/C/src/MultipleContained.html | 9 +- .../C/src/NestedTriggeredReactions.html | 27 +- test/known-good/C/src/ParameterizedState.html | 9 +- test/known-good/C/src/PhysicalConnection.html | 9 +- test/known-good/C/src/PingPong.html | 9 +- test/known-good/C/src/PreambleInherited.html | 9 +- .../C/src/ReadOutputOfContainedReactor.html | 9 +- .../known-good/C/src/RepeatedInheritance.html | 9 +- test/known-good/C/src/Schedule.html | 18 +- .../C/src/ScheduleLogicalAction.html | 18 +- test/known-good/C/src/SelfLoop.html | 9 +- test/known-good/C/src/SendingInside2.html | 9 +- test/known-good/C/src/SendsPointerTest.html | 6 +- test/known-good/C/src/SetToken.html | 18 +- test/known-good/C/src/SlowingClock.html | 9 +- .../C/src/StartupOutFromInside.html | 9 +- test/known-good/C/src/TimeLimit.html | 7 +- test/known-good/C/src/TimeState.html | 9 +- test/known-good/C/src/UnconnectedInput.html | 9 +- test/known-good/C/src/Wcet.html | 9 +- test/known-good/C/src/arduino/Blink.html | 21 +- .../C/src/arduino/BlinkAttemptThreading.html | 21 +- test/known-good/C/src/arduino/BlinkMBED.html | 21 +- .../C/src/arduino/DigitalReadSerial.html | 9 +- test/known-good/C/src/arduino/Fade.html | 9 +- .../C/src/arduino/ReadAnalogVoltage.html | 9 +- .../C/src/concurrent/DelayIntThreaded.html | 18 +- .../C/src/concurrent/DeterminismThreaded.html | 18 +- .../C/src/concurrent/GainThreaded.html | 18 +- .../C/src/concurrent/ImportThreaded.html | 9 +- .../C/src/concurrent/MinimalThreaded.html | 9 +- .../C/src/concurrent/PingPongThreaded.html | 9 +- .../C/src/concurrent/TimeLimitThreaded.html | 7 +- .../DistributedCountContainerized.html | 8 +- .../DistributedDoublePortContainerized.html | 8 +- .../DistributedMultiportContainerized.html | 8 +- ...ributedStopDecentralizedContainerized.html | 8 +- .../C/src/enclave/EnclaveRequestStop.html | 7 +- .../C/src/federated/BroadcastFeedback.html | 9 +- .../BroadcastFeedbackWithHierarchy.html | 9 +- .../C/src/federated/CycleDetection.html | 27 +- .../C/src/federated/DecentralizedP2PComm.html | 9 +- .../DecentralizedP2PUnbalancedTimeout.html | 9 +- ...ntralizedP2PUnbalancedTimeoutPhysical.html | 9 +- .../C/src/federated/DistributedBank.html | 39 +- .../src/federated/DistributedDoublePort.html | 27 +- .../DistributedPhysicalActionUpstream.html | 9 +- ...DistributedPhysicalActionUpstreamLong.html | 9 +- .../EnclaveFederatedRequestStop.html | 7 +- .../C/src/federated/FeedbackDelay.html | 18 +- .../C/src/federated/FeedbackDelaySimple.html | 9 +- .../C/src/federated/HelloDistributed.html | 18 +- .../C/src/federated/InheritanceFederated.html | 9 +- .../federated/InheritanceFederatedImport.html | 9 +- .../C/src/federated/LevelPattern.html | 27 +- ...ributedCentralizedPrecedenceHierarchy.html | 18 +- .../C/src/federated/SpuriousDependency.html | 18 +- .../C/src/federated/StopAtShutdown.html | 41 +- .../C/src/federated/TopLevelArtifacts.html | 18 +- .../C/src/generics/ParameterAsArgument.html | 9 +- test/known-good/C/src/generics/TypeCheck.html | 9 +- test/known-good/C/src/lib/Count.html | 9 +- .../C/src/lib/FileLevelPreamble.html | 9 +- test/known-good/C/src/lib/GenDelay.html | 22 +- test/known-good/C/src/lib/Imported.html | 9 +- .../C/src/lib/ImportedComposition.html | 9 +- test/known-good/C/src/lib/InternalDelay.html | 18 +- test/known-good/C/src/lib/PassThrough.html | 9 +- .../modal_models/BanksCount3ModesComplex.html | 14 +- .../C/src/modal_models/ConvertCaseTest.html | 55 +- .../C/src/modal_models/Count3Modes.html | 21 +- .../C/src/modal_models/MixedReactions.html | 36 +- .../C/src/modal_models/ModalActions.html | 21 +- .../C/src/modal_models/ModalAfter.html | 21 +- .../C/src/modal_models/ModalCycleBreaker.html | 39 +- .../modal_models/ModalNestedReactions.html | 39 +- .../modal_models/ModalStartupShutdown.html | 21 +- .../C/src/modal_models/ModalStateReset.html | 39 +- .../src/modal_models/ModalStateResetAuto.html | 21 +- .../C/src/modal_models/ModalTimers.html | 21 +- .../MultipleOutputFeeder_2Connections.html | 65 +- ...tipleOutputFeeder_ReactionConnections.html | 74 +- .../C/src/modal_models/util/TraceTesting.html | 9 +- .../src/multiport/BankGangedConnections.html | 9 +- .../C/src/multiport/BankIndexInitializer.html | 24 +- .../C/src/multiport/BankSelfBroadcast.html | 9 +- .../C/src/multiport/BankToMultiport.html | 9 +- .../known-good/C/src/multiport/Broadcast.html | 9 +- .../C/src/multiport/BroadcastAfter.html | 9 +- .../src/multiport/BroadcastMultipleAfter.html | 9 +- .../C/src/multiport/MultiportFromBank.html | 9 +- .../C/src/multiport/MultiportIn.html | 9 +- .../multiport/MultiportInParameterized.html | 9 +- .../C/src/multiport/PipelineAfter.html | 18 +- .../C/src/multiport/ReactionsToNested.html | 18 +- test/known-good/C/src/no_inlining/Count.html | 9 +- .../C/src/no_inlining/CountHierarchy.html | 18 +- .../C/src/target/FederatedFiles.html | 9 +- test/known-good/C/src/target/Math.html | 9 +- test/known-good/C/src/target/Platform.html | 9 +- test/known-good/C/src/token/lib/Token.html | 18 +- test/known-good/C/src/verifier/ADASModel.html | 18 +- .../C/src/verifier/AircraftDoor.html | 9 +- .../C/src/verifier/CoopSchedule.html | 9 +- .../known-good/C/src/verifier/ProcessMsg.html | 18 +- test/known-good/C/src/verifier/Ring.html | 18 +- test/known-good/C/src/verifier/SafeSend.html | 21 +- .../known-good/C/src/verifier/Thermostat.html | 27 +- test/known-good/C/src/verifier/TrainDoor.html | 18 +- .../known-good/C/src/verifier/UnsafeSend.html | 21 +- .../C/src/zephyr/unthreaded/HelloZephyr.html | 9 +- .../C/src/zephyr/unthreaded/Timer.html | 9 +- test/known-good/Cpp/src/ActionDelay.html | 15 +- .../Cpp/src/ActionWithNoReaction.html | 9 +- test/known-good/Cpp/src/After.html | 9 +- test/known-good/Cpp/src/AfterZero.html | 9 +- test/known-good/Cpp/src/ArrayScale.html | 2 +- test/known-good/Cpp/src/CompositionGain.html | 9 +- test/known-good/Cpp/src/DanglingOutput.html | 9 +- test/known-good/Cpp/src/DelayInt.html | 18 +- test/known-good/Cpp/src/DelayedAction.html | 9 +- test/known-good/Cpp/src/DelayedReaction.html | 9 +- test/known-good/Cpp/src/Determinism.html | 18 +- test/known-good/Cpp/src/DoublePort.html | 9 +- test/known-good/Cpp/src/Gain.html | 18 +- test/known-good/Cpp/src/GetMicroStep.html | 9 +- test/known-good/Cpp/src/HelloWorld.html | 9 +- test/known-good/Cpp/src/Hierarchy.html | 18 +- test/known-good/Cpp/src/Hierarchy2.html | 9 +- test/known-good/Cpp/src/Import.html | 9 +- .../known-good/Cpp/src/ImportComposition.html | 9 +- test/known-good/Cpp/src/ImportRenamed.html | 9 +- .../Cpp/src/ManualDelayedReaction.html | 39 +- test/known-good/Cpp/src/Methods.html | 16 +- test/known-good/Cpp/src/Microsteps.html | 9 +- test/known-good/Cpp/src/Minimal.html | 9 +- .../known-good/Cpp/src/MultipleContained.html | 9 +- .../Cpp/src/NestedTriggeredReactions.html | 27 +- .../known-good/Cpp/src/PeriodicDesugared.html | 9 +- .../Cpp/src/PhysicalConnection.html | 9 +- test/known-good/Cpp/src/Pipeline.html | 9 +- test/known-good/Cpp/src/PreambleTest.html | 9 +- .../Cpp/src/ReadOutputOfContainedReactor.html | 9 +- test/known-good/Cpp/src/Schedule.html | 18 +- .../Cpp/src/ScheduleLogicalAction.html | 18 +- test/known-good/Cpp/src/SelfLoop.html | 9 +- test/known-good/Cpp/src/SendingInside2.html | 9 +- test/known-good/Cpp/src/SlowingClock.html | 9 +- .../Cpp/src/StartupOutFromInside.html | 9 +- test/known-good/Cpp/src/Stride.html | 9 +- test/known-good/Cpp/src/TimeLimit.html | 9 +- test/known-good/Cpp/src/TimeState.html | 9 +- .../Cpp/src/concurrent/DelayIntThreaded.html | 18 +- .../src/concurrent/DeterminismThreaded.html | 18 +- .../Cpp/src/concurrent/GainThreaded.html | 18 +- .../Cpp/src/concurrent/ImportThreaded.html | 9 +- .../Cpp/src/concurrent/MinimalThreaded.html | 9 +- .../Cpp/src/concurrent/TimeLimitThreaded.html | 9 +- .../Cpp/src/enclave/EnclaveBroadcast.html | 9 +- .../Cpp/src/enclave/EnclaveCommunication.html | 9 +- .../src/enclave/EnclaveCommunication2.html | 9 +- .../enclave/EnclaveCommunicationDelayed.html | 9 +- .../enclave/EnclaveCommunicationDelayed2.html | 9 +- ...nclaveCommunicationDelayedLocalEvents.html | 18 +- .../EnclaveCommunicationLocalEvents.html | 18 +- .../EnclaveCommunicationMultiportToBank.html | 9 +- ...veCommunicationMultiportToBankDelayed.html | 9 +- ...claveCommunicationMultiportToBankEach.html | 9 +- ...mmunicationMultiportToBankEachDelayed.html | 9 +- ...municationMultiportToBankEachPhysical.html | 9 +- ...eCommunicationMultiportToBankPhysical.html | 9 +- .../enclave/EnclaveCommunicationPhysical.html | 9 +- ...claveCommunicationPhysicalLocalEvents.html | 18 +- .../Cpp/src/enclave/EnclaveCycle.html | 9 +- .../src/enclave/EnclaveCycleTwoTimers.html | 18 +- .../Cpp/src/enclave/EnclaveHelloWorld.html | 9 +- .../src/enclave/EnclaveMultiportToPort.html | 2 +- .../src/enclave/EnclaveMultiportToPort2.html | 2 +- .../Cpp/src/enclave/EnclaveShutdown.html | 16 +- .../enclave/EnclaveSparseUpstreamEvents.html | 18 +- .../EnclaveSparseUpstreamEventsDelayed.html | 18 +- .../EnclaveSparseUpstreamEventsPhysical.html | 18 +- .../Cpp/src/enclave/EnclaveTimeout.html | 9 +- .../EnclaveUpstreamPhysicalAction.html | 9 +- .../EnclaveUpstreamPhysicalActionDelayed.html | 9 +- .../Cpp/src/enclave/FastAndSlow.html | 9 +- test/known-good/Cpp/src/lib/Imported.html | 9 +- .../Cpp/src/lib/ImportedComposition.html | 9 +- .../Cpp/src/multiport/BankSelfBroadcast.html | 9 +- .../Cpp/src/multiport/BankToMultiport.html | 9 +- .../Cpp/src/multiport/Broadcast.html | 9 +- .../Cpp/src/multiport/BroadcastAfter.html | 9 +- .../src/multiport/BroadcastMultipleAfter.html | 9 +- .../multiport/IndexIntoMultiportInput.html | 27 +- .../Cpp/src/multiport/MultiportFromBank.html | 9 +- .../multiport/MultiportFromBankHierarchy.html | 9 +- .../MultiportFromBankHierarchyAfter.html | 11 +- .../src/multiport/MultiportFromHierarchy.html | 2 +- .../Cpp/src/multiport/MultiportIn.html | 20 +- .../multiport/MultiportToMultiportArray.html | 2 +- .../Cpp/src/multiport/MultiportToPort.html | 2 +- .../Cpp/src/multiport/PipelineAfter.html | 18 +- .../multiport/ReadOutputOfContainedBank.html | 9 +- test/known-good/Cpp/src/properties/Fast.html | 9 +- test/known-good/Cpp/src/target/AfterVoid.html | 9 +- .../src/target/CliParserGenericArguments.html | 9 +- .../Cpp/src/target/GenericAfter.html | 27 +- .../Cpp/src/target/GenericDelay.html | 27 +- .../src/target/MultipleContainedGeneric.html | 9 +- .../Cpp/src/target/PointerParameters.html | 9 +- test/known-good/Python/src/ActionDelay.html | 14 +- .../Python/src/ActionWithNoReaction.html | 7 +- test/known-good/Python/src/After.html | 14 +- test/known-good/Python/src/AfterCycles.html | 14 +- test/known-good/Python/src/CompareTags.html | 9 +- .../Python/src/CompositionGain.html | 7 +- .../known-good/Python/src/DanglingOutput.html | 7 +- test/known-good/Python/src/Deadline.html | 6 +- .../Python/src/DeadlineHandledAbove.html | 6 +- test/known-good/Python/src/DelayArray.html | 7 +- test/known-good/Python/src/DelayInt.html | 14 +- test/known-good/Python/src/DelayString.html | 21 +- test/known-good/Python/src/DelayStruct.html | 20 +- .../Python/src/DelayStructWithAfter.html | 13 +- .../src/DelayStructWithAfterOverlapped.html | 6 +- test/known-good/Python/src/DelayedAction.html | 7 +- .../Python/src/DelayedReaction.html | 7 +- test/known-good/Python/src/Determinism.html | 14 +- test/known-good/Python/src/Gain.html | 14 +- test/known-good/Python/src/GetMicroStep.html | 16 +- test/known-good/Python/src/Hierarchy.html | 7 +- test/known-good/Python/src/Hierarchy2.html | 7 +- test/known-good/Python/src/Import.html | 7 +- .../Python/src/ImportComposition.html | 7 +- test/known-good/Python/src/ImportRenamed.html | 7 +- .../Python/src/ManualDelayedReaction.html | 25 +- test/known-good/Python/src/Methods.html | 14 +- .../Python/src/MethodsRecursive.html | 7 +- .../Python/src/MethodsSameName.html | 14 +- test/known-good/Python/src/Microsteps.html | 7 +- test/known-good/Python/src/Minimal.html | 7 +- .../Python/src/MultipleContained.html | 7 +- .../Python/src/ParameterizedState.html | 7 +- .../src/ReadOutputOfContainedReactor.html | 7 +- test/known-good/Python/src/Schedule.html | 14 +- .../Python/src/ScheduleLogicalAction.html | 14 +- test/known-good/Python/src/SelfLoop.html | 7 +- .../known-good/Python/src/SendingInside2.html | 7 +- test/known-good/Python/src/SetArray.html | 7 +- .../known-good/Python/src/SimpleDeadline.html | 9 +- test/known-good/Python/src/SlowingClock.html | 7 +- .../Python/src/StartupOutFromInside.html | 7 +- test/known-good/Python/src/StructAsType.html | 6 +- .../Python/src/StructAsTypeDirect.html | 6 +- .../known-good/Python/src/StructParallel.html | 6 +- test/known-good/Python/src/StructPrint.html | 13 +- test/known-good/Python/src/StructScale.html | 13 +- .../Python/src/TestForPreviousOutput.html | 9 +- test/known-good/Python/src/TimeLimit.html | 7 +- test/known-good/Python/src/TimeState.html | 7 +- test/known-good/Python/src/Timers.html | 14 +- .../src/TriggerDownstreamOnlyIfPresent2.html | 7 +- test/known-good/Python/src/Wcet.html | 7 +- .../docker/FilesPropertyContainerized.html | 7 +- .../src/federated/BroadcastFeedback.html | 7 +- .../BroadcastFeedbackWithHierarchy.html | 16 +- .../Python/src/federated/CycleDetection.html | 30 +- .../src/federated/DecentralizedP2PComm.html | 9 +- .../DecentralizedP2PUnbalancedTimeout.html | 23 +- ...ntralizedP2PUnbalancedTimeoutPhysical.html | 16 +- .../Python/src/federated/DistributedBank.html | 9 +- .../federated/DistributedBankToMultiport.html | 9 +- .../src/federated/DistributedCount.html | 9 +- .../DistributedCountDecentralized.html | 9 +- .../DistributedCountDecentralizedLate.html | 9 +- .../federated/DistributedCountPhysical.html | 9 +- .../DistributedCountPhysicalAfterDelay.html | 9 +- ...DistributedCountPhysicalDecentralized.html | 9 +- .../src/federated/DistributedDoublePort.html | 23 +- .../federated/DistributedLoopedAction.html | 9 +- .../DistributedLoopedPhysicalAction.html | 16 +- .../src/federated/DistributedMultiport.html | 9 +- .../federated/DistributedMultiportToBank.html | 9 +- .../src/federated/DistributedNoReact.html | 7 +- .../src/federated/DistributedSendClass.html | 14 +- .../Python/src/federated/DistributedStop.html | 6 +- .../src/federated/DistributedStopZero.html | 20 +- .../federated/DistributedStructAsType.html | 26 - .../DistributedStructAsTypeDirect.html | 26 - .../federated/DistributedStructParallel.html | 26 - .../src/federated/DistributedStructPrint.html | 26 - .../src/federated/DistributedStructScale.html | 26 - .../src/federated/HelloDistributed.html | 7 +- ...ributedCentralizedPrecedenceHierarchy.html | 14 +- .../Python/src/federated/PhysicalSTP.html | 9 +- .../src/federated/PingPongDistributed.html | 9 +- .../Python/src/federated/StopAtShutdown.html | 35 +- test/known-good/Python/src/lib/Imported.html | 7 +- .../Python/src/lib/ImportedComposition.html | 7 +- .../Python/src/lib/InternalDelay.html | 14 +- test/known-good/Python/src/lib/TestCount.html | 9 +- .../Python/src/lib/TestCountMultiport.html | 9 +- .../modal_models/BanksCount3ModesComplex.html | 14 +- .../src/modal_models/ConvertCaseTest.html | 56 +- .../Python/src/modal_models/Count3Modes.html | 18 +- .../Python/src/modal_models/ModalActions.html | 18 +- .../Python/src/modal_models/ModalAfter.html | 18 +- .../src/modal_models/ModalCycleBreaker.html | 25 +- .../modal_models/ModalNestedReactions.html | 32 +- .../modal_models/ModalStartupShutdown.html | 18 +- .../src/modal_models/ModalStateReset.html | 32 +- .../src/modal_models/ModalStateResetAuto.html | 18 +- .../Python/src/modal_models/ModalTimers.html | 18 +- .../MultipleOutputFeeder_2Connections.html | 52 +- ...tipleOutputFeeder_ReactionConnections.html | 59 +- .../src/modal_models/util/TraceTesting.html | 7 +- .../src/multiport/BankIndexInitializer.html | 11 +- .../Python/src/multiport/BankToMultiport.html | 7 +- .../Python/src/multiport/Broadcast.html | 7 +- .../src/multiport/MultiportFromBank.html | 7 +- .../multiport/MultiportFromBankHierarchy.html | 7 +- .../Python/src/multiport/MultiportIn.html | 7 +- .../multiport/MultiportInParameterized.html | 7 +- .../Python/src/multiport/MultiportOut.html | 7 +- .../Python/src/multiport/PipelineAfter.html | 14 +- .../src/multiport/ReactionsToNested.html | 14 +- .../Python/src/target/AfterNoTypes.html | 14 +- .../Rust/src/ActionImplicitDelay.html | 9 +- .../Rust/src/ActionValuesCleanup.html | 9 +- .../src/CompositionInitializationOrder.html | 27 +- .../Rust/src/CompositionWithPorts.html | 9 +- .../Rust/src/DependencyOnChildPort.html | 18 +- .../Rust/src/DependencyThroughChildPort.html | 9 +- .../Rust/src/DependencyUseAccessible.html | 39 +- .../Rust/src/DependencyUseNonTrigger.html | 27 +- test/known-good/Rust/src/Import.html | 9 +- .../Rust/src/ImportPreambleItem.html | 9 +- .../known-good/Rust/src/MainReactorParam.html | 9 +- test/known-good/Rust/src/Minimal.html | 9 +- test/known-good/Rust/src/MovingAverage.html | 9 +- .../Rust/src/PortConnectionInSelfOutSelf.html | 9 +- .../src/PortConnectionOutChildOutSelf.html | 18 +- .../known-good/Rust/src/PortValueCleanup.html | 9 +- test/known-good/Rust/src/Preamble.html | 9 +- test/known-good/Rust/src/ReactionLabels.html | 21 +- .../Rust/src/SingleFileGeneration.html | 9 +- test/known-good/Rust/src/StopNoEvent.html | 9 +- test/known-good/Rust/src/TimeState.html | 9 +- test/known-good/Rust/src/Timers.html | 18 +- .../Rust/src/concurrent/AsyncCallback.html | 9 +- .../Rust/src/generics/CtorParamGeneric.html | 9 +- .../src/generics/CtorParamGenericInst.html | 9 +- .../Rust/src/generics/GenericComplexType.html | 9 +- .../Rust/src/generics/GenericReactor.html | 18 +- test/known-good/Rust/src/lib/Imported.html | 9 +- .../src/multiport/ConnectionToSelfBank.html | 9 +- .../src/multiport/CycledLhs_SelfLoop.html | 18 +- .../Rust/src/multiport/CycledLhs_Single.html | 9 +- .../Rust/src/multiport/FullyConnected.html | 9 +- .../Rust/src/multiport/MultiportFromBank.html | 9 +- .../multiport/ReadOutputOfContainedBank.html | 9 +- .../src/multiport/WidthWithParameter.html | 9 +- .../multiport/WriteInputOfContainedBank.html | 9 +- .../src/target/CargoDependencyOnRuntime.html | 9 +- .../Rust/src/target/CliFeature.html | 9 +- .../TypeScript/src/ActionDelay.html | 18 +- .../TypeScript/src/ActionWithNoReaction.html | 9 +- test/known-good/TypeScript/src/After.html | 18 +- .../TypeScript/src/DanglingOutput.html | 9 +- test/known-good/TypeScript/src/DelayInt.html | 18 +- .../TypeScript/src/DelayedAction.html | 9 +- .../TypeScript/src/DelayedReaction.html | 9 +- .../TypeScript/src/Determinism.html | 18 +- test/known-good/TypeScript/src/Gain.html | 18 +- .../known-good/TypeScript/src/HelloWorld.html | 9 +- .../known-good/TypeScript/src/Hierarchy2.html | 9 +- test/known-good/TypeScript/src/Import.html | 9 +- .../known-good/TypeScript/src/Microsteps.html | 9 +- test/known-good/TypeScript/src/Minimal.html | 9 +- .../TypeScript/src/MultipleContained.html | 9 +- .../TypeScript/src/ParameterizedState.html | 9 +- .../TypeScript/src/PhysicalConnection.html | 6 +- .../src/ReadOutputOfContainedReactor.html | 9 +- test/known-good/TypeScript/src/Schedule.html | 18 +- .../TypeScript/src/ScheduleLogicalAction.html | 18 +- .../TypeScript/src/SendingInside2.html | 9 +- .../TypeScript/src/SlowingClock.html | 9 +- test/known-good/TypeScript/src/Stride.html | 9 +- test/known-good/TypeScript/src/TimeLimit.html | 9 +- test/known-good/TypeScript/src/TimeState.html | 9 +- test/known-good/TypeScript/src/Wcet.html | 9 +- .../src/federated/DistributedDoublePort.html | 27 +- .../src/federated/HelloDistributed.html | 18 +- .../src/federated/StopAtShutdown.html | 45 +- .../src/federated/TopLevelArtifacts.html | 18 +- .../DistributedCountPhysicalAfterDelay.html | 757 --------- .../failing/LoopDistributedCentralized.html | 1016 ------------ .../failing/LoopDistributedDouble.html | 1362 ----------------- .../failing/PingPongDistributed.html | 879 ----------- .../failing/PingPongDistributedPhysical.html | 967 ------------ .../federated/failing/SimpleFederated.html | 245 --- .../federated/failing/SpuriousDependency.html | 1096 ------------- test/known-good/TypeScript/src/lib/Count.html | 9 +- .../TypeScript/src/lib/Imported.html | 9 +- .../TypeScript/src/lib/InternalDelay.html | 18 +- .../src/multiport/BankSelfBroadcast.html | 9 +- .../src/multiport/BankToMultiport.html | 9 +- .../TypeScript/src/multiport/Broadcast.html | 9 +- .../src/multiport/BroadcastAfter.html | 9 +- .../src/multiport/BroadcastMultipleAfter.html | 9 +- .../src/multiport/MultiportFromBank.html | 9 +- .../TypeScript/src/multiport/MultiportIn.html | 18 +- .../multiport/MultiportInParameterized.html | 9 +- .../src/multiport/PipelineAfter.html | 18 +- .../src/multiport/ReactionsToNested.html | 18 +- 450 files changed, 4517 insertions(+), 7785 deletions(-) delete mode 100644 test/known-good/TypeScript/src/federated/failing/DistributedCountPhysicalAfterDelay.html delete mode 100644 test/known-good/TypeScript/src/federated/failing/LoopDistributedCentralized.html delete mode 100644 test/known-good/TypeScript/src/federated/failing/LoopDistributedDouble.html delete mode 100644 test/known-good/TypeScript/src/federated/failing/PingPongDistributed.html delete mode 100644 test/known-good/TypeScript/src/federated/failing/PingPongDistributedPhysical.html delete mode 100644 test/known-good/TypeScript/src/federated/failing/SimpleFederated.html delete mode 100644 test/known-good/TypeScript/src/federated/failing/SpuriousDependency.html diff --git a/test/known-good/C/src/ActionDelay.html b/test/known-good/C/src/ActionDelay.html index 36314a1bd..d9401929a 100644 --- a/test/known-good/C/src/ActionDelay.html +++ b/test/known-good/C/src/ActionDelay.html @@ -237,8 +237,9 @@ = + - lf_set(y_out, self + lf_set(y_out, self -> @@ -252,8 +253,9 @@ ; + - + = @@ -333,14 +335,19 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = diff --git a/test/known-good/C/src/ActionWithNoReaction.html b/test/known-good/C/src/ActionWithNoReaction.html index bc71a843c..c2a854935 100644 --- a/test/known-good/C/src/ActionWithNoReaction.html +++ b/test/known-good/C/src/ActionWithNoReaction.html @@ -549,8 +549,9 @@ = + - lf_set( + lf_set( f @@ -568,7 +569,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/After.html b/test/known-good/C/src/After.html index ea89112d5..a550aa10c 100644 --- a/test/known-good/C/src/After.html +++ b/test/known-good/C/src/After.html @@ -134,8 +134,9 @@ = + - lf_set(y, + lf_set(y, 2 @@ -150,7 +151,11 @@ -> -value); +value); + + + + = @@ -821,8 +826,9 @@ = + - lf_set( + lf_set( f @@ -840,7 +846,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/AfterCycles.html b/test/known-good/C/src/AfterCycles.html index 53fb96759..fba467302 100644 --- a/test/known-good/C/src/AfterCycles.html +++ b/test/known-good/C/src/AfterCycles.html @@ -83,14 +83,19 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = @@ -189,14 +194,19 @@ = + - lf_set(out, in + lf_set(out, in -> -value); +value); + + + + = diff --git a/test/known-good/C/src/AfterZero.html b/test/known-good/C/src/AfterZero.html index 8536069c5..fb42cb6c2 100644 --- a/test/known-good/C/src/AfterZero.html +++ b/test/known-good/C/src/AfterZero.html @@ -134,8 +134,9 @@ = + - SET(y, + SET(y, 2 @@ -150,7 +151,11 @@ -> -value); +value); + + + + = @@ -883,8 +888,9 @@ = + - SET( + SET( f @@ -902,7 +908,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/Alignment.html b/test/known-good/C/src/Alignment.html index 125500b91..dd02753a3 100644 --- a/test/known-good/C/src/Alignment.html +++ b/test/known-good/C/src/Alignment.html @@ -174,8 +174,9 @@ = + - lf_set(out, self + lf_set(out, self -> @@ -190,7 +191,11 @@ + -); +); + + + + = diff --git a/test/known-good/C/src/CompositionGain.html b/test/known-good/C/src/CompositionGain.html index 41512ff5b..0fc7cb2b5 100644 --- a/test/known-good/C/src/CompositionGain.html +++ b/test/known-good/C/src/CompositionGain.html @@ -385,8 +385,9 @@ = + - lf_set( + lf_set( wrapper @@ -404,7 +405,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/DanglingOutput.html b/test/known-good/C/src/DanglingOutput.html index bac8f2be2..9eeafacee 100644 --- a/test/known-good/C/src/DanglingOutput.html +++ b/test/known-good/C/src/DanglingOutput.html @@ -90,14 +90,19 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = diff --git a/test/known-good/C/src/DeadlineAnytime.html b/test/known-good/C/src/DeadlineAnytime.html index 69c2eb1aa..22846e304 100644 --- a/test/known-good/C/src/DeadlineAnytime.html +++ b/test/known-good/C/src/DeadlineAnytime.html @@ -161,14 +161,19 @@ = + - lf_schedule(a, + lf_schedule(a, 0 -); +); + + + + = @@ -196,8 +201,9 @@ = + - self + self -> @@ -215,7 +221,11 @@ 42 -; +; + + + + = diff --git a/test/known-good/C/src/DeadlineInherited.html b/test/known-good/C/src/DeadlineInherited.html index 038fd6e84..3a5226d4e 100644 --- a/test/known-good/C/src/DeadlineInherited.html +++ b/test/known-good/C/src/DeadlineInherited.html @@ -61,9 +61,11 @@ = + - extern int global_cnt; + extern int global_cnt; + = @@ -100,8 +102,9 @@ = + - int global_cnt + int global_cnt = @@ -113,7 +116,11 @@ 0 -; +; + + + + = @@ -175,8 +182,9 @@ = + - global_cnt + global_cnt + @@ -185,7 +193,11 @@ + -; +; + + + + = diff --git a/test/known-good/C/src/DeadlinePriority.html b/test/known-good/C/src/DeadlinePriority.html index c2c87e853..947716e2d 100644 --- a/test/known-good/C/src/DeadlinePriority.html +++ b/test/known-good/C/src/DeadlinePriority.html @@ -61,9 +61,11 @@ = + - extern int global_cnt; + extern int global_cnt; + = @@ -100,8 +102,9 @@ = + - int global_cnt + int global_cnt = @@ -113,7 +116,11 @@ 0 -; +; + + + + = @@ -175,8 +182,9 @@ = + - global_cnt + global_cnt + @@ -185,7 +193,11 @@ + -; +; + + + + = diff --git a/test/known-good/C/src/DeadlineWithAfterDelay.html b/test/known-good/C/src/DeadlineWithAfterDelay.html index d0be7095c..9c4995568 100644 --- a/test/known-good/C/src/DeadlineWithAfterDelay.html +++ b/test/known-good/C/src/DeadlineWithAfterDelay.html @@ -61,9 +61,11 @@ = + - extern int global_cnt; + extern int global_cnt; + = @@ -100,8 +102,9 @@ = + - int global_cnt + int global_cnt = @@ -113,7 +116,11 @@ 0 -; +; + + + + = diff --git a/test/known-good/C/src/DeadlineWithBanks.html b/test/known-good/C/src/DeadlineWithBanks.html index 9aa83d96b..7b65f6f1e 100644 --- a/test/known-good/C/src/DeadlineWithBanks.html +++ b/test/known-good/C/src/DeadlineWithBanks.html @@ -89,9 +89,11 @@ = + - extern volatile int global_cnt; + extern volatile int global_cnt; + = @@ -146,8 +148,9 @@ = + - volatile int global_cnt + volatile int global_cnt = @@ -159,7 +162,11 @@ 0 -; +; + + + + = diff --git a/test/known-good/C/src/DeadlineZero.html b/test/known-good/C/src/DeadlineZero.html index 37ffe92b0..323ab9864 100644 --- a/test/known-good/C/src/DeadlineZero.html +++ b/test/known-good/C/src/DeadlineZero.html @@ -193,8 +193,9 @@ = + - self + self -> @@ -209,7 +210,11 @@ + -; +; + + + + = @@ -314,14 +319,19 @@ = + - lf_set(pulse, + lf_set(pulse, 0 -); +); + + + + = diff --git a/test/known-good/C/src/DelayArray.html b/test/known-good/C/src/DelayArray.html index dfb68c410..a8711bbe7 100644 --- a/test/known-good/C/src/DelayArray.html +++ b/test/known-good/C/src/DelayArray.html @@ -176,8 +176,9 @@ = + - lf_schedule_token(a, self + lf_schedule_token(a, self -> @@ -189,7 +190,11 @@ -> -token); +token); + + + + = @@ -223,14 +228,19 @@ = + - lf_set_token(out, a + lf_set_token(out, a -> -token); +token); + + + + = diff --git a/test/known-good/C/src/DelayInt.html b/test/known-good/C/src/DelayInt.html index 0632e891d..fed306174 100644 --- a/test/known-good/C/src/DelayInt.html +++ b/test/known-good/C/src/DelayInt.html @@ -150,8 +150,9 @@ = + - if (a + if (a -> @@ -169,7 +170,11 @@ -> -value); +value); + + + + = @@ -892,8 +897,9 @@ = + - lf_set( + lf_set( d @@ -911,7 +917,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/DelayString.html b/test/known-good/C/src/DelayString.html index bcb3fcf2d..fc4071f9d 100644 --- a/test/known-good/C/src/DelayString.html +++ b/test/known-good/C/src/DelayString.html @@ -226,14 +226,19 @@ = + - lf_set(out, a + lf_set(out, a -> -value); +value); + + + + = @@ -729,8 +734,9 @@ = + - lf_set( + lf_set( d @@ -754,7 +760,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/DelayedAction.html b/test/known-good/C/src/DelayedAction.html index 050540674..da257c5da 100644 --- a/test/known-good/C/src/DelayedAction.html +++ b/test/known-good/C/src/DelayedAction.html @@ -173,14 +173,19 @@ = + - lf_schedule(a, MSEC( + lf_schedule(a, MSEC( 100 -)); +)); + + + + = diff --git a/test/known-good/C/src/DelayedReaction.html b/test/known-good/C/src/DelayedReaction.html index 78e43cf88..b42583d15 100644 --- a/test/known-good/C/src/DelayedReaction.html +++ b/test/known-good/C/src/DelayedReaction.html @@ -86,14 +86,19 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = diff --git a/test/known-good/C/src/Determinism.html b/test/known-good/C/src/Determinism.html index ae871c10b..7580c4f46 100644 --- a/test/known-good/C/src/Determinism.html +++ b/test/known-good/C/src/Determinism.html @@ -82,14 +82,19 @@ = + - lf_set(y, + lf_set(y, 1 -); +); + + + + = @@ -433,14 +438,19 @@ = + - lf_set(y, x + lf_set(y, x -> -value); +value); + + + + = diff --git a/test/known-good/C/src/DoublePort.html b/test/known-good/C/src/DoublePort.html index 562c93700..679a694b9 100644 --- a/test/known-good/C/src/DoublePort.html +++ b/test/known-good/C/src/DoublePort.html @@ -257,8 +257,9 @@ = + - lf_schedule_int(act, + lf_schedule_int(act, 0 @@ -279,7 +280,11 @@ + -); +); + + + + = @@ -313,14 +318,19 @@ = + - lf_set(out, act + lf_set(out, act -> -value); +value); + + + + = @@ -542,8 +552,9 @@ = + - printf( + printf( " @@ -558,7 +569,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/Gain.html b/test/known-good/C/src/Gain.html index 6073832a8..a5034f76f 100644 --- a/test/known-good/C/src/Gain.html +++ b/test/known-good/C/src/Gain.html @@ -116,8 +116,9 @@ = + - lf_set(y, x + lf_set(y, x -> @@ -135,7 +136,11 @@ -> -scale); +scale); + + + + = @@ -596,8 +601,9 @@ = + - lf_set( + lf_set( g @@ -615,7 +621,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/C/src/GetMicroStep.html b/test/known-good/C/src/GetMicroStep.html index 574365a3b..3bc59fda7 100644 --- a/test/known-good/C/src/GetMicroStep.html +++ b/test/known-good/C/src/GetMicroStep.html @@ -120,14 +120,19 @@ = + - lf_schedule(l, + lf_schedule(l, 0 -); +); + + + + = diff --git a/test/known-good/C/src/Hierarchy.html b/test/known-good/C/src/Hierarchy.html index 51faa7f6c..8e77e612b 100644 --- a/test/known-good/C/src/Hierarchy.html +++ b/test/known-good/C/src/Hierarchy.html @@ -86,14 +86,19 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = diff --git a/test/known-good/C/src/Hierarchy2.html b/test/known-good/C/src/Hierarchy2.html index 411deed99..1582d61fb 100644 --- a/test/known-good/C/src/Hierarchy2.html +++ b/test/known-good/C/src/Hierarchy2.html @@ -140,14 +140,19 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = diff --git a/test/known-good/C/src/Import.html b/test/known-good/C/src/Import.html index 8965fe6dc..79f98312c 100644 --- a/test/known-good/C/src/Import.html +++ b/test/known-good/C/src/Import.html @@ -142,8 +142,9 @@ = + - lf_set( + lf_set( a @@ -161,7 +162,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/ImportComposition.html b/test/known-good/C/src/ImportComposition.html index bae544442..783c0f6c0 100644 --- a/test/known-good/C/src/ImportComposition.html +++ b/test/known-good/C/src/ImportComposition.html @@ -169,8 +169,9 @@ = + - lf_set( + lf_set( a @@ -188,7 +189,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/ImportRenamed.html b/test/known-good/C/src/ImportRenamed.html index 2c36ea519..aaaf60ebc 100644 --- a/test/known-good/C/src/ImportRenamed.html +++ b/test/known-good/C/src/ImportRenamed.html @@ -284,8 +284,9 @@ = + - lf_set( + lf_set( a @@ -303,7 +304,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/InheritanceAction.html b/test/known-good/C/src/InheritanceAction.html index bfc3bef92..8199440b3 100644 --- a/test/known-good/C/src/InheritanceAction.html +++ b/test/known-good/C/src/InheritanceAction.html @@ -121,14 +121,19 @@ = + - lf_set(y, foo + lf_set(y, foo -> -value); +value); + + + + = @@ -188,8 +193,9 @@ = + - lf_schedule_int(foo, + lf_schedule_int(foo, 0 @@ -201,7 +207,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/ManualDelayedReaction.html b/test/known-good/C/src/ManualDelayedReaction.html index c6b9f2ffc..32f42e6d0 100644 --- a/test/known-good/C/src/ManualDelayedReaction.html +++ b/test/known-good/C/src/ManualDelayedReaction.html @@ -282,8 +282,9 @@ = + - lf_set(y_out, self + lf_set(y_out, self -> @@ -297,8 +298,9 @@ ; + - + = @@ -364,6 +366,13 @@ + + + + +// reaction(t) -> out after 100 msec + + @@ -385,23 +394,25 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = -} - - -// reaction(t) -> out after 100 msec +} diff --git a/test/known-good/C/src/Methods.html b/test/known-good/C/src/Methods.html index c73611f6d..8c7a88b8c 100644 --- a/test/known-good/C/src/Methods.html +++ b/test/known-good/C/src/Methods.html @@ -84,14 +84,19 @@ = + - return self + return self -> -foo; +foo; + + + + = @@ -125,8 +130,9 @@ = + - self + self -> @@ -141,7 +147,11 @@ = - x; + x; + + + + = diff --git a/test/known-good/C/src/MethodsRecursive.html b/test/known-good/C/src/MethodsRecursive.html index cdc6972c5..e86abb331 100644 --- a/test/known-good/C/src/MethodsRecursive.html +++ b/test/known-good/C/src/MethodsRecursive.html @@ -193,14 +193,19 @@ = + - return x + return x + - y; + y; + + + + = diff --git a/test/known-good/C/src/MethodsSameName.html b/test/known-good/C/src/MethodsSameName.html index 0c4749822..0d1907768 100644 --- a/test/known-good/C/src/MethodsSameName.html +++ b/test/known-good/C/src/MethodsSameName.html @@ -94,8 +94,9 @@ = + - self + self -> @@ -110,7 +111,11 @@ = - x; + x; + + + + = @@ -338,8 +343,9 @@ = + - self + self -> @@ -354,7 +360,11 @@ = - x; + x; + + + + = diff --git a/test/known-good/C/src/Microsteps.html b/test/known-good/C/src/Microsteps.html index 1a2b16517..3bd3c7d76 100644 --- a/test/known-good/C/src/Microsteps.html +++ b/test/known-good/C/src/Microsteps.html @@ -529,8 +529,9 @@ = + - lf_set( + lf_set( d @@ -548,7 +549,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/C/src/Minimal.html b/test/known-good/C/src/Minimal.html index 5b75870cc..21e66de0c 100644 --- a/test/known-good/C/src/Minimal.html +++ b/test/known-good/C/src/Minimal.html @@ -53,8 +53,9 @@ = + - printf( + printf( " @@ -69,7 +70,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/MultipleContained.html b/test/known-good/C/src/MultipleContained.html index 7f6544603..8d7658545 100644 --- a/test/known-good/C/src/MultipleContained.html +++ b/test/known-good/C/src/MultipleContained.html @@ -157,14 +157,19 @@ = + - lf_set(trigger, + lf_set(trigger, 42 -); +); + + + + = diff --git a/test/known-good/C/src/NestedTriggeredReactions.html b/test/known-good/C/src/NestedTriggeredReactions.html index d42f6ce15..a5323d28e 100644 --- a/test/known-good/C/src/NestedTriggeredReactions.html +++ b/test/known-good/C/src/NestedTriggeredReactions.html @@ -159,8 +159,9 @@ = + - self + self -> @@ -178,7 +179,11 @@ true -; +; + + + + = @@ -350,8 +355,9 @@ = + - self + self -> @@ -369,7 +375,11 @@ true -; +; + + + + = @@ -530,8 +540,9 @@ = + - lf_set( + lf_set( container @@ -549,7 +560,11 @@ true -); +); + + + + = diff --git a/test/known-good/C/src/ParameterizedState.html b/test/known-good/C/src/ParameterizedState.html index 761dee5c9..6f3a347aa 100644 --- a/test/known-good/C/src/ParameterizedState.html +++ b/test/known-good/C/src/ParameterizedState.html @@ -87,8 +87,9 @@ = + - printf( + printf( " @@ -109,7 +110,11 @@ -> -baz); +baz); + + + + = diff --git a/test/known-good/C/src/PhysicalConnection.html b/test/known-good/C/src/PhysicalConnection.html index c822ae92f..ce3f4ece9 100644 --- a/test/known-good/C/src/PhysicalConnection.html +++ b/test/known-good/C/src/PhysicalConnection.html @@ -85,14 +85,19 @@ = + - lf_set(out, + lf_set(out, 42 -); +); + + + + = diff --git a/test/known-good/C/src/PingPong.html b/test/known-good/C/src/PingPong.html index f57f37e59..62e520273 100644 --- a/test/known-good/C/src/PingPong.html +++ b/test/known-good/C/src/PingPong.html @@ -265,8 +265,9 @@ = + - lf_set(send, self + lf_set(send, self -> @@ -281,7 +282,11 @@ - -); +); + + + + = diff --git a/test/known-good/C/src/PreambleInherited.html b/test/known-good/C/src/PreambleInherited.html index 7aa8204b5..6755947c6 100644 --- a/test/known-good/C/src/PreambleInherited.html +++ b/test/known-good/C/src/PreambleInherited.html @@ -87,8 +87,9 @@ = + - printf( + printf( " @@ -103,7 +104,11 @@ " -, FOO); +, FOO); + + + + = diff --git a/test/known-good/C/src/ReadOutputOfContainedReactor.html b/test/known-good/C/src/ReadOutputOfContainedReactor.html index 51916cfb9..8df2c9201 100644 --- a/test/known-good/C/src/ReadOutputOfContainedReactor.html +++ b/test/known-good/C/src/ReadOutputOfContainedReactor.html @@ -79,14 +79,19 @@ = + - lf_set(out, + lf_set(out, 42 -); +); + + + + = diff --git a/test/known-good/C/src/RepeatedInheritance.html b/test/known-good/C/src/RepeatedInheritance.html index 2d5d99fca..b6a273a48 100644 --- a/test/known-good/C/src/RepeatedInheritance.html +++ b/test/known-good/C/src/RepeatedInheritance.html @@ -360,8 +360,9 @@ = + - lf_set(out, a + lf_set(out, a -> @@ -403,7 +404,11 @@ -> -value); +value); + + + + = diff --git a/test/known-good/C/src/Schedule.html b/test/known-good/C/src/Schedule.html index 26257cde5..2dde2179d 100644 --- a/test/known-good/C/src/Schedule.html +++ b/test/known-good/C/src/Schedule.html @@ -95,14 +95,19 @@ = + - lf_schedule(a, MSEC( + lf_schedule(a, MSEC( 200 -)); +)); + + + + = @@ -309,8 +314,9 @@ = + - lf_set( + lf_set( a @@ -328,7 +334,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/C/src/ScheduleLogicalAction.html b/test/known-good/C/src/ScheduleLogicalAction.html index 3613bec2a..79f509e6a 100644 --- a/test/known-good/C/src/ScheduleLogicalAction.html +++ b/test/known-good/C/src/ScheduleLogicalAction.html @@ -241,8 +241,9 @@ = + - lf_set(y, + lf_set(y, - @@ -251,7 +252,11 @@ 42 -); +); + + + + = @@ -693,8 +698,9 @@ = + - lf_set( + lf_set( f @@ -712,7 +718,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/SelfLoop.html b/test/known-good/C/src/SelfLoop.html index d51067d52..1d293fa62 100644 --- a/test/known-good/C/src/SelfLoop.html +++ b/test/known-good/C/src/SelfLoop.html @@ -435,8 +435,9 @@ = + - lf_schedule_int(a, + lf_schedule_int(a, 0 @@ -448,7 +449,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/SendingInside2.html b/test/known-good/C/src/SendingInside2.html index b859b12d0..7c4452559 100644 --- a/test/known-good/C/src/SendingInside2.html +++ b/test/known-good/C/src/SendingInside2.html @@ -259,8 +259,9 @@ = + - lf_set( + lf_set( p @@ -278,7 +279,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/C/src/SendsPointerTest.html b/test/known-good/C/src/SendsPointerTest.html index 7f2fca183..3eb1e8573 100644 --- a/test/known-good/C/src/SendsPointerTest.html +++ b/test/known-good/C/src/SendsPointerTest.html @@ -29,15 +29,17 @@ = + - typedef int + typedef int * - int_pointer; + int_pointer; + = diff --git a/test/known-good/C/src/SetToken.html b/test/known-good/C/src/SetToken.html index 669f287c4..13b74aa19 100644 --- a/test/known-good/C/src/SetToken.html +++ b/test/known-good/C/src/SetToken.html @@ -110,8 +110,9 @@ = + - lf_schedule_int(a, MSEC( + lf_schedule_int(a, MSEC( 200 @@ -123,7 +124,11 @@ 42 -); +); + + + + = @@ -157,14 +162,19 @@ = + - lf_set_token(out, a + lf_set_token(out, a -> -token); +token); + + + + = diff --git a/test/known-good/C/src/SlowingClock.html b/test/known-good/C/src/SlowingClock.html index e1afa3a75..10affa603 100644 --- a/test/known-good/C/src/SlowingClock.html +++ b/test/known-good/C/src/SlowingClock.html @@ -232,14 +232,19 @@ = + - lf_schedule(a, + lf_schedule(a, 0 -); +); + + + + = diff --git a/test/known-good/C/src/StartupOutFromInside.html b/test/known-good/C/src/StartupOutFromInside.html index 191e0b727..4c2138cb9 100644 --- a/test/known-good/C/src/StartupOutFromInside.html +++ b/test/known-good/C/src/StartupOutFromInside.html @@ -75,14 +75,19 @@ = + - lf_set(out, + lf_set(out, 42 -); +); + + + + = diff --git a/test/known-good/C/src/TimeLimit.html b/test/known-good/C/src/TimeLimit.html index 75437bf4a..6b3dbfcf4 100644 --- a/test/known-good/C/src/TimeLimit.html +++ b/test/known-good/C/src/TimeLimit.html @@ -728,8 +728,13 @@ = + - lf_request_stop(); + lf_request_stop(); + + + + = diff --git a/test/known-good/C/src/TimeState.html b/test/known-good/C/src/TimeState.html index 71c19af9c..890e758f2 100644 --- a/test/known-good/C/src/TimeState.html +++ b/test/known-good/C/src/TimeState.html @@ -105,8 +105,9 @@ = + - printf( + printf( " @@ -127,7 +128,11 @@ -> -baz); +baz); + + + + = diff --git a/test/known-good/C/src/UnconnectedInput.html b/test/known-good/C/src/UnconnectedInput.html index 7b9d9cf35..4f2b1fbbc 100644 --- a/test/known-good/C/src/UnconnectedInput.html +++ b/test/known-good/C/src/UnconnectedInput.html @@ -174,8 +174,9 @@ = + - lf_set(out, self + lf_set(out, self -> @@ -190,7 +191,11 @@ + -); +); + + + + = diff --git a/test/known-good/C/src/Wcet.html b/test/known-good/C/src/Wcet.html index 72c4d35dc..246351a41 100644 --- a/test/known-good/C/src/Wcet.html +++ b/test/known-good/C/src/Wcet.html @@ -412,8 +412,9 @@ = + - printf( + printf( " @@ -434,7 +435,11 @@ -> -value); +value); + + + + = diff --git a/test/known-good/C/src/arduino/Blink.html b/test/known-good/C/src/arduino/Blink.html index 3f53d37d0..94750a74c 100644 --- a/test/known-good/C/src/arduino/Blink.html +++ b/test/known-good/C/src/arduino/Blink.html @@ -187,8 +187,13 @@ = + + + pinMode(LED_BUILTIN, OUTPUT); + + - pinMode(LED_BUILTIN, OUTPUT); + = @@ -216,8 +221,13 @@ = + - digitalWrite(LED_BUILTIN, HIGH); + digitalWrite(LED_BUILTIN, HIGH); + + + + = @@ -245,8 +255,13 @@ = + - digitalWrite(LED_BUILTIN, LOW); + digitalWrite(LED_BUILTIN, LOW); + + + + = diff --git a/test/known-good/C/src/arduino/BlinkAttemptThreading.html b/test/known-good/C/src/arduino/BlinkAttemptThreading.html index 8967c9901..0c48a3a05 100644 --- a/test/known-good/C/src/arduino/BlinkAttemptThreading.html +++ b/test/known-good/C/src/arduino/BlinkAttemptThreading.html @@ -201,8 +201,13 @@ = + + + pinMode(LED_BUILTIN, OUTPUT); + + - pinMode(LED_BUILTIN, OUTPUT); + = @@ -230,8 +235,13 @@ = + - digitalWrite(LED_BUILTIN, HIGH); + digitalWrite(LED_BUILTIN, HIGH); + + + + = @@ -259,8 +269,13 @@ = + - digitalWrite(LED_BUILTIN, LOW); + digitalWrite(LED_BUILTIN, LOW); + + + + = diff --git a/test/known-good/C/src/arduino/BlinkMBED.html b/test/known-good/C/src/arduino/BlinkMBED.html index afcbd16aa..f131144e8 100644 --- a/test/known-good/C/src/arduino/BlinkMBED.html +++ b/test/known-good/C/src/arduino/BlinkMBED.html @@ -187,8 +187,13 @@ = + + + pinMode(LED_BUILTIN, OUTPUT); + + - pinMode(LED_BUILTIN, OUTPUT); + = @@ -216,8 +221,13 @@ = + - digitalWrite(LED_BUILTIN, HIGH); + digitalWrite(LED_BUILTIN, HIGH); + + + + = @@ -245,8 +255,13 @@ = + - digitalWrite(LED_BUILTIN, LOW); + digitalWrite(LED_BUILTIN, LOW); + + + + = diff --git a/test/known-good/C/src/arduino/DigitalReadSerial.html b/test/known-good/C/src/arduino/DigitalReadSerial.html index c302c3bdf..56642f19b 100644 --- a/test/known-good/C/src/arduino/DigitalReadSerial.html +++ b/test/known-good/C/src/arduino/DigitalReadSerial.html @@ -178,14 +178,19 @@ = + - pinMode(self + pinMode(self -> -pushButton, INPUT); +pushButton, INPUT); + + + + = diff --git a/test/known-good/C/src/arduino/Fade.html b/test/known-good/C/src/arduino/Fade.html index 2d79f0f63..e34a72089 100644 --- a/test/known-good/C/src/arduino/Fade.html +++ b/test/known-good/C/src/arduino/Fade.html @@ -263,14 +263,19 @@ = + - pinMode(self + pinMode(self -> -led, OUTPUT); +led, OUTPUT); + + + + = diff --git a/test/known-good/C/src/arduino/ReadAnalogVoltage.html b/test/known-good/C/src/arduino/ReadAnalogVoltage.html index 54d5e2718..1d72d4996 100644 --- a/test/known-good/C/src/arduino/ReadAnalogVoltage.html +++ b/test/known-good/C/src/arduino/ReadAnalogVoltage.html @@ -158,14 +158,19 @@ = + - lf_schedule(a, + lf_schedule(a, 0 -); +); + + + + = diff --git a/test/known-good/C/src/concurrent/DelayIntThreaded.html b/test/known-good/C/src/concurrent/DelayIntThreaded.html index 1e1a42808..aca122671 100644 --- a/test/known-good/C/src/concurrent/DelayIntThreaded.html +++ b/test/known-good/C/src/concurrent/DelayIntThreaded.html @@ -150,14 +150,19 @@ = + - lf_set(out, a + lf_set(out, a -> -value); +value); + + + + = @@ -874,8 +879,9 @@ = + - lf_set( + lf_set( d @@ -893,7 +899,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/concurrent/DeterminismThreaded.html b/test/known-good/C/src/concurrent/DeterminismThreaded.html index 2e1250e9c..18493caa9 100644 --- a/test/known-good/C/src/concurrent/DeterminismThreaded.html +++ b/test/known-good/C/src/concurrent/DeterminismThreaded.html @@ -82,14 +82,19 @@ = + - lf_set(y, + lf_set(y, 1 -); +); + + + + = @@ -433,14 +438,19 @@ = + - lf_set(y, x + lf_set(y, x -> -value); +value); + + + + = diff --git a/test/known-good/C/src/concurrent/GainThreaded.html b/test/known-good/C/src/concurrent/GainThreaded.html index afed2fb8b..c11012e90 100644 --- a/test/known-good/C/src/concurrent/GainThreaded.html +++ b/test/known-good/C/src/concurrent/GainThreaded.html @@ -116,8 +116,9 @@ = + - lf_set(y, x + lf_set(y, x -> @@ -135,7 +136,11 @@ -> -scale); +scale); + + + + = @@ -590,8 +595,9 @@ = + - lf_set( + lf_set( g @@ -609,7 +615,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/C/src/concurrent/ImportThreaded.html b/test/known-good/C/src/concurrent/ImportThreaded.html index 7261a266f..d8f664f5e 100644 --- a/test/known-good/C/src/concurrent/ImportThreaded.html +++ b/test/known-good/C/src/concurrent/ImportThreaded.html @@ -142,8 +142,9 @@ = + - lf_set( + lf_set( a @@ -161,7 +162,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/concurrent/MinimalThreaded.html b/test/known-good/C/src/concurrent/MinimalThreaded.html index c2fa0e1cf..8624e7c9c 100644 --- a/test/known-good/C/src/concurrent/MinimalThreaded.html +++ b/test/known-good/C/src/concurrent/MinimalThreaded.html @@ -64,8 +64,9 @@ = + - printf( + printf( " @@ -80,7 +81,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/concurrent/PingPongThreaded.html b/test/known-good/C/src/concurrent/PingPongThreaded.html index 6d03d6bee..3d11ed245 100644 --- a/test/known-good/C/src/concurrent/PingPongThreaded.html +++ b/test/known-good/C/src/concurrent/PingPongThreaded.html @@ -261,8 +261,9 @@ = + - lf_set(send, self + lf_set(send, self -> @@ -277,7 +278,11 @@ - -); +); + + + + = diff --git a/test/known-good/C/src/concurrent/TimeLimitThreaded.html b/test/known-good/C/src/concurrent/TimeLimitThreaded.html index a958f1953..9a9c44f08 100644 --- a/test/known-good/C/src/concurrent/TimeLimitThreaded.html +++ b/test/known-good/C/src/concurrent/TimeLimitThreaded.html @@ -722,8 +722,13 @@ = + - lf_request_stop(); + lf_request_stop(); + + + + = diff --git a/test/known-good/C/src/docker/federated/DistributedCountContainerized.html b/test/known-good/C/src/docker/federated/DistributedCountContainerized.html index 3138ae271..d55321a1c 100644 --- a/test/known-good/C/src/docker/federated/DistributedCountContainerized.html +++ b/test/known-good/C/src/docker/federated/DistributedCountContainerized.html @@ -201,13 +201,7 @@ msec -) - - -at - - - rti { +) { diff --git a/test/known-good/C/src/docker/federated/DistributedDoublePortContainerized.html b/test/known-good/C/src/docker/federated/DistributedDoublePortContainerized.html index b8f92f990..bbdf3e28b 100644 --- a/test/known-good/C/src/docker/federated/DistributedDoublePortContainerized.html +++ b/test/known-good/C/src/docker/federated/DistributedDoublePortContainerized.html @@ -205,13 +205,7 @@ DistributedDoublePortContainerized - - - -at - - - rti { + { diff --git a/test/known-good/C/src/docker/federated/DistributedMultiportContainerized.html b/test/known-good/C/src/docker/federated/DistributedMultiportContainerized.html index d2882e87a..739f56079 100644 --- a/test/known-good/C/src/docker/federated/DistributedMultiportContainerized.html +++ b/test/known-good/C/src/docker/federated/DistributedMultiportContainerized.html @@ -119,13 +119,7 @@ DistributedMultiportContainerized - - - -at - - - rti { + { diff --git a/test/known-good/C/src/docker/federated/DistributedStopDecentralizedContainerized.html b/test/known-good/C/src/docker/federated/DistributedStopDecentralizedContainerized.html index ea47b07d3..906735fa3 100644 --- a/test/known-good/C/src/docker/federated/DistributedStopDecentralizedContainerized.html +++ b/test/known-good/C/src/docker/federated/DistributedStopDecentralizedContainerized.html @@ -119,13 +119,7 @@ DistributedStopDecentralizedContainerized - - - -at - - - rti { + { diff --git a/test/known-good/C/src/enclave/EnclaveRequestStop.html b/test/known-good/C/src/enclave/EnclaveRequestStop.html index 5c6a28209..b86290bf8 100644 --- a/test/known-good/C/src/enclave/EnclaveRequestStop.html +++ b/test/known-good/C/src/enclave/EnclaveRequestStop.html @@ -135,8 +135,13 @@ = + - lf_request_stop(); + lf_request_stop(); + + + + = diff --git a/test/known-good/C/src/federated/BroadcastFeedback.html b/test/known-good/C/src/federated/BroadcastFeedback.html index 2ea39706c..75cffead6 100644 --- a/test/known-good/C/src/federated/BroadcastFeedback.html +++ b/test/known-good/C/src/federated/BroadcastFeedback.html @@ -171,14 +171,19 @@ = + - lf_set(out, + lf_set(out, 42 -); +); + + + + = diff --git a/test/known-good/C/src/federated/BroadcastFeedbackWithHierarchy.html b/test/known-good/C/src/federated/BroadcastFeedbackWithHierarchy.html index c68ca6330..2432cd4c7 100644 --- a/test/known-good/C/src/federated/BroadcastFeedbackWithHierarchy.html +++ b/test/known-good/C/src/federated/BroadcastFeedbackWithHierarchy.html @@ -209,14 +209,19 @@ = + - lf_set(out, + lf_set(out, 42 -); +); + + + + = diff --git a/test/known-good/C/src/federated/CycleDetection.html b/test/known-good/C/src/federated/CycleDetection.html index b934d1036..6cc9754b4 100644 --- a/test/known-good/C/src/federated/CycleDetection.html +++ b/test/known-good/C/src/federated/CycleDetection.html @@ -311,14 +311,19 @@ = + - lf_set(response, self + lf_set(response, self -> -balance); +balance); + + + + = @@ -420,14 +425,19 @@ = + - lf_set(deposit, + lf_set(deposit, 100 -); +); + + + + = @@ -627,8 +637,9 @@ = + - lf_print( + lf_print( " @@ -640,7 +651,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/federated/DecentralizedP2PComm.html b/test/known-good/C/src/federated/DecentralizedP2PComm.html index ee34d1d3b..89761547c 100644 --- a/test/known-good/C/src/federated/DecentralizedP2PComm.html +++ b/test/known-good/C/src/federated/DecentralizedP2PComm.html @@ -300,8 +300,9 @@ = + - lf_set(out, self + lf_set(out, self -> @@ -316,7 +317,11 @@ + -); +); + + + + = diff --git a/test/known-good/C/src/federated/DecentralizedP2PUnbalancedTimeout.html b/test/known-good/C/src/federated/DecentralizedP2PUnbalancedTimeout.html index b221bd320..4e8e2f3c7 100644 --- a/test/known-good/C/src/federated/DecentralizedP2PUnbalancedTimeout.html +++ b/test/known-good/C/src/federated/DecentralizedP2PUnbalancedTimeout.html @@ -309,8 +309,9 @@ = + - lf_print( + lf_print( " @@ -322,7 +323,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/federated/DecentralizedP2PUnbalancedTimeoutPhysical.html b/test/known-good/C/src/federated/DecentralizedP2PUnbalancedTimeoutPhysical.html index cbec22883..7af4dd7d4 100644 --- a/test/known-good/C/src/federated/DecentralizedP2PUnbalancedTimeoutPhysical.html +++ b/test/known-good/C/src/federated/DecentralizedP2PUnbalancedTimeoutPhysical.html @@ -298,8 +298,9 @@ = + - lf_print( + lf_print( " @@ -311,7 +312,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/federated/DistributedBank.html b/test/known-good/C/src/federated/DistributedBank.html index de3ece358..fe788a5e2 100644 --- a/test/known-good/C/src/federated/DistributedBank.html +++ b/test/known-good/C/src/federated/DistributedBank.html @@ -164,8 +164,9 @@ = + - lf_print( + lf_print( " @@ -192,7 +193,11 @@ + -); +); + + + + = @@ -224,36 +229,6 @@ = - - if (self - - --> - - -bank_index) { - - - - lf_print_error_and_exit( - - -" - - -The only bank index should be zero because there should be only one bank member per federate. - - -" - - -); - - - - } - - if (self diff --git a/test/known-good/C/src/federated/DistributedDoublePort.html b/test/known-good/C/src/federated/DistributedDoublePort.html index a4b322807..441614002 100644 --- a/test/known-good/C/src/federated/DistributedDoublePort.html +++ b/test/known-good/C/src/federated/DistributedDoublePort.html @@ -270,8 +270,9 @@ = + - lf_schedule_int(act, + lf_schedule_int(act, 0 @@ -292,7 +293,11 @@ + -); +); + + + + = @@ -326,14 +331,19 @@ = + - lf_set(out, act + lf_set(out, act -> -value); +value); + + + + = @@ -539,8 +549,9 @@ = + - lf_print( + lf_print( " @@ -552,7 +563,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/federated/DistributedPhysicalActionUpstream.html b/test/known-good/C/src/federated/DistributedPhysicalActionUpstream.html index 8a0780179..fcce924ff 100644 --- a/test/known-good/C/src/federated/DistributedPhysicalActionUpstream.html +++ b/test/known-good/C/src/federated/DistributedPhysicalActionUpstream.html @@ -521,14 +521,19 @@ = + - lf_set(out, act + lf_set(out, act -> -value); +value); + + + + = diff --git a/test/known-good/C/src/federated/DistributedPhysicalActionUpstreamLong.html b/test/known-good/C/src/federated/DistributedPhysicalActionUpstreamLong.html index 79ede7325..cbc20c02e 100644 --- a/test/known-good/C/src/federated/DistributedPhysicalActionUpstreamLong.html +++ b/test/known-good/C/src/federated/DistributedPhysicalActionUpstreamLong.html @@ -517,14 +517,19 @@ = + - lf_set(out, act + lf_set(out, act -> -value); +value); + + + + = diff --git a/test/known-good/C/src/federated/EnclaveFederatedRequestStop.html b/test/known-good/C/src/federated/EnclaveFederatedRequestStop.html index 1f4d0b887..2c98fdb74 100644 --- a/test/known-good/C/src/federated/EnclaveFederatedRequestStop.html +++ b/test/known-good/C/src/federated/EnclaveFederatedRequestStop.html @@ -144,8 +144,13 @@ = + - lf_request_stop(); + lf_request_stop(); + + + + = diff --git a/test/known-good/C/src/federated/FeedbackDelay.html b/test/known-good/C/src/federated/FeedbackDelay.html index c6089865e..e9985caf2 100644 --- a/test/known-good/C/src/federated/FeedbackDelay.html +++ b/test/known-good/C/src/federated/FeedbackDelay.html @@ -389,8 +389,9 @@ = + - lf_print_warning( + lf_print_warning( " @@ -402,7 +403,11 @@ " -); +); + + + + = @@ -615,8 +620,9 @@ = + - self + self -> @@ -634,7 +640,11 @@ -> -value; +value; + + + + = diff --git a/test/known-good/C/src/federated/FeedbackDelaySimple.html b/test/known-good/C/src/federated/FeedbackDelaySimple.html index eb9504fb1..844ff594d 100644 --- a/test/known-good/C/src/federated/FeedbackDelaySimple.html +++ b/test/known-good/C/src/federated/FeedbackDelaySimple.html @@ -320,14 +320,19 @@ = + - lf_set(out, self + lf_set(out, self -> -count); +count); + + + + = diff --git a/test/known-good/C/src/federated/HelloDistributed.html b/test/known-good/C/src/federated/HelloDistributed.html index 3badee4ea..f785dc8cd 100644 --- a/test/known-good/C/src/federated/HelloDistributed.html +++ b/test/known-good/C/src/federated/HelloDistributed.html @@ -276,8 +276,9 @@ = + - lf_print( + lf_print( " @@ -289,7 +290,11 @@ " -); +); + + + + = @@ -672,8 +677,9 @@ = + - lf_print( + lf_print( " @@ -685,7 +691,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/federated/InheritanceFederated.html b/test/known-good/C/src/federated/InheritanceFederated.html index 9931d18bf..2e5cef42e 100644 --- a/test/known-good/C/src/federated/InheritanceFederated.html +++ b/test/known-good/C/src/federated/InheritanceFederated.html @@ -75,8 +75,9 @@ = + - printf( + printf( " @@ -91,7 +92,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/federated/InheritanceFederatedImport.html b/test/known-good/C/src/federated/InheritanceFederatedImport.html index ee5d818c5..737246b49 100644 --- a/test/known-good/C/src/federated/InheritanceFederatedImport.html +++ b/test/known-good/C/src/federated/InheritanceFederatedImport.html @@ -109,8 +109,9 @@ = + - printf( + printf( " @@ -125,7 +126,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/federated/LevelPattern.html b/test/known-good/C/src/federated/LevelPattern.html index 3101ef005..6b99938c2 100644 --- a/test/known-good/C/src/federated/LevelPattern.html +++ b/test/known-good/C/src/federated/LevelPattern.html @@ -201,14 +201,19 @@ = + - lf_set(out, in + lf_set(out, in -> -value); +value); + + + + = @@ -471,8 +476,9 @@ = + - lf_set( + lf_set( i1 @@ -490,7 +496,11 @@ -> -value); +value); + + + + = @@ -536,8 +546,9 @@ = + - lf_set( + lf_set( i2 @@ -555,7 +566,11 @@ -> -value); +value); + + + + = diff --git a/test/known-good/C/src/federated/LoopDistributedCentralizedPrecedenceHierarchy.html b/test/known-good/C/src/federated/LoopDistributedCentralizedPrecedenceHierarchy.html index 202d7d7a6..1fa9b7fe7 100644 --- a/test/known-good/C/src/federated/LoopDistributedCentralizedPrecedenceHierarchy.html +++ b/test/known-good/C/src/federated/LoopDistributedCentralizedPrecedenceHierarchy.html @@ -293,8 +293,9 @@ = + - self + self -> @@ -315,7 +316,11 @@ -> -incr; +incr; + + + + = @@ -343,8 +348,9 @@ = + - self + self -> @@ -362,7 +368,11 @@ -> -count; +count; + + + + = diff --git a/test/known-good/C/src/federated/SpuriousDependency.html b/test/known-good/C/src/federated/SpuriousDependency.html index 7b1645d39..ce126793c 100644 --- a/test/known-good/C/src/federated/SpuriousDependency.html +++ b/test/known-good/C/src/federated/SpuriousDependency.html @@ -566,8 +566,9 @@ = + - lf_print( + lf_print( " @@ -594,7 +595,11 @@ -> -count); +count); + + + + = @@ -970,8 +975,9 @@ = + - lf_set( + lf_set( t0 @@ -989,7 +995,11 @@ 0 -); +); + + + + = diff --git a/test/known-good/C/src/federated/StopAtShutdown.html b/test/known-good/C/src/federated/StopAtShutdown.html index 62a53df58..c515baac5 100644 --- a/test/known-good/C/src/federated/StopAtShutdown.html +++ b/test/known-good/C/src/federated/StopAtShutdown.html @@ -123,8 +123,9 @@ = + - lf_print( + lf_print( " @@ -136,7 +137,11 @@ " -); +); + + + + = @@ -164,8 +169,9 @@ = + - lf_print( + lf_print( " @@ -177,7 +183,11 @@ " -); +); + + + + = @@ -208,8 +218,13 @@ = + - lf_request_stop(); + lf_request_stop(); + + + + = @@ -308,14 +323,19 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = @@ -346,8 +366,13 @@ = + + + lf_request_stop(); + + - lf_request_stop(); + = diff --git a/test/known-good/C/src/federated/TopLevelArtifacts.html b/test/known-good/C/src/federated/TopLevelArtifacts.html index d60303bf5..7678d1252 100644 --- a/test/known-good/C/src/federated/TopLevelArtifacts.html +++ b/test/known-good/C/src/federated/TopLevelArtifacts.html @@ -346,8 +346,9 @@ = + - self + self -> @@ -362,7 +363,11 @@ + -; +; + + + + = @@ -455,8 +460,9 @@ = + - self + self -> @@ -471,7 +477,11 @@ + -; +; + + + + = diff --git a/test/known-good/C/src/generics/ParameterAsArgument.html b/test/known-good/C/src/generics/ParameterAsArgument.html index 9590e2cc1..80efdde67 100644 --- a/test/known-good/C/src/generics/ParameterAsArgument.html +++ b/test/known-good/C/src/generics/ParameterAsArgument.html @@ -455,8 +455,9 @@ = + - lf_set( + lf_set( cc @@ -474,7 +475,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/C/src/generics/TypeCheck.html b/test/known-good/C/src/generics/TypeCheck.html index db3f4f9ff..68d949d59 100644 --- a/test/known-good/C/src/generics/TypeCheck.html +++ b/test/known-good/C/src/generics/TypeCheck.html @@ -204,8 +204,9 @@ = + - lf_set(out, self + lf_set(out, self -> @@ -220,7 +221,11 @@ + -); +); + + + + = diff --git a/test/known-good/C/src/lib/Count.html b/test/known-good/C/src/lib/Count.html index d8bb66b94..f28c21137 100644 --- a/test/known-good/C/src/lib/Count.html +++ b/test/known-good/C/src/lib/Count.html @@ -158,8 +158,9 @@ = + - lf_set(out, self + lf_set(out, self -> @@ -174,7 +175,11 @@ + -); +); + + + + = diff --git a/test/known-good/C/src/lib/FileLevelPreamble.html b/test/known-good/C/src/lib/FileLevelPreamble.html index ac4def3d1..257fa359e 100644 --- a/test/known-good/C/src/lib/FileLevelPreamble.html +++ b/test/known-good/C/src/lib/FileLevelPreamble.html @@ -81,8 +81,9 @@ = + - printf( + printf( " @@ -97,7 +98,11 @@ " -, FOO); +, FOO); + + + + = diff --git a/test/known-good/C/src/lib/GenDelay.html b/test/known-good/C/src/lib/GenDelay.html index beeeadae2..71097136d 100644 --- a/test/known-good/C/src/lib/GenDelay.html +++ b/test/known-good/C/src/lib/GenDelay.html @@ -21,9 +21,11 @@ = + - typedef int message_t; + typedef int message_t; + = @@ -98,14 +100,19 @@ = + - lf_set(out, + lf_set(out, 42 -); +); + + + + = @@ -176,8 +183,9 @@ = + - lf_print( + lf_print( " @@ -195,7 +203,11 @@ -> -value, lf_time_logical_elapsed()); +value, lf_time_logical_elapsed()); + + + + = diff --git a/test/known-good/C/src/lib/Imported.html b/test/known-good/C/src/lib/Imported.html index c908ebeb7..f4a864448 100644 --- a/test/known-good/C/src/lib/Imported.html +++ b/test/known-good/C/src/lib/Imported.html @@ -152,8 +152,9 @@ = + - lf_set( + lf_set( a @@ -171,7 +172,11 @@ -> -value); +value); + + + + = diff --git a/test/known-good/C/src/lib/ImportedComposition.html b/test/known-good/C/src/lib/ImportedComposition.html index 2b533879e..865b42e9e 100644 --- a/test/known-good/C/src/lib/ImportedComposition.html +++ b/test/known-good/C/src/lib/ImportedComposition.html @@ -102,8 +102,9 @@ = + - lf_set(y, x + lf_set(y, x -> @@ -121,7 +122,11 @@ 2 -); +); + + + + = diff --git a/test/known-good/C/src/lib/InternalDelay.html b/test/known-good/C/src/lib/InternalDelay.html index 91239a41d..fa8174754 100644 --- a/test/known-good/C/src/lib/InternalDelay.html +++ b/test/known-good/C/src/lib/InternalDelay.html @@ -146,8 +146,9 @@ = + - lf_schedule_int(d, self + lf_schedule_int(d, self -> @@ -159,7 +160,11 @@ -> -value); +value); + + + + = @@ -193,14 +198,19 @@ = + - lf_set(out, d + lf_set(out, d -> -value); +value); + + + + = diff --git a/test/known-good/C/src/lib/PassThrough.html b/test/known-good/C/src/lib/PassThrough.html index 5dada7e07..cf4cccde8 100644 --- a/test/known-good/C/src/lib/PassThrough.html +++ b/test/known-good/C/src/lib/PassThrough.html @@ -104,14 +104,19 @@ = + - lf_set(out, in + lf_set(out, in -> -value); +value); + + + + = diff --git a/test/known-good/C/src/modal_models/BanksCount3ModesComplex.html b/test/known-good/C/src/modal_models/BanksCount3ModesComplex.html index 6feba54ae..16c85449f 100644 --- a/test/known-good/C/src/modal_models/BanksCount3ModesComplex.html +++ b/test/known-good/C/src/modal_models/BanksCount3ModesComplex.html @@ -508,8 +508,13 @@ = + - lf_set_mode(Two); + lf_set_mode(Two); + + + + = @@ -674,8 +679,13 @@ = + - lf_set_mode(One); + lf_set_mode(One); + + + + = diff --git a/test/known-good/C/src/modal_models/ConvertCaseTest.html b/test/known-good/C/src/modal_models/ConvertCaseTest.html index 2174f215d..0b61a102d 100644 --- a/test/known-good/C/src/modal_models/ConvertCaseTest.html +++ b/test/known-good/C/src/modal_models/ConvertCaseTest.html @@ -291,8 +291,13 @@ = + - lf_set_mode(Discarding); + lf_set_mode(Discarding); + + + + = @@ -340,8 +345,9 @@ = + - lf_set(converted, + lf_set(converted, ' @@ -353,7 +359,11 @@ ' -); +); + + + + = @@ -393,8 +403,13 @@ = + + + lf_set_mode(Converting); + + - lf_set_mode(Converting); + = @@ -610,8 +625,13 @@ = + - lf_set_mode(Discarding); + lf_set_mode(Discarding); + + + + = @@ -659,8 +679,9 @@ = + - lf_set(converted, + lf_set(converted, ' @@ -672,7 +693,11 @@ ' -); +); + + + + = @@ -706,8 +731,13 @@ = + - lf_set_mode(Converting); + lf_set_mode(Converting); + + + + = @@ -2303,8 +2333,9 @@ = + - printf( + printf( " @@ -2334,7 +2365,11 @@ -> -value); +value); + + + + = diff --git a/test/known-good/C/src/modal_models/Count3Modes.html b/test/known-good/C/src/modal_models/Count3Modes.html index 350ae334e..0bca41ebb 100644 --- a/test/known-good/C/src/modal_models/Count3Modes.html +++ b/test/known-good/C/src/modal_models/Count3Modes.html @@ -450,6 +450,13 @@ + + + + +// Trigger + + @@ -483,8 +490,9 @@ = + - lf_set( + lf_set( counter @@ -502,16 +510,17 @@ true -); +); + + + + = -} - - -// Trigger +} diff --git a/test/known-good/C/src/modal_models/MixedReactions.html b/test/known-good/C/src/modal_models/MixedReactions.html index 05be70fe2..d4a2878b7 100644 --- a/test/known-good/C/src/modal_models/MixedReactions.html +++ b/test/known-good/C/src/modal_models/MixedReactions.html @@ -199,8 +199,9 @@ = + - self + self -> @@ -242,7 +243,11 @@ 1 -; +; + + + + = @@ -270,8 +275,9 @@ = + - self + self -> @@ -313,7 +319,11 @@ 2 -; +; + + + + = @@ -453,8 +463,9 @@ = + - self + self -> @@ -496,7 +507,11 @@ 4 -; +; + + + + = @@ -534,8 +549,9 @@ = + - self + self -> @@ -577,7 +593,11 @@ 5 -; +; + + + + = diff --git a/test/known-good/C/src/modal_models/ModalActions.html b/test/known-good/C/src/modal_models/ModalActions.html index 208cc7f59..6210baee3 100644 --- a/test/known-good/C/src/modal_models/ModalActions.html +++ b/test/known-good/C/src/modal_models/ModalActions.html @@ -2168,6 +2168,13 @@ + + + + +// Trigger mode change + + @@ -2201,8 +2208,9 @@ = + - lf_set( + lf_set( modal @@ -2220,16 +2228,17 @@ true -); +); + + + + = -} - - -// Trigger mode change +} diff --git a/test/known-good/C/src/modal_models/ModalAfter.html b/test/known-good/C/src/modal_models/ModalAfter.html index d6b3d5dd6..c5ff553d5 100644 --- a/test/known-good/C/src/modal_models/ModalAfter.html +++ b/test/known-good/C/src/modal_models/ModalAfter.html @@ -2377,6 +2377,13 @@ + + + + +// Trigger mode change + + @@ -2410,8 +2417,9 @@ = + - lf_set( + lf_set( modal @@ -2429,16 +2437,17 @@ true -); +); + + + + = -} - - -// Trigger mode change +} diff --git a/test/known-good/C/src/modal_models/ModalCycleBreaker.html b/test/known-good/C/src/modal_models/ModalCycleBreaker.html index d417275e6..286235b2e 100644 --- a/test/known-good/C/src/modal_models/ModalCycleBreaker.html +++ b/test/known-good/C/src/modal_models/ModalCycleBreaker.html @@ -384,14 +384,19 @@ = + - lf_set(out, in1 + lf_set(out, in1 -> -value); +value); + + + + = @@ -656,8 +661,9 @@ = + - lf_set(value, self + lf_set(value, self -> @@ -672,7 +678,11 @@ + -); +); + + + + = @@ -1153,6 +1163,13 @@ + + + + +// Print + + @@ -1177,8 +1194,9 @@ = + - printf( + printf( " @@ -1208,16 +1226,17 @@ -> -value); +value); + + + + = -} - - -// Print +} diff --git a/test/known-good/C/src/modal_models/ModalNestedReactions.html b/test/known-good/C/src/modal_models/ModalNestedReactions.html index 61e099f52..b5d5475b6 100644 --- a/test/known-good/C/src/modal_models/ModalNestedReactions.html +++ b/test/known-good/C/src/modal_models/ModalNestedReactions.html @@ -413,14 +413,19 @@ = + - lf_set(never, + lf_set(never, true -); +); + + + + = @@ -523,14 +528,19 @@ = + - lf_set(out, in + lf_set(out, in -> -value); +value); + + + + = @@ -620,6 +630,13 @@ + + + + +// Trigger + + @@ -653,8 +670,9 @@ = + - lf_set( + lf_set( counter @@ -672,16 +690,17 @@ true -); +); + + + + = -} - - -// Trigger +} diff --git a/test/known-good/C/src/modal_models/ModalStartupShutdown.html b/test/known-good/C/src/modal_models/ModalStartupShutdown.html index 17c7325a7..cd03a6a33 100644 --- a/test/known-good/C/src/modal_models/ModalStartupShutdown.html +++ b/test/known-good/C/src/modal_models/ModalStartupShutdown.html @@ -3416,6 +3416,13 @@ + + + + +// Trigger mode change + + @@ -3449,8 +3456,9 @@ = + - lf_set( + lf_set( modal @@ -3468,16 +3476,17 @@ true -); +); + + + + = -} - - -// Trigger mode change +} diff --git a/test/known-good/C/src/modal_models/ModalStateReset.html b/test/known-good/C/src/modal_models/ModalStateReset.html index 8c5954f06..6c0246def 100644 --- a/test/known-good/C/src/modal_models/ModalStateReset.html +++ b/test/known-good/C/src/modal_models/ModalStateReset.html @@ -441,8 +441,9 @@ = + - self + self -> @@ -460,7 +461,11 @@ 0 -; +; + + + + = @@ -731,8 +736,9 @@ = + - self + self -> @@ -753,7 +759,11 @@ 2 -; +; + + + + = @@ -2265,6 +2275,13 @@ + + + + +// Trigger mode change + + @@ -2298,8 +2315,9 @@ = + - lf_set( + lf_set( modal @@ -2317,16 +2335,17 @@ true -); +); + + + + = -} - - -// Trigger mode change +} diff --git a/test/known-good/C/src/modal_models/ModalStateResetAuto.html b/test/known-good/C/src/modal_models/ModalStateResetAuto.html index 8b6d04585..e41f451e0 100644 --- a/test/known-good/C/src/modal_models/ModalStateResetAuto.html +++ b/test/known-good/C/src/modal_models/ModalStateResetAuto.html @@ -2168,6 +2168,13 @@ + + + + +// Trigger mode change + + @@ -2201,8 +2208,9 @@ = + - lf_set( + lf_set( modal @@ -2220,16 +2228,17 @@ true -); +); + + + + = -} - - -// Trigger mode change +} diff --git a/test/known-good/C/src/modal_models/ModalTimers.html b/test/known-good/C/src/modal_models/ModalTimers.html index 4cb98655e..b17f0c037 100644 --- a/test/known-good/C/src/modal_models/ModalTimers.html +++ b/test/known-good/C/src/modal_models/ModalTimers.html @@ -1289,6 +1289,13 @@ + + + + +// Trigger mode change + + @@ -1322,8 +1329,9 @@ = + - lf_set( + lf_set( modal @@ -1341,16 +1349,17 @@ true -); +); + + + + = -} - - -// Trigger mode change +} diff --git a/test/known-good/C/src/modal_models/MultipleOutputFeeder_2Connections.html b/test/known-good/C/src/modal_models/MultipleOutputFeeder_2Connections.html index c1db6f669..dd92fe502 100644 --- a/test/known-good/C/src/modal_models/MultipleOutputFeeder_2Connections.html +++ b/test/known-good/C/src/modal_models/MultipleOutputFeeder_2Connections.html @@ -279,8 +279,13 @@ = + + + lf_set_mode(Two); + + - lf_set_mode(Two); + = @@ -396,8 +401,13 @@ = + + + lf_set_mode(One); + + - lf_set_mode(One); + = @@ -562,8 +572,9 @@ = + - lf_set(value, self + lf_set(value, self -> @@ -578,7 +589,11 @@ + -); +); + + + + = @@ -1161,6 +1176,13 @@ + + + + +// Trigger mode change + + @@ -1194,8 +1216,9 @@ = + - lf_set( + lf_set( modal @@ -1213,22 +1236,30 @@ true -); +); + + + + = -} - - -// Trigger mode change +} + + + + +// Print + + @@ -1253,8 +1284,9 @@ = + - printf( + printf( " @@ -1284,16 +1316,17 @@ -> -value); +value); + + + + = -} - - -// Print +} diff --git a/test/known-good/C/src/modal_models/MultipleOutputFeeder_ReactionConnections.html b/test/known-good/C/src/modal_models/MultipleOutputFeeder_ReactionConnections.html index cd3c5dfc5..aae2f1d57 100644 --- a/test/known-good/C/src/modal_models/MultipleOutputFeeder_ReactionConnections.html +++ b/test/known-good/C/src/modal_models/MultipleOutputFeeder_ReactionConnections.html @@ -279,8 +279,13 @@ = + - lf_set_mode(Two); + lf_set_mode(Two); + + + + = @@ -383,8 +388,9 @@ = + - lf_set(count, + lf_set(count, counter2 @@ -411,7 +417,11 @@ 10 -); +); + + + + = @@ -445,8 +455,13 @@ = + + + lf_set_mode(One); + + - lf_set_mode(One); + = @@ -611,8 +626,9 @@ = + - lf_set(value, self + lf_set(value, self -> @@ -627,7 +643,11 @@ + -); +); + + + + = @@ -1210,6 +1230,13 @@ + + + + +// Trigger mode change + + @@ -1243,8 +1270,9 @@ = + - lf_set( + lf_set( modal @@ -1262,22 +1290,30 @@ true -); +); + + + + = -} - - -// Trigger mode change +} + + + + +// Print + + @@ -1302,8 +1338,9 @@ = + - printf( + printf( " @@ -1333,16 +1370,17 @@ -> -value); +value); + + + + = -} - - -// Print +} diff --git a/test/known-good/C/src/modal_models/util/TraceTesting.html b/test/known-good/C/src/modal_models/util/TraceTesting.html index 95aee2e01..5d2e4cc33 100644 --- a/test/known-good/C/src/modal_models/util/TraceTesting.html +++ b/test/known-good/C/src/modal_models/util/TraceTesting.html @@ -301,8 +301,9 @@ = + - self + self -> @@ -317,7 +318,11 @@ ( -); +); + + + + = diff --git a/test/known-good/C/src/multiport/BankGangedConnections.html b/test/known-good/C/src/multiport/BankGangedConnections.html index 70fcfa517..63e20dfaf 100644 --- a/test/known-good/C/src/multiport/BankGangedConnections.html +++ b/test/known-good/C/src/multiport/BankGangedConnections.html @@ -177,14 +177,19 @@ = + - lf_set(out, in + lf_set(out, in -> -value); +value); + + + + = diff --git a/test/known-good/C/src/multiport/BankIndexInitializer.html b/test/known-good/C/src/multiport/BankIndexInitializer.html index db959a6a6..2cdddd135 100644 --- a/test/known-good/C/src/multiport/BankIndexInitializer.html +++ b/test/known-good/C/src/multiport/BankIndexInitializer.html @@ -25,15 +25,17 @@ = + - extern int table[ + extern int table[ 4 -]; +]; + = @@ -106,8 +108,9 @@ = + - int table[] + int table[] = @@ -137,7 +140,11 @@ 1 -}; +}; + + + + = @@ -200,14 +207,19 @@ = + - lf_set(out, self + lf_set(out, self -> -value); +value); + + + + = diff --git a/test/known-good/C/src/multiport/BankSelfBroadcast.html b/test/known-good/C/src/multiport/BankSelfBroadcast.html index c4b3daca6..4358a5f4e 100644 --- a/test/known-good/C/src/multiport/BankSelfBroadcast.html +++ b/test/known-good/C/src/multiport/BankSelfBroadcast.html @@ -174,14 +174,19 @@ = + - lf_set(out, self + lf_set(out, self -> -bank_index); +bank_index); + + + + = diff --git a/test/known-good/C/src/multiport/BankToMultiport.html b/test/known-good/C/src/multiport/BankToMultiport.html index 2ffe6e543..5e10ed59e 100644 --- a/test/known-good/C/src/multiport/BankToMultiport.html +++ b/test/known-good/C/src/multiport/BankToMultiport.html @@ -97,14 +97,19 @@ = + - lf_set(out, self + lf_set(out, self -> -bank_index); +bank_index); + + + + = diff --git a/test/known-good/C/src/multiport/Broadcast.html b/test/known-good/C/src/multiport/Broadcast.html index 3f6345b9a..2b5977f94 100644 --- a/test/known-good/C/src/multiport/Broadcast.html +++ b/test/known-good/C/src/multiport/Broadcast.html @@ -111,14 +111,19 @@ = + - lf_set(out, + lf_set(out, 42 -); +); + + + + = diff --git a/test/known-good/C/src/multiport/BroadcastAfter.html b/test/known-good/C/src/multiport/BroadcastAfter.html index 409fa36a4..c101b1fbf 100644 --- a/test/known-good/C/src/multiport/BroadcastAfter.html +++ b/test/known-good/C/src/multiport/BroadcastAfter.html @@ -111,14 +111,19 @@ = + - lf_set(out, + lf_set(out, 42 -); +); + + + + = diff --git a/test/known-good/C/src/multiport/BroadcastMultipleAfter.html b/test/known-good/C/src/multiport/BroadcastMultipleAfter.html index 6d798b6c7..5ca2d4bf0 100644 --- a/test/known-good/C/src/multiport/BroadcastMultipleAfter.html +++ b/test/known-good/C/src/multiport/BroadcastMultipleAfter.html @@ -129,14 +129,19 @@ = + - lf_set(out, self + lf_set(out, self -> -value); +value); + + + + = diff --git a/test/known-good/C/src/multiport/MultiportFromBank.html b/test/known-good/C/src/multiport/MultiportFromBank.html index 1b7578b87..a87f66f9f 100644 --- a/test/known-good/C/src/multiport/MultiportFromBank.html +++ b/test/known-good/C/src/multiport/MultiportFromBank.html @@ -155,8 +155,9 @@ = + - lf_set(out, self + lf_set(out, self -> @@ -174,7 +175,11 @@ -> -check_override); +check_override); + + + + = diff --git a/test/known-good/C/src/multiport/MultiportIn.html b/test/known-good/C/src/multiport/MultiportIn.html index af16c415d..d45c3ed82 100644 --- a/test/known-good/C/src/multiport/MultiportIn.html +++ b/test/known-good/C/src/multiport/MultiportIn.html @@ -308,14 +308,19 @@ = + - lf_set(out, in + lf_set(out, in -> -value); +value); + + + + = diff --git a/test/known-good/C/src/multiport/MultiportInParameterized.html b/test/known-good/C/src/multiport/MultiportInParameterized.html index f2cd4702a..fa43c0014 100644 --- a/test/known-good/C/src/multiport/MultiportInParameterized.html +++ b/test/known-good/C/src/multiport/MultiportInParameterized.html @@ -308,14 +308,19 @@ = + - lf_set(out, in + lf_set(out, in -> -value); +value); + + + + = diff --git a/test/known-good/C/src/multiport/PipelineAfter.html b/test/known-good/C/src/multiport/PipelineAfter.html index ef88395a7..eaf066291 100644 --- a/test/known-good/C/src/multiport/PipelineAfter.html +++ b/test/known-good/C/src/multiport/PipelineAfter.html @@ -75,14 +75,19 @@ = + - lf_set(out, + lf_set(out, 40 -); +); + + + + = @@ -181,8 +186,9 @@ = + - lf_set(out, in + lf_set(out, in -> @@ -200,7 +206,11 @@ 2 -); +); + + + + = diff --git a/test/known-good/C/src/multiport/ReactionsToNested.html b/test/known-good/C/src/multiport/ReactionsToNested.html index db331894e..fd09cdb90 100644 --- a/test/known-good/C/src/multiport/ReactionsToNested.html +++ b/test/known-good/C/src/multiport/ReactionsToNested.html @@ -542,8 +542,9 @@ = + - lf_set( + lf_set( d @@ -567,7 +568,11 @@ 42 -); +); + + + + = @@ -616,8 +621,9 @@ = + - lf_set( + lf_set( d @@ -641,7 +647,11 @@ 43 -); +); + + + + = diff --git a/test/known-good/C/src/no_inlining/Count.html b/test/known-good/C/src/no_inlining/Count.html index dfdd33fc7..f9774a354 100644 --- a/test/known-good/C/src/no_inlining/Count.html +++ b/test/known-good/C/src/no_inlining/Count.html @@ -192,8 +192,9 @@ = + - printf( + printf( " @@ -220,7 +221,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/no_inlining/CountHierarchy.html b/test/known-good/C/src/no_inlining/CountHierarchy.html index 45ffe0b6d..8a12bef30 100644 --- a/test/known-good/C/src/no_inlining/CountHierarchy.html +++ b/test/known-good/C/src/no_inlining/CountHierarchy.html @@ -163,14 +163,19 @@ = + - lf_set(out, + lf_set(out, 0 -); +); + + + + = @@ -361,8 +366,9 @@ = + - printf( + printf( " @@ -389,7 +395,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/target/FederatedFiles.html b/test/known-good/C/src/target/FederatedFiles.html index 3ce8c555a..0ea25817e 100644 --- a/test/known-good/C/src/target/FederatedFiles.html +++ b/test/known-good/C/src/target/FederatedFiles.html @@ -90,8 +90,9 @@ = + - lf_print( + lf_print( " @@ -103,7 +104,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/target/Math.html b/test/known-good/C/src/target/Math.html index cf6fdf5f3..831e1877e 100644 --- a/test/known-good/C/src/target/Math.html +++ b/test/known-good/C/src/target/Math.html @@ -81,8 +81,9 @@ = + - lf_print( + lf_print( " @@ -106,7 +107,11 @@ 75 -)); +)); + + + + = diff --git a/test/known-good/C/src/target/Platform.html b/test/known-good/C/src/target/Platform.html index 4b34eee91..854a2a71c 100644 --- a/test/known-good/C/src/target/Platform.html +++ b/test/known-good/C/src/target/Platform.html @@ -76,8 +76,9 @@ = + - lf_print( + lf_print( " @@ -89,7 +90,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/token/lib/Token.html b/test/known-good/C/src/token/lib/Token.html index ee05841b2..d04b09399 100644 --- a/test/known-good/C/src/token/lib/Token.html +++ b/test/known-good/C/src/token/lib/Token.html @@ -1301,14 +1301,19 @@ = + - lf_set_token(out, a + lf_set_token(out, a -> -token); +token); + + + + = @@ -1342,8 +1347,9 @@ = + - lf_schedule_token(a, MSEC( + lf_schedule_token(a, MSEC( 1 @@ -1355,7 +1361,11 @@ -> -token); +token); + + + + = diff --git a/test/known-good/C/src/verifier/ADASModel.html b/test/known-good/C/src/verifier/ADASModel.html index 62064edd4..a4cb53560 100644 --- a/test/known-good/C/src/verifier/ADASModel.html +++ b/test/known-good/C/src/verifier/ADASModel.html @@ -510,14 +510,19 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = @@ -1170,8 +1175,9 @@ = + - self + self -> @@ -1189,7 +1195,11 @@ 1 -; +; + + + + = diff --git a/test/known-good/C/src/verifier/AircraftDoor.html b/test/known-good/C/src/verifier/AircraftDoor.html index 527d76027..56962bc01 100644 --- a/test/known-good/C/src/verifier/AircraftDoor.html +++ b/test/known-good/C/src/verifier/AircraftDoor.html @@ -75,14 +75,19 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = diff --git a/test/known-good/C/src/verifier/CoopSchedule.html b/test/known-good/C/src/verifier/CoopSchedule.html index 7931cce76..2ff8b147e 100644 --- a/test/known-good/C/src/verifier/CoopSchedule.html +++ b/test/known-good/C/src/verifier/CoopSchedule.html @@ -100,14 +100,19 @@ = + - lf_set(out, + lf_set(out, 1 -); +); + + + + = diff --git a/test/known-good/C/src/verifier/ProcessMsg.html b/test/known-good/C/src/verifier/ProcessMsg.html index cf05e9223..8b209a078 100644 --- a/test/known-good/C/src/verifier/ProcessMsg.html +++ b/test/known-good/C/src/verifier/ProcessMsg.html @@ -240,8 +240,9 @@ = + - self + self -> @@ -259,7 +260,11 @@ 0 -; +; + + + + = @@ -293,14 +298,19 @@ = + - lf_set(out, self + lf_set(out, self -> -messageSent); +messageSent); + + + + = diff --git a/test/known-good/C/src/verifier/Ring.html b/test/known-good/C/src/verifier/Ring.html index fed90e607..c98b16956 100644 --- a/test/known-good/C/src/verifier/Ring.html +++ b/test/known-good/C/src/verifier/Ring.html @@ -231,14 +231,19 @@ = + - lf_set(out, self + lf_set(out, self -> -received); +received); + + + + = @@ -416,8 +421,9 @@ = + - lf_set(out, in + lf_set(out, in -> @@ -435,7 +441,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/C/src/verifier/SafeSend.html b/test/known-good/C/src/verifier/SafeSend.html index 36f8fa54a..86e0c6270 100644 --- a/test/known-good/C/src/verifier/SafeSend.html +++ b/test/known-good/C/src/verifier/SafeSend.html @@ -485,6 +485,13 @@ + + + + +// Error handling logic. + + @@ -500,8 +507,9 @@ = + - self + self -> @@ -519,16 +527,17 @@ 1 -; +; + + + + = -} - - -// Error handling logic. +} diff --git a/test/known-good/C/src/verifier/Thermostat.html b/test/known-good/C/src/verifier/Thermostat.html index 13d1d62f7..1d9ef7ebe 100644 --- a/test/known-good/C/src/verifier/Thermostat.html +++ b/test/known-good/C/src/verifier/Thermostat.html @@ -179,8 +179,9 @@ = + - self + self -> @@ -198,7 +199,11 @@ 19 -; +; + + + + = @@ -359,8 +364,9 @@ = + - self + self -> @@ -378,7 +384,11 @@ -> -value; +value; + + + + = @@ -554,8 +564,9 @@ = + - self + self -> @@ -573,7 +584,11 @@ 0 -; +; + + + + = diff --git a/test/known-good/C/src/verifier/TrainDoor.html b/test/known-good/C/src/verifier/TrainDoor.html index 6add8d53d..421d9d456 100644 --- a/test/known-good/C/src/verifier/TrainDoor.html +++ b/test/known-good/C/src/verifier/TrainDoor.html @@ -212,8 +212,9 @@ = + - self + self -> @@ -231,7 +232,11 @@ -> -value; +value; + + + + = @@ -324,8 +329,9 @@ = + - self + self -> @@ -343,7 +349,11 @@ -> -value; +value; + + + + = diff --git a/test/known-good/C/src/verifier/UnsafeSend.html b/test/known-good/C/src/verifier/UnsafeSend.html index 87eadb209..466e02aa4 100644 --- a/test/known-good/C/src/verifier/UnsafeSend.html +++ b/test/known-good/C/src/verifier/UnsafeSend.html @@ -500,6 +500,13 @@ + + + + +// Error handling logic. + + @@ -515,8 +522,9 @@ = + - self + self -> @@ -534,16 +542,17 @@ 1 -; +; + + + + = -} - - -// Error handling logic. +} diff --git a/test/known-good/C/src/zephyr/unthreaded/HelloZephyr.html b/test/known-good/C/src/zephyr/unthreaded/HelloZephyr.html index cd6b0e0f6..4da49a9f9 100644 --- a/test/known-good/C/src/zephyr/unthreaded/HelloZephyr.html +++ b/test/known-good/C/src/zephyr/unthreaded/HelloZephyr.html @@ -66,8 +66,9 @@ = + - printf( + printf( " @@ -82,7 +83,11 @@ " -); +); + + + + = diff --git a/test/known-good/C/src/zephyr/unthreaded/Timer.html b/test/known-good/C/src/zephyr/unthreaded/Timer.html index 85bfb471c..f54cae419 100644 --- a/test/known-good/C/src/zephyr/unthreaded/Timer.html +++ b/test/known-good/C/src/zephyr/unthreaded/Timer.html @@ -127,8 +127,9 @@ = + - printf( + printf( " @@ -143,7 +144,11 @@ " -); +); + + + + = diff --git a/test/known-good/Cpp/src/ActionDelay.html b/test/known-good/Cpp/src/ActionDelay.html index c3d20c10c..4e4c3626e 100644 --- a/test/known-good/Cpp/src/ActionDelay.html +++ b/test/known-good/Cpp/src/ActionDelay.html @@ -249,8 +249,9 @@ = + - + y_out @@ -270,8 +271,9 @@ ; + - + = @@ -351,8 +353,9 @@ = + - + out @@ -370,7 +373,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/Cpp/src/ActionWithNoReaction.html b/test/known-good/Cpp/src/ActionWithNoReaction.html index 5715cc079..6996999a9 100644 --- a/test/known-good/Cpp/src/ActionWithNoReaction.html +++ b/test/known-good/Cpp/src/ActionWithNoReaction.html @@ -605,8 +605,9 @@ = + - + f @@ -630,7 +631,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/After.html b/test/known-good/Cpp/src/After.html index 07e7d2a13..7364ea221 100644 --- a/test/known-good/Cpp/src/After.html +++ b/test/known-good/Cpp/src/After.html @@ -134,8 +134,9 @@ = + - + y @@ -171,7 +172,11 @@ get -())); +())); + + + + = diff --git a/test/known-good/Cpp/src/AfterZero.html b/test/known-good/Cpp/src/AfterZero.html index 8707bdcd0..a7fd0a60e 100644 --- a/test/known-good/Cpp/src/AfterZero.html +++ b/test/known-good/Cpp/src/AfterZero.html @@ -134,8 +134,9 @@ = + - + y @@ -171,7 +172,11 @@ get -())); +())); + + + + = diff --git a/test/known-good/Cpp/src/ArrayScale.html b/test/known-good/Cpp/src/ArrayScale.html index 7cd12aafd..b8281040f 100644 --- a/test/known-good/Cpp/src/ArrayScale.html +++ b/test/known-good/Cpp/src/ArrayScale.html @@ -231,7 +231,7 @@ - for(int i + for(auto i = diff --git a/test/known-good/Cpp/src/CompositionGain.html b/test/known-good/Cpp/src/CompositionGain.html index 9725262bb..217acb0a3 100644 --- a/test/known-good/Cpp/src/CompositionGain.html +++ b/test/known-good/Cpp/src/CompositionGain.html @@ -427,8 +427,9 @@ = + - + wrapper @@ -452,7 +453,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/DanglingOutput.html b/test/known-good/Cpp/src/DanglingOutput.html index cac00dec4..1d475d3ea 100644 --- a/test/known-good/Cpp/src/DanglingOutput.html +++ b/test/known-good/Cpp/src/DanglingOutput.html @@ -90,8 +90,9 @@ = + - + out @@ -109,7 +110,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/Cpp/src/DelayInt.html b/test/known-good/Cpp/src/DelayInt.html index 05ca041ee..b98c1a049 100644 --- a/test/known-good/Cpp/src/DelayInt.html +++ b/test/known-good/Cpp/src/DelayInt.html @@ -150,8 +150,9 @@ = + - + d @@ -175,7 +176,11 @@ get -(), delay); +(), delay); + + + + = @@ -935,8 +940,9 @@ = + - + d @@ -960,7 +966,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/DelayedAction.html b/test/known-good/Cpp/src/DelayedAction.html index 3beca84dc..9e821f18c 100644 --- a/test/known-good/Cpp/src/DelayedAction.html +++ b/test/known-good/Cpp/src/DelayedAction.html @@ -182,8 +182,9 @@ = + - + a @@ -195,7 +196,11 @@ schedule -(100ms); +(100ms); + + + + = diff --git a/test/known-good/Cpp/src/DelayedReaction.html b/test/known-good/Cpp/src/DelayedReaction.html index 3e8b0414d..84b6fc4a1 100644 --- a/test/known-good/Cpp/src/DelayedReaction.html +++ b/test/known-good/Cpp/src/DelayedReaction.html @@ -79,8 +79,9 @@ = + - + out @@ -92,7 +93,11 @@ set -(); +(); + + + + = diff --git a/test/known-good/Cpp/src/Determinism.html b/test/known-good/Cpp/src/Determinism.html index 122a3ff51..20172db79 100644 --- a/test/known-good/Cpp/src/Determinism.html +++ b/test/known-good/Cpp/src/Determinism.html @@ -82,8 +82,9 @@ = + - + y @@ -101,7 +102,11 @@ 1 -); +); + + + + = @@ -517,8 +522,9 @@ = + - + y @@ -542,7 +548,11 @@ get -()); +()); + + + + = diff --git a/test/known-good/Cpp/src/DoublePort.html b/test/known-good/Cpp/src/DoublePort.html index fe522fc50..1405e9746 100644 --- a/test/known-good/Cpp/src/DoublePort.html +++ b/test/known-good/Cpp/src/DoublePort.html @@ -322,8 +322,9 @@ = + - + out @@ -347,7 +348,11 @@ get -()); +()); + + + + = diff --git a/test/known-good/Cpp/src/Gain.html b/test/known-good/Cpp/src/Gain.html index 41846889d..81157bd2d 100644 --- a/test/known-good/Cpp/src/Gain.html +++ b/test/known-good/Cpp/src/Gain.html @@ -116,8 +116,9 @@ = + - + y @@ -150,7 +151,11 @@ * - scale); + scale); + + + + = @@ -528,8 +533,9 @@ = + - + g @@ -553,7 +559,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/Cpp/src/GetMicroStep.html b/test/known-good/Cpp/src/GetMicroStep.html index df8318954..266504458 100644 --- a/test/known-good/Cpp/src/GetMicroStep.html +++ b/test/known-good/Cpp/src/GetMicroStep.html @@ -141,8 +141,9 @@ = + - + l @@ -172,7 +173,11 @@ zero -()); +()); + + + + = diff --git a/test/known-good/Cpp/src/HelloWorld.html b/test/known-good/Cpp/src/HelloWorld.html index 72f30791b..aaa0a6039 100644 --- a/test/known-good/Cpp/src/HelloWorld.html +++ b/test/known-good/Cpp/src/HelloWorld.html @@ -54,8 +54,9 @@ = + - + std @@ -91,7 +92,11 @@ endl -; +; + + + + = diff --git a/test/known-good/Cpp/src/Hierarchy.html b/test/known-good/Cpp/src/Hierarchy.html index c62103d35..45d101e99 100644 --- a/test/known-good/Cpp/src/Hierarchy.html +++ b/test/known-good/Cpp/src/Hierarchy.html @@ -86,8 +86,9 @@ = + - + out @@ -105,7 +106,11 @@ 1 -); +); + + + + = @@ -204,8 +209,9 @@ = + - + out @@ -244,7 +250,11 @@ 2 -); +); + + + + = diff --git a/test/known-good/Cpp/src/Hierarchy2.html b/test/known-good/Cpp/src/Hierarchy2.html index 41c2dd6a1..0c57c06a4 100644 --- a/test/known-good/Cpp/src/Hierarchy2.html +++ b/test/known-good/Cpp/src/Hierarchy2.html @@ -140,8 +140,9 @@ = + - + out @@ -159,7 +160,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/Cpp/src/Import.html b/test/known-good/Cpp/src/Import.html index 510305270..01f9003c6 100644 --- a/test/known-good/Cpp/src/Import.html +++ b/test/known-good/Cpp/src/Import.html @@ -142,8 +142,9 @@ = + - + a @@ -167,7 +168,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/ImportComposition.html b/test/known-good/Cpp/src/ImportComposition.html index 88739e41c..8aab771d0 100644 --- a/test/known-good/Cpp/src/ImportComposition.html +++ b/test/known-good/Cpp/src/ImportComposition.html @@ -236,8 +236,9 @@ = + - + imp_comp @@ -261,7 +262,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/ImportRenamed.html b/test/known-good/Cpp/src/ImportRenamed.html index 2aea7bb19..7a2ed768b 100644 --- a/test/known-good/Cpp/src/ImportRenamed.html +++ b/test/known-good/Cpp/src/ImportRenamed.html @@ -311,8 +311,9 @@ = + - + a @@ -336,7 +337,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/ManualDelayedReaction.html b/test/known-good/Cpp/src/ManualDelayedReaction.html index 3743dc20e..8cd5eae5d 100644 --- a/test/known-good/Cpp/src/ManualDelayedReaction.html +++ b/test/known-good/Cpp/src/ManualDelayedReaction.html @@ -173,8 +173,9 @@ = + - + act @@ -198,7 +199,11 @@ get -()); +()); + + + + = @@ -232,8 +237,9 @@ = + - + y_out @@ -257,7 +263,11 @@ get -()); +()); + + + + = @@ -323,6 +333,13 @@ + + + + +// reaction(t) -> out after 100 msec {= + + @@ -344,8 +361,9 @@ = + - + out @@ -363,16 +381,17 @@ 1 -); +); + + + + = -} - - -// reaction(t) -> out after 100 msec {= +} diff --git a/test/known-good/Cpp/src/Methods.html b/test/known-good/Cpp/src/Methods.html index c3afd48da..9bbe44bf2 100644 --- a/test/known-good/Cpp/src/Methods.html +++ b/test/known-good/Cpp/src/Methods.html @@ -90,8 +90,13 @@ = + - return foo; + return foo; + + + + = @@ -125,8 +130,9 @@ = + - foo + foo + @@ -135,7 +141,11 @@ = - x; + x; + + + + = diff --git a/test/known-good/Cpp/src/Microsteps.html b/test/known-good/Cpp/src/Microsteps.html index 27337890c..d0f255131 100644 --- a/test/known-good/Cpp/src/Microsteps.html +++ b/test/known-good/Cpp/src/Microsteps.html @@ -684,8 +684,9 @@ = + - + d @@ -709,7 +710,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/Cpp/src/Minimal.html b/test/known-good/Cpp/src/Minimal.html index cf5ef41b1..b956365fd 100644 --- a/test/known-good/Cpp/src/Minimal.html +++ b/test/known-good/Cpp/src/Minimal.html @@ -53,8 +53,9 @@ = + - + std @@ -81,7 +82,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/MultipleContained.html b/test/known-good/Cpp/src/MultipleContained.html index a00469e3e..4dc7de336 100644 --- a/test/known-good/Cpp/src/MultipleContained.html +++ b/test/known-good/Cpp/src/MultipleContained.html @@ -123,8 +123,9 @@ = + - + trigger @@ -142,7 +143,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/NestedTriggeredReactions.html b/test/known-good/Cpp/src/NestedTriggeredReactions.html index eed7fb62e..34d1efe1e 100644 --- a/test/known-good/Cpp/src/NestedTriggeredReactions.html +++ b/test/known-good/Cpp/src/NestedTriggeredReactions.html @@ -159,8 +159,9 @@ = + - triggered + triggered = @@ -172,7 +173,11 @@ true -; +; + + + + = @@ -366,8 +371,9 @@ = + - triggered + triggered = @@ -379,7 +385,11 @@ true -; +; + + + + = @@ -562,8 +572,9 @@ = + - + container @@ -581,7 +592,11 @@ set -(); +(); + + + + = diff --git a/test/known-good/Cpp/src/PeriodicDesugared.html b/test/known-good/Cpp/src/PeriodicDesugared.html index 065fb7b28..e1f3592fd 100644 --- a/test/known-good/Cpp/src/PeriodicDesugared.html +++ b/test/known-good/Cpp/src/PeriodicDesugared.html @@ -298,8 +298,9 @@ = + - + recur @@ -311,7 +312,11 @@ schedule -(); +(); + + + + = diff --git a/test/known-good/Cpp/src/PhysicalConnection.html b/test/known-good/Cpp/src/PhysicalConnection.html index 928b72022..f37caa55c 100644 --- a/test/known-good/Cpp/src/PhysicalConnection.html +++ b/test/known-good/Cpp/src/PhysicalConnection.html @@ -85,8 +85,9 @@ = + - + out @@ -104,7 +105,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/Pipeline.html b/test/known-good/Cpp/src/Pipeline.html index 2efca578b..6ae3003b9 100644 --- a/test/known-good/Cpp/src/Pipeline.html +++ b/test/known-good/Cpp/src/Pipeline.html @@ -862,8 +862,9 @@ = + - + c1 @@ -890,7 +891,11 @@ + -); +); + + + + = diff --git a/test/known-good/Cpp/src/PreambleTest.html b/test/known-good/Cpp/src/PreambleTest.html index 01bc7474c..cfaec75c7 100644 --- a/test/known-good/Cpp/src/PreambleTest.html +++ b/test/known-good/Cpp/src/PreambleTest.html @@ -233,8 +233,9 @@ = + - + a @@ -264,7 +265,11 @@ " -}); +}); + + + + = diff --git a/test/known-good/Cpp/src/ReadOutputOfContainedReactor.html b/test/known-good/Cpp/src/ReadOutputOfContainedReactor.html index 77e5a1976..60f7f9780 100644 --- a/test/known-good/Cpp/src/ReadOutputOfContainedReactor.html +++ b/test/known-good/Cpp/src/ReadOutputOfContainedReactor.html @@ -79,8 +79,9 @@ = + - + out @@ -98,7 +99,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/Schedule.html b/test/known-good/Cpp/src/Schedule.html index 1d9bdfac0..316d2467f 100644 --- a/test/known-good/Cpp/src/Schedule.html +++ b/test/known-good/Cpp/src/Schedule.html @@ -104,8 +104,9 @@ = + - + a @@ -117,7 +118,11 @@ schedule -(200ms); +(200ms); + + + + = @@ -425,8 +430,9 @@ = + - + a @@ -450,7 +456,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/Cpp/src/ScheduleLogicalAction.html b/test/known-good/Cpp/src/ScheduleLogicalAction.html index 1add027c2..1e01232e3 100644 --- a/test/known-good/Cpp/src/ScheduleLogicalAction.html +++ b/test/known-good/Cpp/src/ScheduleLogicalAction.html @@ -292,8 +292,9 @@ = + - + y @@ -314,7 +315,11 @@ 42 -); +); + + + + = @@ -807,8 +812,9 @@ = + - + f @@ -832,7 +838,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/SelfLoop.html b/test/known-good/Cpp/src/SelfLoop.html index 059e9ff9e..dbc727515 100644 --- a/test/known-good/Cpp/src/SelfLoop.html +++ b/test/known-good/Cpp/src/SelfLoop.html @@ -542,8 +542,9 @@ = + - + a @@ -561,7 +562,11 @@ 42 -, 0ns); +, 0ns); + + + + = diff --git a/test/known-good/Cpp/src/SendingInside2.html b/test/known-good/Cpp/src/SendingInside2.html index e7144a6da..f21762e9f 100644 --- a/test/known-good/Cpp/src/SendingInside2.html +++ b/test/known-good/Cpp/src/SendingInside2.html @@ -319,8 +319,9 @@ = + - + p @@ -344,7 +345,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/Cpp/src/SlowingClock.html b/test/known-good/Cpp/src/SlowingClock.html index 6bb6d2e3c..3752101b2 100644 --- a/test/known-good/Cpp/src/SlowingClock.html +++ b/test/known-good/Cpp/src/SlowingClock.html @@ -248,8 +248,9 @@ = + - + a @@ -261,7 +262,11 @@ schedule -(0ns); +(0ns); + + + + = diff --git a/test/known-good/Cpp/src/StartupOutFromInside.html b/test/known-good/Cpp/src/StartupOutFromInside.html index c994c4bcd..e2c253aad 100644 --- a/test/known-good/Cpp/src/StartupOutFromInside.html +++ b/test/known-good/Cpp/src/StartupOutFromInside.html @@ -98,8 +98,9 @@ = + - + out @@ -117,7 +118,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/Stride.html b/test/known-good/Cpp/src/Stride.html index a6d8cf0ec..dda44e9ff 100644 --- a/test/known-good/Cpp/src/Stride.html +++ b/test/known-good/Cpp/src/Stride.html @@ -298,8 +298,9 @@ = + - + std @@ -350,7 +351,11 @@ endl -; +; + + + + = diff --git a/test/known-good/Cpp/src/TimeLimit.html b/test/known-good/Cpp/src/TimeLimit.html index c23050f87..51b25dd6f 100644 --- a/test/known-good/Cpp/src/TimeLimit.html +++ b/test/known-good/Cpp/src/TimeLimit.html @@ -782,14 +782,19 @@ = + - environment() + environment() -> -sync_shutdown(); +sync_shutdown(); + + + + = diff --git a/test/known-good/Cpp/src/TimeState.html b/test/known-good/Cpp/src/TimeState.html index cd0b0c42a..88d3e5799 100644 --- a/test/known-good/Cpp/src/TimeState.html +++ b/test/known-good/Cpp/src/TimeState.html @@ -93,8 +93,9 @@ = + - + std @@ -130,7 +131,11 @@ endl -; +; + + + + = diff --git a/test/known-good/Cpp/src/concurrent/DelayIntThreaded.html b/test/known-good/Cpp/src/concurrent/DelayIntThreaded.html index d90888fd6..2f6fff371 100644 --- a/test/known-good/Cpp/src/concurrent/DelayIntThreaded.html +++ b/test/known-good/Cpp/src/concurrent/DelayIntThreaded.html @@ -150,8 +150,9 @@ = + - + d @@ -175,7 +176,11 @@ get -(), delay); +(), delay); + + + + = @@ -929,8 +934,9 @@ = + - + d @@ -954,7 +960,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/concurrent/DeterminismThreaded.html b/test/known-good/Cpp/src/concurrent/DeterminismThreaded.html index c6350face..01c555dd3 100644 --- a/test/known-good/Cpp/src/concurrent/DeterminismThreaded.html +++ b/test/known-good/Cpp/src/concurrent/DeterminismThreaded.html @@ -82,8 +82,9 @@ = + - + y @@ -101,7 +102,11 @@ 1 -); +); + + + + = @@ -517,8 +522,9 @@ = + - + y @@ -542,7 +548,11 @@ get -()); +()); + + + + = diff --git a/test/known-good/Cpp/src/concurrent/GainThreaded.html b/test/known-good/Cpp/src/concurrent/GainThreaded.html index 0d540323a..13f969adb 100644 --- a/test/known-good/Cpp/src/concurrent/GainThreaded.html +++ b/test/known-good/Cpp/src/concurrent/GainThreaded.html @@ -116,8 +116,9 @@ = + - + y @@ -150,7 +151,11 @@ * - scale); + scale); + + + + = @@ -522,8 +527,9 @@ = + - + g @@ -547,7 +553,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/Cpp/src/concurrent/ImportThreaded.html b/test/known-good/Cpp/src/concurrent/ImportThreaded.html index 20e507cbb..bbb5c7a3f 100644 --- a/test/known-good/Cpp/src/concurrent/ImportThreaded.html +++ b/test/known-good/Cpp/src/concurrent/ImportThreaded.html @@ -136,8 +136,9 @@ = + - + a @@ -161,7 +162,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/concurrent/MinimalThreaded.html b/test/known-good/Cpp/src/concurrent/MinimalThreaded.html index 384780f0e..69d3f97da 100644 --- a/test/known-good/Cpp/src/concurrent/MinimalThreaded.html +++ b/test/known-good/Cpp/src/concurrent/MinimalThreaded.html @@ -47,8 +47,9 @@ = + - + std @@ -75,7 +76,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/concurrent/TimeLimitThreaded.html b/test/known-good/Cpp/src/concurrent/TimeLimitThreaded.html index cd92d71ae..8afc07f51 100644 --- a/test/known-good/Cpp/src/concurrent/TimeLimitThreaded.html +++ b/test/known-good/Cpp/src/concurrent/TimeLimitThreaded.html @@ -780,14 +780,19 @@ = + - environment() + environment() -> -sync_shutdown(); +sync_shutdown(); + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveBroadcast.html b/test/known-good/Cpp/src/enclave/EnclaveBroadcast.html index c94b35874..1764e930d 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveBroadcast.html +++ b/test/known-good/Cpp/src/enclave/EnclaveBroadcast.html @@ -98,8 +98,9 @@ = + - + out @@ -117,7 +118,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunication.html b/test/known-good/Cpp/src/enclave/EnclaveCommunication.html index f3d06b8ef..fb5eddbeb 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunication.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunication.html @@ -158,8 +158,9 @@ = + - + out @@ -180,7 +181,11 @@ + -); +); + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunication2.html b/test/known-good/Cpp/src/enclave/EnclaveCommunication2.html index 89ee4819b..55f435aad 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunication2.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunication2.html @@ -158,8 +158,9 @@ = + - + out @@ -180,7 +181,11 @@ + -); +); + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayed.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayed.html index 201407bb7..df2882ae2 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayed.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayed.html @@ -158,8 +158,9 @@ = + - + out @@ -180,7 +181,11 @@ + -); +); + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayed2.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayed2.html index 59466686b..b9b2f77d9 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayed2.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayed2.html @@ -158,8 +158,9 @@ = + - + out @@ -180,7 +181,11 @@ + -); +); + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayedLocalEvents.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayedLocalEvents.html index 81e7d3f20..723a6ec4a 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayedLocalEvents.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationDelayedLocalEvents.html @@ -158,8 +158,9 @@ = + - + out @@ -180,7 +181,11 @@ + -); +); + + + + = @@ -589,8 +594,9 @@ = + - + reactor @@ -620,7 +626,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationLocalEvents.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationLocalEvents.html index bdb84e52d..b076c2444 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationLocalEvents.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationLocalEvents.html @@ -158,8 +158,9 @@ = + - + out @@ -180,7 +181,11 @@ + -); +); + + + + = @@ -583,8 +588,9 @@ = + - + reactor @@ -614,7 +620,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBank.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBank.html index cb32a6756..ce2cca1fc 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBank.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBank.html @@ -767,8 +767,9 @@ = + - + reactor @@ -798,7 +799,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankDelayed.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankDelayed.html index d0b73b349..f7c77ddad 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankDelayed.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankDelayed.html @@ -773,8 +773,9 @@ = + - + reactor @@ -804,7 +805,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEach.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEach.html index fc61fd315..da90d5eba 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEach.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEach.html @@ -767,8 +767,9 @@ = + - + reactor @@ -798,7 +799,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEachDelayed.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEachDelayed.html index d03a330df..c3b21c013 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEachDelayed.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEachDelayed.html @@ -773,8 +773,9 @@ = + - + reactor @@ -804,7 +805,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEachPhysical.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEachPhysical.html index 8ca95045f..9ee2014d4 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEachPhysical.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankEachPhysical.html @@ -761,8 +761,9 @@ = + - + reactor @@ -792,7 +793,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankPhysical.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankPhysical.html index 0681060e2..d44c2571d 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankPhysical.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationMultiportToBankPhysical.html @@ -761,8 +761,9 @@ = + - + reactor @@ -792,7 +793,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationPhysical.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationPhysical.html index e3aab5eeb..327e7eba8 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationPhysical.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationPhysical.html @@ -158,8 +158,9 @@ = + - + out @@ -180,7 +181,11 @@ + -); +); + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCommunicationPhysicalLocalEvents.html b/test/known-good/Cpp/src/enclave/EnclaveCommunicationPhysicalLocalEvents.html index 240cd03a8..b0ccd0ba4 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCommunicationPhysicalLocalEvents.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCommunicationPhysicalLocalEvents.html @@ -158,8 +158,9 @@ = + - + out @@ -180,7 +181,11 @@ + -); +); + + + + = @@ -577,8 +582,9 @@ = + - + reactor @@ -608,7 +614,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCycle.html b/test/known-good/Cpp/src/enclave/EnclaveCycle.html index 88cdeff52..1b29c0df1 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCycle.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCycle.html @@ -214,8 +214,9 @@ = + - + out @@ -236,7 +237,11 @@ + -); +); + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveCycleTwoTimers.html b/test/known-good/Cpp/src/enclave/EnclaveCycleTwoTimers.html index 7c908ae6d..58f34defc 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveCycleTwoTimers.html +++ b/test/known-good/Cpp/src/enclave/EnclaveCycleTwoTimers.html @@ -214,8 +214,9 @@ = + - + out @@ -236,7 +237,11 @@ + -); +); + + + + = @@ -707,8 +712,9 @@ = + - + out @@ -729,7 +735,11 @@ + -); +); + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveHelloWorld.html b/test/known-good/Cpp/src/enclave/EnclaveHelloWorld.html index cfa1d7540..5151f5180 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveHelloWorld.html +++ b/test/known-good/Cpp/src/enclave/EnclaveHelloWorld.html @@ -73,8 +73,9 @@ = + - + reactor @@ -116,7 +117,11 @@ ' -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveMultiportToPort.html b/test/known-good/Cpp/src/enclave/EnclaveMultiportToPort.html index 86ae48523..af38fe7d4 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveMultiportToPort.html +++ b/test/known-good/Cpp/src/enclave/EnclaveMultiportToPort.html @@ -123,7 +123,7 @@ - for(int i + for(auto i = diff --git a/test/known-good/Cpp/src/enclave/EnclaveMultiportToPort2.html b/test/known-good/Cpp/src/enclave/EnclaveMultiportToPort2.html index 8e47d2205..69aad4270 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveMultiportToPort2.html +++ b/test/known-good/Cpp/src/enclave/EnclaveMultiportToPort2.html @@ -123,7 +123,7 @@ - for(int i + for(auto i = diff --git a/test/known-good/Cpp/src/enclave/EnclaveShutdown.html b/test/known-good/Cpp/src/enclave/EnclaveShutdown.html index 88308d9f9..da561272f 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveShutdown.html +++ b/test/known-good/Cpp/src/enclave/EnclaveShutdown.html @@ -148,8 +148,9 @@ = + - + reactor @@ -167,7 +168,11 @@ Info -() << message; +() << message; + + + + = @@ -195,8 +200,13 @@ = + + + request_stop(); + + - request_stop(); + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEvents.html b/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEvents.html index 8a2e65822..eb91813a9 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEvents.html +++ b/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEvents.html @@ -166,8 +166,9 @@ = + - + out @@ -188,7 +189,11 @@ + -); +); + + + + = @@ -591,8 +596,9 @@ = + - + reactor @@ -622,7 +628,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEventsDelayed.html b/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEventsDelayed.html index f5127fa5a..4b7c51448 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEventsDelayed.html +++ b/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEventsDelayed.html @@ -166,8 +166,9 @@ = + - + out @@ -188,7 +189,11 @@ + -); +); + + + + = @@ -597,8 +602,9 @@ = + - + reactor @@ -628,7 +634,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEventsPhysical.html b/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEventsPhysical.html index ef7362f5a..8b5e7ebb0 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEventsPhysical.html +++ b/test/known-good/Cpp/src/enclave/EnclaveSparseUpstreamEventsPhysical.html @@ -166,8 +166,9 @@ = + - + out @@ -188,7 +189,11 @@ + -); +); + + + + = @@ -585,8 +590,9 @@ = + - + reactor @@ -616,7 +622,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveTimeout.html b/test/known-good/Cpp/src/enclave/EnclaveTimeout.html index 6b75c1f46..d1e0322d1 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveTimeout.html +++ b/test/known-good/Cpp/src/enclave/EnclaveTimeout.html @@ -137,8 +137,9 @@ = + - + reactor @@ -156,7 +157,11 @@ Info -() << message; +() << message; + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveUpstreamPhysicalAction.html b/test/known-good/Cpp/src/enclave/EnclaveUpstreamPhysicalAction.html index c14abe42a..33d3bbfa3 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveUpstreamPhysicalAction.html +++ b/test/known-good/Cpp/src/enclave/EnclaveUpstreamPhysicalAction.html @@ -361,8 +361,9 @@ = + - + out @@ -386,7 +387,11 @@ get -()); +()); + + + + = diff --git a/test/known-good/Cpp/src/enclave/EnclaveUpstreamPhysicalActionDelayed.html b/test/known-good/Cpp/src/enclave/EnclaveUpstreamPhysicalActionDelayed.html index ea0f8627e..78249879c 100644 --- a/test/known-good/Cpp/src/enclave/EnclaveUpstreamPhysicalActionDelayed.html +++ b/test/known-good/Cpp/src/enclave/EnclaveUpstreamPhysicalActionDelayed.html @@ -361,8 +361,9 @@ = + - + out @@ -386,7 +387,11 @@ get -()); +()); + + + + = diff --git a/test/known-good/Cpp/src/enclave/FastAndSlow.html b/test/known-good/Cpp/src/enclave/FastAndSlow.html index ac7263396..fc311f2a2 100644 --- a/test/known-good/Cpp/src/enclave/FastAndSlow.html +++ b/test/known-good/Cpp/src/enclave/FastAndSlow.html @@ -353,8 +353,9 @@ = + - + reactor @@ -384,7 +385,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/lib/Imported.html b/test/known-good/Cpp/src/lib/Imported.html index c0723cdf0..9dd2d527a 100644 --- a/test/known-good/Cpp/src/lib/Imported.html +++ b/test/known-good/Cpp/src/lib/Imported.html @@ -152,8 +152,9 @@ = + - + a @@ -183,7 +184,11 @@ get -()); +()); + + + + = diff --git a/test/known-good/Cpp/src/lib/ImportedComposition.html b/test/known-good/Cpp/src/lib/ImportedComposition.html index c6ce79cb1..6ed95902a 100644 --- a/test/known-good/Cpp/src/lib/ImportedComposition.html +++ b/test/known-good/Cpp/src/lib/ImportedComposition.html @@ -129,8 +129,9 @@ = + - + y @@ -169,7 +170,11 @@ 2 -); +); + + + + = diff --git a/test/known-good/Cpp/src/multiport/BankSelfBroadcast.html b/test/known-good/Cpp/src/multiport/BankSelfBroadcast.html index 96f21c77a..a1b10622c 100644 --- a/test/known-good/Cpp/src/multiport/BankSelfBroadcast.html +++ b/test/known-good/Cpp/src/multiport/BankSelfBroadcast.html @@ -178,8 +178,9 @@ = + - + out @@ -191,7 +192,11 @@ set -(bank_index); +(bank_index); + + + + = diff --git a/test/known-good/Cpp/src/multiport/BankToMultiport.html b/test/known-good/Cpp/src/multiport/BankToMultiport.html index 15eef2696..237afa432 100644 --- a/test/known-good/Cpp/src/multiport/BankToMultiport.html +++ b/test/known-good/Cpp/src/multiport/BankToMultiport.html @@ -97,8 +97,9 @@ = + - + out @@ -110,7 +111,11 @@ set -(bank_index); +(bank_index); + + + + = diff --git a/test/known-good/Cpp/src/multiport/Broadcast.html b/test/known-good/Cpp/src/multiport/Broadcast.html index 79eef6c7c..7d3c23e33 100644 --- a/test/known-good/Cpp/src/multiport/Broadcast.html +++ b/test/known-good/Cpp/src/multiport/Broadcast.html @@ -75,8 +75,9 @@ = + - + out @@ -94,7 +95,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/multiport/BroadcastAfter.html b/test/known-good/Cpp/src/multiport/BroadcastAfter.html index c070346b0..d38bd15a7 100644 --- a/test/known-good/Cpp/src/multiport/BroadcastAfter.html +++ b/test/known-good/Cpp/src/multiport/BroadcastAfter.html @@ -92,8 +92,9 @@ = + - + out @@ -111,7 +112,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/multiport/BroadcastMultipleAfter.html b/test/known-good/Cpp/src/multiport/BroadcastMultipleAfter.html index 8df7600a1..13d55ab60 100644 --- a/test/known-good/Cpp/src/multiport/BroadcastMultipleAfter.html +++ b/test/known-good/Cpp/src/multiport/BroadcastMultipleAfter.html @@ -110,8 +110,9 @@ = + - + out @@ -123,7 +124,11 @@ set -(value); +(value); + + + + = diff --git a/test/known-good/Cpp/src/multiport/IndexIntoMultiportInput.html b/test/known-good/Cpp/src/multiport/IndexIntoMultiportInput.html index d46f64eec..e119c544c 100644 --- a/test/known-good/Cpp/src/multiport/IndexIntoMultiportInput.html +++ b/test/known-good/Cpp/src/multiport/IndexIntoMultiportInput.html @@ -633,8 +633,9 @@ = + - + splitter @@ -658,7 +659,11 @@ 0 -); +); + + + + = @@ -707,8 +712,9 @@ = + - + splitter @@ -732,7 +738,11 @@ 1 -); +); + + + + = @@ -781,8 +791,9 @@ = + - + splitter @@ -806,7 +817,11 @@ 2 -); +); + + + + = diff --git a/test/known-good/Cpp/src/multiport/MultiportFromBank.html b/test/known-good/Cpp/src/multiport/MultiportFromBank.html index dea860c17..377226c25 100644 --- a/test/known-good/Cpp/src/multiport/MultiportFromBank.html +++ b/test/known-good/Cpp/src/multiport/MultiportFromBank.html @@ -137,8 +137,9 @@ = + - + out @@ -150,7 +151,11 @@ set -(bank_index); +(bank_index); + + + + = diff --git a/test/known-good/Cpp/src/multiport/MultiportFromBankHierarchy.html b/test/known-good/Cpp/src/multiport/MultiportFromBankHierarchy.html index d42b67465..9deca6aaa 100644 --- a/test/known-good/Cpp/src/multiport/MultiportFromBankHierarchy.html +++ b/test/known-good/Cpp/src/multiport/MultiportFromBankHierarchy.html @@ -137,8 +137,9 @@ = + - + out @@ -150,7 +151,11 @@ set -(bank_index); +(bank_index); + + + + = diff --git a/test/known-good/Cpp/src/multiport/MultiportFromBankHierarchyAfter.html b/test/known-good/Cpp/src/multiport/MultiportFromBankHierarchyAfter.html index b016dafad..d393a57ea 100644 --- a/test/known-good/Cpp/src/multiport/MultiportFromBankHierarchyAfter.html +++ b/test/known-good/Cpp/src/multiport/MultiportFromBankHierarchyAfter.html @@ -137,8 +137,9 @@ = + - + out @@ -150,7 +151,11 @@ set -(bank_index); +(bank_index); + + + + = @@ -350,7 +355,7 @@ - for (int i + for (auto i = diff --git a/test/known-good/Cpp/src/multiport/MultiportFromHierarchy.html b/test/known-good/Cpp/src/multiport/MultiportFromHierarchy.html index 7499b2cf8..779e64886 100644 --- a/test/known-good/Cpp/src/multiport/MultiportFromHierarchy.html +++ b/test/known-good/Cpp/src/multiport/MultiportFromHierarchy.html @@ -182,7 +182,7 @@ - for(int i + for(auto i = diff --git a/test/known-good/Cpp/src/multiport/MultiportIn.html b/test/known-good/Cpp/src/multiport/MultiportIn.html index f8e50c64d..2eb072773 100644 --- a/test/known-good/Cpp/src/multiport/MultiportIn.html +++ b/test/known-good/Cpp/src/multiport/MultiportIn.html @@ -178,8 +178,9 @@ = + - + out @@ -200,7 +201,11 @@ + -); +); + + + + = @@ -299,8 +304,9 @@ = + - + out @@ -327,7 +333,11 @@ get -()); +()); + + + + = @@ -444,7 +454,7 @@ - for (int i + for (auto i = diff --git a/test/known-good/Cpp/src/multiport/MultiportToMultiportArray.html b/test/known-good/Cpp/src/multiport/MultiportToMultiportArray.html index f620283c4..0d73bc819 100644 --- a/test/known-good/Cpp/src/multiport/MultiportToMultiportArray.html +++ b/test/known-good/Cpp/src/multiport/MultiportToMultiportArray.html @@ -572,7 +572,7 @@ - for (int j + for (auto j = diff --git a/test/known-good/Cpp/src/multiport/MultiportToPort.html b/test/known-good/Cpp/src/multiport/MultiportToPort.html index 5fac5b1e2..e04280cf3 100644 --- a/test/known-good/Cpp/src/multiport/MultiportToPort.html +++ b/test/known-good/Cpp/src/multiport/MultiportToPort.html @@ -123,7 +123,7 @@ - for(int i + for(auto i = diff --git a/test/known-good/Cpp/src/multiport/PipelineAfter.html b/test/known-good/Cpp/src/multiport/PipelineAfter.html index b3bf8700e..ef424b966 100644 --- a/test/known-good/Cpp/src/multiport/PipelineAfter.html +++ b/test/known-good/Cpp/src/multiport/PipelineAfter.html @@ -75,8 +75,9 @@ = + - + out @@ -94,7 +95,11 @@ 40 -); +); + + + + = @@ -193,8 +198,9 @@ = + - + out @@ -233,7 +239,11 @@ 2 -); +); + + + + = diff --git a/test/known-good/Cpp/src/multiport/ReadOutputOfContainedBank.html b/test/known-good/Cpp/src/multiport/ReadOutputOfContainedBank.html index fc0f88daf..3ad90c2b3 100644 --- a/test/known-good/Cpp/src/multiport/ReadOutputOfContainedBank.html +++ b/test/known-good/Cpp/src/multiport/ReadOutputOfContainedBank.html @@ -97,8 +97,9 @@ = + - + out @@ -122,7 +123,11 @@ * - bank_index); + bank_index); + + + + = diff --git a/test/known-good/Cpp/src/properties/Fast.html b/test/known-good/Cpp/src/properties/Fast.html index a2b4e8335..fb6901bdd 100644 --- a/test/known-good/Cpp/src/properties/Fast.html +++ b/test/known-good/Cpp/src/properties/Fast.html @@ -127,8 +127,9 @@ = + - + a @@ -140,7 +141,11 @@ schedule -(2s); +(2s); + + + + = diff --git a/test/known-good/Cpp/src/target/AfterVoid.html b/test/known-good/Cpp/src/target/AfterVoid.html index 45def0dc3..83ef30673 100644 --- a/test/known-good/Cpp/src/target/AfterVoid.html +++ b/test/known-good/Cpp/src/target/AfterVoid.html @@ -140,8 +140,9 @@ = + - + y @@ -153,7 +154,11 @@ set -(); +(); + + + + = diff --git a/test/known-good/Cpp/src/target/CliParserGenericArguments.html b/test/known-good/Cpp/src/target/CliParserGenericArguments.html index 2943a5137..f51572063 100644 --- a/test/known-good/Cpp/src/target/CliParserGenericArguments.html +++ b/test/known-good/Cpp/src/target/CliParserGenericArguments.html @@ -786,8 +786,9 @@ = + - + std @@ -814,7 +815,11 @@ " -; +; + + + + = diff --git a/test/known-good/Cpp/src/target/GenericAfter.html b/test/known-good/Cpp/src/target/GenericAfter.html index 44d4d8e64..01f941cba 100644 --- a/test/known-good/Cpp/src/target/GenericAfter.html +++ b/test/known-good/Cpp/src/target/GenericAfter.html @@ -166,8 +166,9 @@ = + - + out @@ -191,7 +192,11 @@ get -()); +()); + + + + = @@ -225,8 +230,9 @@ = + - + a @@ -250,7 +256,11 @@ get -()); +()); + + + + = @@ -452,8 +462,9 @@ = + - + d @@ -477,7 +488,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/target/GenericDelay.html b/test/known-good/Cpp/src/target/GenericDelay.html index b3fd6ad06..1f318afdf 100644 --- a/test/known-good/Cpp/src/target/GenericDelay.html +++ b/test/known-good/Cpp/src/target/GenericDelay.html @@ -172,8 +172,9 @@ = + - + out @@ -197,7 +198,11 @@ get -()); +()); + + + + = @@ -231,8 +236,9 @@ = + - + a @@ -256,7 +262,11 @@ get -()); +()); + + + + = @@ -440,8 +450,9 @@ = + - + d @@ -465,7 +476,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/target/MultipleContainedGeneric.html b/test/known-good/Cpp/src/target/MultipleContainedGeneric.html index 82ce24796..e949bad90 100644 --- a/test/known-good/Cpp/src/target/MultipleContainedGeneric.html +++ b/test/known-good/Cpp/src/target/MultipleContainedGeneric.html @@ -123,8 +123,9 @@ = + - + trigger @@ -142,7 +143,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Cpp/src/target/PointerParameters.html b/test/known-good/Cpp/src/target/PointerParameters.html index 3cef43ecc..3c4eb85f0 100644 --- a/test/known-good/Cpp/src/target/PointerParameters.html +++ b/test/known-good/Cpp/src/target/PointerParameters.html @@ -207,14 +207,19 @@ = + - int a{ + int a{ 42 -}; +}; + + + + = diff --git a/test/known-good/Python/src/ActionDelay.html b/test/known-good/Python/src/ActionDelay.html index 7ff52f0d5..68c7467ce 100644 --- a/test/known-good/Python/src/ActionDelay.html +++ b/test/known-good/Python/src/ActionDelay.html @@ -174,8 +174,13 @@ {= + - y_out.set(self.y_state) + y_out.set(self.y_state) + + + + =} @@ -243,8 +248,13 @@ {= + - out.set(1) + out.set(1) + + + + =} diff --git a/test/known-good/Python/src/ActionWithNoReaction.html b/test/known-good/Python/src/ActionWithNoReaction.html index 32460f28e..bdcb7caa1 100644 --- a/test/known-good/Python/src/ActionWithNoReaction.html +++ b/test/known-good/Python/src/ActionWithNoReaction.html @@ -417,8 +417,13 @@ {= + - f.x.set(42) + f.x.set(42) + + + + =} diff --git a/test/known-good/Python/src/After.html b/test/known-good/Python/src/After.html index c317b3fb1..9005be89b 100644 --- a/test/known-good/Python/src/After.html +++ b/test/known-good/Python/src/After.html @@ -113,8 +113,13 @@ {= + - y.set(2*x.value) + y.set(2*x.value) + + + + =} @@ -516,8 +521,13 @@ {= + - f.x.set(42) + f.x.set(42) + + + + =} diff --git a/test/known-good/Python/src/AfterCycles.html b/test/known-good/Python/src/AfterCycles.html index 994bbf121..dabbe4314 100644 --- a/test/known-good/Python/src/AfterCycles.html +++ b/test/known-good/Python/src/AfterCycles.html @@ -74,8 +74,13 @@ {= + - out.set(1) + out.set(1) + + + + =} @@ -150,8 +155,13 @@ {= + - out.set(_in.value) + out.set(_in.value) + + + + =} diff --git a/test/known-good/Python/src/CompareTags.html b/test/known-good/Python/src/CompareTags.html index ab5363e3d..01a4d4634 100644 --- a/test/known-good/Python/src/CompareTags.html +++ b/test/known-good/Python/src/CompareTags.html @@ -83,14 +83,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/CompositionGain.html b/test/known-good/Python/src/CompositionGain.html index a84ca128a..49843973e 100644 --- a/test/known-good/Python/src/CompositionGain.html +++ b/test/known-good/Python/src/CompositionGain.html @@ -298,8 +298,13 @@ {= + - wrapper_x.set(42) + wrapper_x.set(42) + + + + =} diff --git a/test/known-good/Python/src/DanglingOutput.html b/test/known-good/Python/src/DanglingOutput.html index 38a27e64d..37914aed8 100644 --- a/test/known-good/Python/src/DanglingOutput.html +++ b/test/known-good/Python/src/DanglingOutput.html @@ -78,8 +78,13 @@ {= + - out.set(1); + out.set(1); + + + + =} diff --git a/test/known-good/Python/src/Deadline.html b/test/known-good/Python/src/Deadline.html index c7018706d..b3ca01745 100644 --- a/test/known-good/Python/src/Deadline.html +++ b/test/known-good/Python/src/Deadline.html @@ -52,15 +52,17 @@ {= + - + import - time + time + =} diff --git a/test/known-good/Python/src/DeadlineHandledAbove.html b/test/known-good/Python/src/DeadlineHandledAbove.html index 89fa14492..03038b87c 100644 --- a/test/known-good/Python/src/DeadlineHandledAbove.html +++ b/test/known-good/Python/src/DeadlineHandledAbove.html @@ -29,15 +29,17 @@ {= + - + import - time + time + =} diff --git a/test/known-good/Python/src/DelayArray.html b/test/known-good/Python/src/DelayArray.html index 226b84688..8430f4d26 100644 --- a/test/known-good/Python/src/DelayArray.html +++ b/test/known-good/Python/src/DelayArray.html @@ -165,8 +165,13 @@ {= + - out.set(a.value); + out.set(a.value); + + + + =} diff --git a/test/known-good/Python/src/DelayInt.html b/test/known-good/Python/src/DelayInt.html index 26c060a7e..d4b67bfc4 100644 --- a/test/known-good/Python/src/DelayInt.html +++ b/test/known-good/Python/src/DelayInt.html @@ -152,8 +152,13 @@ {= + - a.schedule(self.delay, _in.value) + a.schedule(self.delay, _in.value) + + + + =} @@ -553,8 +558,13 @@ {= + - d._in.set(42) + d._in.set(42) + + + + =} diff --git a/test/known-good/Python/src/DelayString.html b/test/known-good/Python/src/DelayString.html index 15f87eae9..9763e4811 100644 --- a/test/known-good/Python/src/DelayString.html +++ b/test/known-good/Python/src/DelayString.html @@ -114,8 +114,13 @@ {= + + + out.set(a.value) + + - out.set(a.value) + =} @@ -143,8 +148,13 @@ {= + - a.schedule(self.delay, _in.value) + a.schedule(self.delay, _in.value) + + + + =} @@ -421,8 +431,13 @@ {= + - d._in.set("Hello") + d._in.set("Hello") + + + + =} diff --git a/test/known-good/Python/src/DelayStruct.html b/test/known-good/Python/src/DelayStruct.html index 603ddd38a..1b0ce05a6 100644 --- a/test/known-good/Python/src/DelayStruct.html +++ b/test/known-good/Python/src/DelayStruct.html @@ -51,15 +51,17 @@ {= + - + import - hello + hello + =} @@ -166,8 +168,13 @@ {= + + + out.set(a.value); + + - out.set(a.value); + =} @@ -277,8 +284,13 @@ {= + - out.set(hello.hello("Earth", 42)) + out.set(hello.hello("Earth", 42)) + + + + =} diff --git a/test/known-good/Python/src/DelayStructWithAfter.html b/test/known-good/Python/src/DelayStructWithAfter.html index a862d0133..05683b3dd 100644 --- a/test/known-good/Python/src/DelayStructWithAfter.html +++ b/test/known-good/Python/src/DelayStructWithAfter.html @@ -54,15 +54,17 @@ {= + - + import - hello + hello + =} @@ -125,8 +127,13 @@ {= + - out.set(hello.hello("Earth", 42)) + out.set(hello.hello("Earth", 42)) + + + + =} diff --git a/test/known-good/Python/src/DelayStructWithAfterOverlapped.html b/test/known-good/Python/src/DelayStructWithAfterOverlapped.html index 74b5fe061..54ff15e15 100644 --- a/test/known-good/Python/src/DelayStructWithAfterOverlapped.html +++ b/test/known-good/Python/src/DelayStructWithAfterOverlapped.html @@ -83,15 +83,17 @@ {= + - + import - hello + hello + =} diff --git a/test/known-good/Python/src/DelayedAction.html b/test/known-good/Python/src/DelayedAction.html index 13014b444..a2d5ea2fb 100644 --- a/test/known-good/Python/src/DelayedAction.html +++ b/test/known-good/Python/src/DelayedAction.html @@ -161,8 +161,13 @@ {= + - a.schedule(MSEC(100)) + a.schedule(MSEC(100)) + + + + =} diff --git a/test/known-good/Python/src/DelayedReaction.html b/test/known-good/Python/src/DelayedReaction.html index e056da0bc..2eed10a67 100644 --- a/test/known-good/Python/src/DelayedReaction.html +++ b/test/known-good/Python/src/DelayedReaction.html @@ -74,8 +74,13 @@ {= + - out.set(1) + out.set(1) + + + + =} diff --git a/test/known-good/Python/src/Determinism.html b/test/known-good/Python/src/Determinism.html index 546dffb50..3dc6c147c 100644 --- a/test/known-good/Python/src/Determinism.html +++ b/test/known-good/Python/src/Determinism.html @@ -70,8 +70,13 @@ {= + - y.set(1) + y.set(1) + + + + =} @@ -253,8 +258,13 @@ {= + - y.set(x.value) + y.set(x.value) + + + + =} diff --git a/test/known-good/Python/src/Gain.html b/test/known-good/Python/src/Gain.html index 59ddbc971..e2d4d8c39 100644 --- a/test/known-good/Python/src/Gain.html +++ b/test/known-good/Python/src/Gain.html @@ -86,8 +86,13 @@ {= + - y.set(x.value * self.scale) + y.set(x.value * self.scale) + + + + =} @@ -396,8 +401,13 @@ {= + - g.x.set(1) + g.x.set(1) + + + + =} diff --git a/test/known-good/Python/src/GetMicroStep.html b/test/known-good/Python/src/GetMicroStep.html index dae2ffac4..445e8932a 100644 --- a/test/known-good/Python/src/GetMicroStep.html +++ b/test/known-good/Python/src/GetMicroStep.html @@ -64,14 +64,19 @@ {= + - + import - sys + sys + + + + =} @@ -186,8 +191,13 @@ {= + - l.schedule(0); + l.schedule(0); + + + + =} diff --git a/test/known-good/Python/src/Hierarchy.html b/test/known-good/Python/src/Hierarchy.html index 6494a1e02..78e705711 100644 --- a/test/known-good/Python/src/Hierarchy.html +++ b/test/known-good/Python/src/Hierarchy.html @@ -74,8 +74,13 @@ {= + - out.set(1) + out.set(1) + + + + =} diff --git a/test/known-good/Python/src/Hierarchy2.html b/test/known-good/Python/src/Hierarchy2.html index 1e855a9a7..50419686d 100644 --- a/test/known-good/Python/src/Hierarchy2.html +++ b/test/known-good/Python/src/Hierarchy2.html @@ -128,8 +128,13 @@ {= + - out.set(1) + out.set(1) + + + + =} diff --git a/test/known-good/Python/src/Import.html b/test/known-good/Python/src/Import.html index 53c67347a..153fb3c7c 100644 --- a/test/known-good/Python/src/Import.html +++ b/test/known-good/Python/src/Import.html @@ -139,8 +139,13 @@ {= + - a.x.set(42) + a.x.set(42) + + + + =} diff --git a/test/known-good/Python/src/ImportComposition.html b/test/known-good/Python/src/ImportComposition.html index cc1eff132..73a3be7b2 100644 --- a/test/known-good/Python/src/ImportComposition.html +++ b/test/known-good/Python/src/ImportComposition.html @@ -160,8 +160,13 @@ {= + - a.x.set(42) + a.x.set(42) + + + + =} diff --git a/test/known-good/Python/src/ImportRenamed.html b/test/known-good/Python/src/ImportRenamed.html index 6b86345e7..d8c80cbc2 100644 --- a/test/known-good/Python/src/ImportRenamed.html +++ b/test/known-good/Python/src/ImportRenamed.html @@ -281,8 +281,13 @@ {= + - a.x.set(42) + a.x.set(42) + + + + =} diff --git a/test/known-good/Python/src/ManualDelayedReaction.html b/test/known-good/Python/src/ManualDelayedReaction.html index 0cc7c14d3..5a7c5c20d 100644 --- a/test/known-good/Python/src/ManualDelayedReaction.html +++ b/test/known-good/Python/src/ManualDelayedReaction.html @@ -219,8 +219,13 @@ {= + + + y_out.set(self.y_state) + + - y_out.set(self.y_state) + =} @@ -274,6 +279,13 @@ + + + + +# reaction(t) -> out after 100 msec + + @@ -292,17 +304,16 @@ {= + - out.set(1) + out.set(1) + -=} - - - -# reaction(t) -> out after 100 msec + +=} diff --git a/test/known-good/Python/src/Methods.html b/test/known-good/Python/src/Methods.html index d0b487e31..024182ea3 100644 --- a/test/known-good/Python/src/Methods.html +++ b/test/known-good/Python/src/Methods.html @@ -73,8 +73,13 @@ {= + - return self.foo + return self.foo + + + + =} @@ -99,8 +104,13 @@ {= + - self.foo += x + self.foo += x + + + + =} diff --git a/test/known-good/Python/src/MethodsRecursive.html b/test/known-good/Python/src/MethodsRecursive.html index 14e282595..3ca52d2b0 100644 --- a/test/known-good/Python/src/MethodsRecursive.html +++ b/test/known-good/Python/src/MethodsRecursive.html @@ -119,8 +119,13 @@ {= + - return x + y + return x + y + + + + =} diff --git a/test/known-good/Python/src/MethodsSameName.html b/test/known-good/Python/src/MethodsSameName.html index 4ba1b725b..a405bdb17 100644 --- a/test/known-good/Python/src/MethodsSameName.html +++ b/test/known-good/Python/src/MethodsSameName.html @@ -73,8 +73,13 @@ {= + - self.foo += x + self.foo += x + + + + =} @@ -227,8 +232,13 @@ {= + - self.foo += x + self.foo += x + + + + =} diff --git a/test/known-good/Python/src/Microsteps.html b/test/known-good/Python/src/Microsteps.html index 740111100..00963afeb 100644 --- a/test/known-good/Python/src/Microsteps.html +++ b/test/known-good/Python/src/Microsteps.html @@ -303,8 +303,13 @@ {= + - d.y.set(1) + d.y.set(1) + + + + =} diff --git a/test/known-good/Python/src/Minimal.html b/test/known-good/Python/src/Minimal.html index b4efca634..aab1b8286 100644 --- a/test/known-good/Python/src/Minimal.html +++ b/test/known-good/Python/src/Minimal.html @@ -53,8 +53,13 @@ {= + - print("Hello World.") + print("Hello World.") + + + + =} diff --git a/test/known-good/Python/src/MultipleContained.html b/test/known-good/Python/src/MultipleContained.html index 2a8febeda..27ecae899 100644 --- a/test/known-good/Python/src/MultipleContained.html +++ b/test/known-good/Python/src/MultipleContained.html @@ -121,8 +121,13 @@ {= + - trigger.set(42) + trigger.set(42) + + + + =} diff --git a/test/known-good/Python/src/ParameterizedState.html b/test/known-good/Python/src/ParameterizedState.html index 2364084a2..9ad76faa9 100644 --- a/test/known-good/Python/src/ParameterizedState.html +++ b/test/known-good/Python/src/ParameterizedState.html @@ -78,8 +78,13 @@ {= + - print("Baz: ", self.baz) + print("Baz: ", self.baz) + + + + =} diff --git a/test/known-good/Python/src/ReadOutputOfContainedReactor.html b/test/known-good/Python/src/ReadOutputOfContainedReactor.html index 1564114ca..eb3262094 100644 --- a/test/known-good/Python/src/ReadOutputOfContainedReactor.html +++ b/test/known-good/Python/src/ReadOutputOfContainedReactor.html @@ -70,8 +70,13 @@ {= + - out.set(42) + out.set(42) + + + + =} diff --git a/test/known-good/Python/src/Schedule.html b/test/known-good/Python/src/Schedule.html index 8954e4fa0..2338ae689 100644 --- a/test/known-good/Python/src/Schedule.html +++ b/test/known-good/Python/src/Schedule.html @@ -83,8 +83,13 @@ {= + - a.schedule(MSEC(200)) + a.schedule(MSEC(200)) + + + + =} @@ -227,8 +232,13 @@ {= + - a.x.set(1) + a.x.set(1) + + + + =} diff --git a/test/known-good/Python/src/ScheduleLogicalAction.html b/test/known-good/Python/src/ScheduleLogicalAction.html index 7cbc0a5f2..9d42f8903 100644 --- a/test/known-good/Python/src/ScheduleLogicalAction.html +++ b/test/known-good/Python/src/ScheduleLogicalAction.html @@ -178,8 +178,13 @@ {= + - y.set(-42) + y.set(-42) + + + + =} @@ -470,8 +475,13 @@ {= + - f.x.set(42) + f.x.set(42) + + + + =} diff --git a/test/known-good/Python/src/SelfLoop.html b/test/known-good/Python/src/SelfLoop.html index 76a8ef264..a71dabb34 100644 --- a/test/known-good/Python/src/SelfLoop.html +++ b/test/known-good/Python/src/SelfLoop.html @@ -251,8 +251,13 @@ {= + - a.schedule(0, 42) + a.schedule(0, 42) + + + + =} diff --git a/test/known-good/Python/src/SendingInside2.html b/test/known-good/Python/src/SendingInside2.html index c9051923c..fab9796cd 100644 --- a/test/known-good/Python/src/SendingInside2.html +++ b/test/known-good/Python/src/SendingInside2.html @@ -177,8 +177,13 @@ {= + - p.x.set(1) + p.x.set(1) + + + + =} diff --git a/test/known-good/Python/src/SetArray.html b/test/known-good/Python/src/SetArray.html index e2809eb23..e2261ae4a 100644 --- a/test/known-good/Python/src/SetArray.html +++ b/test/known-good/Python/src/SetArray.html @@ -74,8 +74,13 @@ {= + - out.set([0,1,2]) + out.set([0,1,2]) + + + + =} diff --git a/test/known-good/Python/src/SimpleDeadline.html b/test/known-good/Python/src/SimpleDeadline.html index 79dbc8f06..6614375fd 100644 --- a/test/known-good/Python/src/SimpleDeadline.html +++ b/test/known-good/Python/src/SimpleDeadline.html @@ -362,14 +362,19 @@ {= + - + import - time + time + + + + =} diff --git a/test/known-good/Python/src/SlowingClock.html b/test/known-good/Python/src/SlowingClock.html index 4af29b433..aab244c74 100644 --- a/test/known-good/Python/src/SlowingClock.html +++ b/test/known-good/Python/src/SlowingClock.html @@ -214,8 +214,13 @@ {= + - a.schedule(0) + a.schedule(0) + + + + =} diff --git a/test/known-good/Python/src/StartupOutFromInside.html b/test/known-good/Python/src/StartupOutFromInside.html index e6d5cfa63..6072441d8 100644 --- a/test/known-good/Python/src/StartupOutFromInside.html +++ b/test/known-good/Python/src/StartupOutFromInside.html @@ -66,8 +66,13 @@ {= + - out.set(42) + out.set(42) + + + + =} diff --git a/test/known-good/Python/src/StructAsType.html b/test/known-good/Python/src/StructAsType.html index 1bc5ddc6c..29eae5495 100644 --- a/test/known-good/Python/src/StructAsType.html +++ b/test/known-good/Python/src/StructAsType.html @@ -50,15 +50,17 @@ {= + - + import - hello + hello + =} diff --git a/test/known-good/Python/src/StructAsTypeDirect.html b/test/known-good/Python/src/StructAsTypeDirect.html index 8ff2dab05..e29c2dc30 100644 --- a/test/known-good/Python/src/StructAsTypeDirect.html +++ b/test/known-good/Python/src/StructAsTypeDirect.html @@ -50,15 +50,17 @@ {= + - + import - hello + hello + =} diff --git a/test/known-good/Python/src/StructParallel.html b/test/known-good/Python/src/StructParallel.html index 846d5c859..60b71fd5c 100644 --- a/test/known-good/Python/src/StructParallel.html +++ b/test/known-good/Python/src/StructParallel.html @@ -87,15 +87,17 @@ {= + - + import - hello + hello + =} diff --git a/test/known-good/Python/src/StructPrint.html b/test/known-good/Python/src/StructPrint.html index ca6382293..cb1092ce0 100644 --- a/test/known-good/Python/src/StructPrint.html +++ b/test/known-good/Python/src/StructPrint.html @@ -55,15 +55,17 @@ {= + - + import - hello + hello + =} @@ -126,8 +128,13 @@ {= + - out.set(hello.hello("Earth", 42)) + out.set(hello.hello("Earth", 42)) + + + + =} diff --git a/test/known-good/Python/src/StructScale.html b/test/known-good/Python/src/StructScale.html index f1878ba0a..f95cb8c59 100644 --- a/test/known-good/Python/src/StructScale.html +++ b/test/known-good/Python/src/StructScale.html @@ -55,15 +55,17 @@ {= + - + import - hello + hello + =} @@ -126,8 +128,13 @@ {= + - out.set(hello.hello("Earth", 42)) + out.set(hello.hello("Earth", 42)) + + + + =} diff --git a/test/known-good/Python/src/TestForPreviousOutput.html b/test/known-good/Python/src/TestForPreviousOutput.html index bc0ee37d5..1f090c425 100644 --- a/test/known-good/Python/src/TestForPreviousOutput.html +++ b/test/known-good/Python/src/TestForPreviousOutput.html @@ -58,14 +58,19 @@ {= + - + import - random + random + + + + =} diff --git a/test/known-good/Python/src/TimeLimit.html b/test/known-good/Python/src/TimeLimit.html index 769d26a7d..34a614ba2 100644 --- a/test/known-good/Python/src/TimeLimit.html +++ b/test/known-good/Python/src/TimeLimit.html @@ -492,8 +492,13 @@ {= + - request_stop() + request_stop() + + + + =} diff --git a/test/known-good/Python/src/TimeState.html b/test/known-good/Python/src/TimeState.html index cb887cbe0..40b4b6777 100644 --- a/test/known-good/Python/src/TimeState.html +++ b/test/known-good/Python/src/TimeState.html @@ -87,8 +87,13 @@ {= + - print("Baz: ", self.baz) + print("Baz: ", self.baz) + + + + =} diff --git a/test/known-good/Python/src/Timers.html b/test/known-good/Python/src/Timers.html index d78e28923..53f08b0a6 100644 --- a/test/known-good/Python/src/Timers.html +++ b/test/known-good/Python/src/Timers.html @@ -155,8 +155,13 @@ {= + - self.counter += 2 + self.counter += 2 + + + + =} @@ -178,8 +183,13 @@ {= + - self.counter -= 1 + self.counter -= 1 + + + + =} diff --git a/test/known-good/Python/src/TriggerDownstreamOnlyIfPresent2.html b/test/known-good/Python/src/TriggerDownstreamOnlyIfPresent2.html index 8eb40646e..f102186aa 100644 --- a/test/known-good/Python/src/TriggerDownstreamOnlyIfPresent2.html +++ b/test/known-good/Python/src/TriggerDownstreamOnlyIfPresent2.html @@ -285,8 +285,13 @@ {= + - print("SUCCESS.") + print("SUCCESS.") + + + + =} diff --git a/test/known-good/Python/src/Wcet.html b/test/known-good/Python/src/Wcet.html index efe8ef89c..b31e40157 100644 --- a/test/known-good/Python/src/Wcet.html +++ b/test/known-good/Python/src/Wcet.html @@ -267,8 +267,13 @@ {= + - print("Received: ", p_in.value) + print("Received: ", p_in.value) + + + + =} diff --git a/test/known-good/Python/src/docker/FilesPropertyContainerized.html b/test/known-good/Python/src/docker/FilesPropertyContainerized.html index 1cb8f200b..d8a91ba53 100644 --- a/test/known-good/Python/src/docker/FilesPropertyContainerized.html +++ b/test/known-good/Python/src/docker/FilesPropertyContainerized.html @@ -206,8 +206,13 @@ {= + - self.passed = True + self.passed = True + + + + =} diff --git a/test/known-good/Python/src/federated/BroadcastFeedback.html b/test/known-good/Python/src/federated/BroadcastFeedback.html index 2e5279641..5771978ae 100644 --- a/test/known-good/Python/src/federated/BroadcastFeedback.html +++ b/test/known-good/Python/src/federated/BroadcastFeedback.html @@ -140,8 +140,13 @@ {= + - out.set(42) + out.set(42) + + + + =} diff --git a/test/known-good/Python/src/federated/BroadcastFeedbackWithHierarchy.html b/test/known-good/Python/src/federated/BroadcastFeedbackWithHierarchy.html index 37287e3b3..7d40dba8a 100644 --- a/test/known-good/Python/src/federated/BroadcastFeedbackWithHierarchy.html +++ b/test/known-good/Python/src/federated/BroadcastFeedbackWithHierarchy.html @@ -191,8 +191,13 @@ {= + + + out.set(42) + + - out.set(42) + =} @@ -231,14 +236,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/CycleDetection.html b/test/known-good/Python/src/federated/CycleDetection.html index ce39a5d3a..47a653084 100644 --- a/test/known-good/Python/src/federated/CycleDetection.html +++ b/test/known-good/Python/src/federated/CycleDetection.html @@ -195,8 +195,13 @@ {= + + + response.set(self.balance) + + - response.set(self.balance) + =} @@ -235,14 +240,19 @@ {= + - + import - sys + sys + + + + =} @@ -302,8 +312,13 @@ {= + - deposit.set(100) + deposit.set(100) + + + + =} @@ -375,8 +390,13 @@ {= + - print("Test passed!") + print("Test passed!") + + + + =} diff --git a/test/known-good/Python/src/federated/DecentralizedP2PComm.html b/test/known-good/Python/src/federated/DecentralizedP2PComm.html index 63b3dd3cf..3f2a7dc50 100644 --- a/test/known-good/Python/src/federated/DecentralizedP2PComm.html +++ b/test/known-good/Python/src/federated/DecentralizedP2PComm.html @@ -126,14 +126,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DecentralizedP2PUnbalancedTimeout.html b/test/known-good/Python/src/federated/DecentralizedP2PUnbalancedTimeout.html index f162d89e1..7936f36e1 100644 --- a/test/known-good/Python/src/federated/DecentralizedP2PUnbalancedTimeout.html +++ b/test/known-good/Python/src/federated/DecentralizedP2PUnbalancedTimeout.html @@ -235,8 +235,13 @@ {= + + + print("SUCCESS: the source exited successfully.") + + - print("SUCCESS: the source exited successfully.") + =} @@ -275,14 +280,19 @@ {= + - + import - sys + sys + + + + =} @@ -361,8 +371,13 @@ {= + + + self.startup_logical_time = lf.time.logical() + + - self.startup_logical_time = lf.time.logical() + =} diff --git a/test/known-good/Python/src/federated/DecentralizedP2PUnbalancedTimeoutPhysical.html b/test/known-good/Python/src/federated/DecentralizedP2PUnbalancedTimeoutPhysical.html index e462c28f7..dc9a9de66 100644 --- a/test/known-good/Python/src/federated/DecentralizedP2PUnbalancedTimeoutPhysical.html +++ b/test/known-good/Python/src/federated/DecentralizedP2PUnbalancedTimeoutPhysical.html @@ -231,8 +231,13 @@ {= + + + print("SUCCESS: the source exited successfully.") + + - print("SUCCESS: the source exited successfully.") + =} @@ -271,14 +276,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedBank.html b/test/known-good/Python/src/federated/DistributedBank.html index 0a91ee746..e948f1f62 100644 --- a/test/known-good/Python/src/federated/DistributedBank.html +++ b/test/known-good/Python/src/federated/DistributedBank.html @@ -77,14 +77,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedBankToMultiport.html b/test/known-good/Python/src/federated/DistributedBankToMultiport.html index 550e27a03..774bad66f 100644 --- a/test/known-good/Python/src/federated/DistributedBankToMultiport.html +++ b/test/known-good/Python/src/federated/DistributedBankToMultiport.html @@ -96,14 +96,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedCount.html b/test/known-good/Python/src/federated/DistributedCount.html index 2135c2a68..d1efde6b6 100644 --- a/test/known-good/Python/src/federated/DistributedCount.html +++ b/test/known-good/Python/src/federated/DistributedCount.html @@ -132,14 +132,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedCountDecentralized.html b/test/known-good/Python/src/federated/DistributedCountDecentralized.html index 710f19d6b..61b7bc947 100644 --- a/test/known-good/Python/src/federated/DistributedCountDecentralized.html +++ b/test/known-good/Python/src/federated/DistributedCountDecentralized.html @@ -136,14 +136,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedCountDecentralizedLate.html b/test/known-good/Python/src/federated/DistributedCountDecentralizedLate.html index f64d43e67..ed551908c 100644 --- a/test/known-good/Python/src/federated/DistributedCountDecentralizedLate.html +++ b/test/known-good/Python/src/federated/DistributedCountDecentralizedLate.html @@ -136,14 +136,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedCountPhysical.html b/test/known-good/Python/src/federated/DistributedCountPhysical.html index 857003fac..8397470e2 100644 --- a/test/known-good/Python/src/federated/DistributedCountPhysical.html +++ b/test/known-good/Python/src/federated/DistributedCountPhysical.html @@ -230,14 +230,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedCountPhysicalAfterDelay.html b/test/known-good/Python/src/federated/DistributedCountPhysicalAfterDelay.html index a6b34c9f1..d2936b0eb 100644 --- a/test/known-good/Python/src/federated/DistributedCountPhysicalAfterDelay.html +++ b/test/known-good/Python/src/federated/DistributedCountPhysicalAfterDelay.html @@ -230,14 +230,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedCountPhysicalDecentralized.html b/test/known-good/Python/src/federated/DistributedCountPhysicalDecentralized.html index baca750e0..5452dd6ce 100644 --- a/test/known-good/Python/src/federated/DistributedCountPhysicalDecentralized.html +++ b/test/known-good/Python/src/federated/DistributedCountPhysicalDecentralized.html @@ -243,14 +243,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedDoublePort.html b/test/known-good/Python/src/federated/DistributedDoublePort.html index 40f89c248..ea3e25eea 100644 --- a/test/known-good/Python/src/federated/DistributedDoublePort.html +++ b/test/known-good/Python/src/federated/DistributedDoublePort.html @@ -278,8 +278,13 @@ {= + + + out.set(act.value) + + - out.set(act.value) + =} @@ -318,14 +323,19 @@ {= + - + import - sys + sys + + + + =} @@ -423,8 +433,13 @@ {= + + + print("SUCCESS: messages were at least one microstep apart.") + + - print("SUCCESS: messages were at least one microstep apart.") + =} diff --git a/test/known-good/Python/src/federated/DistributedLoopedAction.html b/test/known-good/Python/src/federated/DistributedLoopedAction.html index ec314790b..c8d185746 100644 --- a/test/known-good/Python/src/federated/DistributedLoopedAction.html +++ b/test/known-good/Python/src/federated/DistributedLoopedAction.html @@ -142,14 +142,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedLoopedPhysicalAction.html b/test/known-good/Python/src/federated/DistributedLoopedPhysicalAction.html index cf37dada3..5ee8f1900 100644 --- a/test/known-good/Python/src/federated/DistributedLoopedPhysicalAction.html +++ b/test/known-good/Python/src/federated/DistributedLoopedPhysicalAction.html @@ -320,14 +320,19 @@ {= + - + import - sys + sys + + + + =} @@ -498,8 +503,13 @@ {= + - self.base_logical_time = lf.time.logical() + self.base_logical_time = lf.time.logical() + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedMultiport.html b/test/known-good/Python/src/federated/DistributedMultiport.html index 5d2301291..2a51e815a 100644 --- a/test/known-good/Python/src/federated/DistributedMultiport.html +++ b/test/known-good/Python/src/federated/DistributedMultiport.html @@ -212,14 +212,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedMultiportToBank.html b/test/known-good/Python/src/federated/DistributedMultiportToBank.html index 4cf5cdfb3..ea8fe62fb 100644 --- a/test/known-good/Python/src/federated/DistributedMultiportToBank.html +++ b/test/known-good/Python/src/federated/DistributedMultiportToBank.html @@ -199,14 +199,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedNoReact.html b/test/known-good/Python/src/federated/DistributedNoReact.html index c8cc88dee..512c4f9ca 100644 --- a/test/known-good/Python/src/federated/DistributedNoReact.html +++ b/test/known-good/Python/src/federated/DistributedNoReact.html @@ -153,8 +153,13 @@ {= + - o.set(C()) + o.set(C()) + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedSendClass.html b/test/known-good/Python/src/federated/DistributedSendClass.html index 03406230f..403fee16e 100644 --- a/test/known-good/Python/src/federated/DistributedSendClass.html +++ b/test/known-good/Python/src/federated/DistributedSendClass.html @@ -84,8 +84,13 @@ {= + - request_stop() + request_stop() + + + + =} @@ -153,8 +158,13 @@ {= + - o.set(C()) + o.set(C()) + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedStop.html b/test/known-good/Python/src/federated/DistributedStop.html index e193901a2..721b3f067 100644 --- a/test/known-good/Python/src/federated/DistributedStop.html +++ b/test/known-good/Python/src/federated/DistributedStop.html @@ -44,15 +44,17 @@ {= + - + import - sys + sys + =} diff --git a/test/known-good/Python/src/federated/DistributedStopZero.html b/test/known-good/Python/src/federated/DistributedStopZero.html index e4b7551dc..4f13298c5 100644 --- a/test/known-good/Python/src/federated/DistributedStopZero.html +++ b/test/known-good/Python/src/federated/DistributedStopZero.html @@ -48,15 +48,17 @@ {= + - + import - sys + sys + =} @@ -154,8 +156,13 @@ {= + + + self.startup_logical_time = lf.time.logical() + + - self.startup_logical_time = lf.time.logical() + =} @@ -374,8 +381,13 @@ {= + - self.startup_logical_time = lf.time.logical() + self.startup_logical_time = lf.time.logical() + + + + =} diff --git a/test/known-good/Python/src/federated/DistributedStructAsType.html b/test/known-good/Python/src/federated/DistributedStructAsType.html index 6e6c7ef47..0374c8b4c 100644 --- a/test/known-good/Python/src/federated/DistributedStructAsType.html +++ b/test/known-good/Python/src/federated/DistributedStructAsType.html @@ -107,32 +107,6 @@ - -preamble - - - - - -{= - - - - - -import - - - hello - - -=} - - - - - - federated diff --git a/test/known-good/Python/src/federated/DistributedStructAsTypeDirect.html b/test/known-good/Python/src/federated/DistributedStructAsTypeDirect.html index d1d87088d..d7f937beb 100644 --- a/test/known-good/Python/src/federated/DistributedStructAsTypeDirect.html +++ b/test/known-good/Python/src/federated/DistributedStructAsTypeDirect.html @@ -107,32 +107,6 @@ - -preamble - - - - - -{= - - - - - -import - - - hello - - -=} - - - - - - federated diff --git a/test/known-good/Python/src/federated/DistributedStructParallel.html b/test/known-good/Python/src/federated/DistributedStructParallel.html index 2bf8224e0..d53abde00 100644 --- a/test/known-good/Python/src/federated/DistributedStructParallel.html +++ b/test/known-good/Python/src/federated/DistributedStructParallel.html @@ -128,32 +128,6 @@ - -preamble - - - - - -{= - - - - - -import - - - hello - - -=} - - - - - - federated diff --git a/test/known-good/Python/src/federated/DistributedStructPrint.html b/test/known-good/Python/src/federated/DistributedStructPrint.html index c8aa45bda..ac917eead 100644 --- a/test/known-good/Python/src/federated/DistributedStructPrint.html +++ b/test/known-good/Python/src/federated/DistributedStructPrint.html @@ -100,32 +100,6 @@ - -preamble - - - - - -{= - - - - - -import - - - hello - - -=} - - - - - - federated diff --git a/test/known-good/Python/src/federated/DistributedStructScale.html b/test/known-good/Python/src/federated/DistributedStructScale.html index a3c9a7298..2bb3d1a8b 100644 --- a/test/known-good/Python/src/federated/DistributedStructScale.html +++ b/test/known-good/Python/src/federated/DistributedStructScale.html @@ -106,32 +106,6 @@ - -preamble - - - - - -{= - - - - - -import - - - hello - - -=} - - - - - - federated diff --git a/test/known-good/Python/src/federated/HelloDistributed.html b/test/known-good/Python/src/federated/HelloDistributed.html index 97e0a08dc..a3c320fe8 100644 --- a/test/known-good/Python/src/federated/HelloDistributed.html +++ b/test/known-good/Python/src/federated/HelloDistributed.html @@ -194,8 +194,13 @@ {= + - print("Destination started.") + print("Destination started.") + + + + =} diff --git a/test/known-good/Python/src/federated/LoopDistributedCentralizedPrecedenceHierarchy.html b/test/known-good/Python/src/federated/LoopDistributedCentralizedPrecedenceHierarchy.html index e5555f84e..3f8caa837 100644 --- a/test/known-good/Python/src/federated/LoopDistributedCentralizedPrecedenceHierarchy.html +++ b/test/known-good/Python/src/federated/LoopDistributedCentralizedPrecedenceHierarchy.html @@ -235,8 +235,13 @@ {= + + + self.count += self.incr + + - self.count += self.incr + =} @@ -258,8 +263,13 @@ {= + - self.received_count = self.count + self.received_count = self.count + + + + =} diff --git a/test/known-good/Python/src/federated/PhysicalSTP.html b/test/known-good/Python/src/federated/PhysicalSTP.html index 7d23ab623..4099a9e85 100644 --- a/test/known-good/Python/src/federated/PhysicalSTP.html +++ b/test/known-good/Python/src/federated/PhysicalSTP.html @@ -124,14 +124,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/PingPongDistributed.html b/test/known-good/Python/src/federated/PingPongDistributed.html index 3bfbf3f66..ef05e43ab 100644 --- a/test/known-good/Python/src/federated/PingPongDistributed.html +++ b/test/known-good/Python/src/federated/PingPongDistributed.html @@ -316,14 +316,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/federated/StopAtShutdown.html b/test/known-good/Python/src/federated/StopAtShutdown.html index bae1262df..1b229b0dc 100644 --- a/test/known-good/Python/src/federated/StopAtShutdown.html +++ b/test/known-good/Python/src/federated/StopAtShutdown.html @@ -114,8 +114,13 @@ {= + - print("Hello World!") + print("Hello World!") + + + + =} @@ -137,8 +142,13 @@ {= + - print("Got it") + print("Got it") + + + + =} @@ -166,8 +176,13 @@ {= + - request_stop() + request_stop() + + + + =} @@ -251,8 +266,13 @@ {= + + + out.set(1) + + - out.set(1) + =} @@ -280,8 +300,13 @@ {= + + + request_stop() + + - request_stop() + =} diff --git a/test/known-good/Python/src/lib/Imported.html b/test/known-good/Python/src/lib/Imported.html index 69dfa4e5d..2f50a38e9 100644 --- a/test/known-good/Python/src/lib/Imported.html +++ b/test/known-good/Python/src/lib/Imported.html @@ -140,8 +140,13 @@ {= + - a.x.set(x.value) + a.x.set(x.value) + + + + =} diff --git a/test/known-good/Python/src/lib/ImportedComposition.html b/test/known-good/Python/src/lib/ImportedComposition.html index c0d28e93a..323e02e7a 100644 --- a/test/known-good/Python/src/lib/ImportedComposition.html +++ b/test/known-good/Python/src/lib/ImportedComposition.html @@ -81,8 +81,13 @@ {= + - y.set(x.value * 2) + y.set(x.value * 2) + + + + =} diff --git a/test/known-good/Python/src/lib/InternalDelay.html b/test/known-good/Python/src/lib/InternalDelay.html index bb236a183..8f613125d 100644 --- a/test/known-good/Python/src/lib/InternalDelay.html +++ b/test/known-good/Python/src/lib/InternalDelay.html @@ -110,8 +110,13 @@ {= + - d.schedule(self.delay, in_.value) + d.schedule(self.delay, in_.value) + + + + =} @@ -139,8 +144,13 @@ {= + - out.set(d.value) + out.set(d.value) + + + + =} diff --git a/test/known-good/Python/src/lib/TestCount.html b/test/known-good/Python/src/lib/TestCount.html index 4d7d044df..e9810b52c 100644 --- a/test/known-good/Python/src/lib/TestCount.html +++ b/test/known-good/Python/src/lib/TestCount.html @@ -99,14 +99,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/lib/TestCountMultiport.html b/test/known-good/Python/src/lib/TestCountMultiport.html index 564426c2d..e516b32b8 100644 --- a/test/known-good/Python/src/lib/TestCountMultiport.html +++ b/test/known-good/Python/src/lib/TestCountMultiport.html @@ -116,14 +116,19 @@ {= + - + import - sys + sys + + + + =} diff --git a/test/known-good/Python/src/modal_models/BanksCount3ModesComplex.html b/test/known-good/Python/src/modal_models/BanksCount3ModesComplex.html index ab77d0caa..301141929 100644 --- a/test/known-good/Python/src/modal_models/BanksCount3ModesComplex.html +++ b/test/known-good/Python/src/modal_models/BanksCount3ModesComplex.html @@ -460,8 +460,13 @@ {= + - Two.set() + Two.set() + + + + =} @@ -620,8 +625,13 @@ {= + - One.set() + One.set() + + + + =} diff --git a/test/known-good/Python/src/modal_models/ConvertCaseTest.html b/test/known-good/Python/src/modal_models/ConvertCaseTest.html index f9c9460cb..a77e447c0 100644 --- a/test/known-good/Python/src/modal_models/ConvertCaseTest.html +++ b/test/known-good/Python/src/modal_models/ConvertCaseTest.html @@ -255,8 +255,13 @@ {= + - Discarding.set() + Discarding.set() + + + + =} @@ -298,8 +303,13 @@ {= + - converted.set('_') + converted.set('_') + + + + =} @@ -333,8 +343,13 @@ {= + - Converting.set() + Converting.set() + + + + =} @@ -517,8 +532,13 @@ {= + - Discarding.set() + Discarding.set() + + + + =} @@ -560,8 +580,13 @@ {= + - converted.set('_') + converted.set('_') + + + + =} @@ -589,8 +614,13 @@ {= + - Converting.set() + Converting.set() + + + + =} @@ -1919,8 +1949,13 @@ {= + - print(f"Reset: {reset_processor.converted.value}") + print(f"Reset: {reset_processor.converted.value}") + + + + =} @@ -1954,8 +1989,13 @@ {= + - print(f"History: {history_processor.converted.value}") + print(f"History: {history_processor.converted.value}") + + + + =} diff --git a/test/known-good/Python/src/modal_models/Count3Modes.html b/test/known-good/Python/src/modal_models/Count3Modes.html index 9ccc29a7f..eda8db46e 100644 --- a/test/known-good/Python/src/modal_models/Count3Modes.html +++ b/test/known-good/Python/src/modal_models/Count3Modes.html @@ -387,6 +387,13 @@ + + + + +# Trigger + + @@ -417,17 +424,16 @@ {= + - counter.next.set(True) + counter.next.set(True) + -=} - - - -# Trigger + +=} diff --git a/test/known-good/Python/src/modal_models/ModalActions.html b/test/known-good/Python/src/modal_models/ModalActions.html index 04fc3428d..6cd2f1fc3 100644 --- a/test/known-good/Python/src/modal_models/ModalActions.html +++ b/test/known-good/Python/src/modal_models/ModalActions.html @@ -1904,6 +1904,13 @@ + + + + +# Trigger mode change + + @@ -1934,17 +1941,16 @@ {= + - modal.next.set(True) + modal.next.set(True) + -=} - - - -# Trigger mode change + +=} diff --git a/test/known-good/Python/src/modal_models/ModalAfter.html b/test/known-good/Python/src/modal_models/ModalAfter.html index 5f648612e..6467f0c16 100644 --- a/test/known-good/Python/src/modal_models/ModalAfter.html +++ b/test/known-good/Python/src/modal_models/ModalAfter.html @@ -2146,6 +2146,13 @@ + + + + +# Trigger mode change + + @@ -2176,17 +2183,16 @@ {= + - modal.next.set(True) + modal.next.set(True) + -=} - - - -# Trigger mode change + +=} diff --git a/test/known-good/Python/src/modal_models/ModalCycleBreaker.html b/test/known-good/Python/src/modal_models/ModalCycleBreaker.html index 2d94b98c8..fb7dd9587 100644 --- a/test/known-good/Python/src/modal_models/ModalCycleBreaker.html +++ b/test/known-good/Python/src/modal_models/ModalCycleBreaker.html @@ -319,8 +319,13 @@ {= + + + out.set(in1.value) + + - out.set(in1.value) + =} @@ -973,6 +978,13 @@ + + + + +# Print + + @@ -997,17 +1009,16 @@ {= + - print(modal.out.value) + print(modal.out.value) + -=} - - - -# Print + +=} diff --git a/test/known-good/Python/src/modal_models/ModalNestedReactions.html b/test/known-good/Python/src/modal_models/ModalNestedReactions.html index 64d8041cd..b7ae1ed37 100644 --- a/test/known-good/Python/src/modal_models/ModalNestedReactions.html +++ b/test/known-good/Python/src/modal_models/ModalNestedReactions.html @@ -350,8 +350,13 @@ {= + - never.set(True) + never.set(True) + + + + =} @@ -430,8 +435,13 @@ {= + - out.set(inp.value) + out.set(inp.value) + + + + =} @@ -518,6 +528,13 @@ + + + + +# Trigger + + @@ -548,17 +565,16 @@ {= + - counter.next.set(True) + counter.next.set(True) + -=} - - - -# Trigger + +=} diff --git a/test/known-good/Python/src/modal_models/ModalStartupShutdown.html b/test/known-good/Python/src/modal_models/ModalStartupShutdown.html index dacde3e85..d47e15845 100644 --- a/test/known-good/Python/src/modal_models/ModalStartupShutdown.html +++ b/test/known-good/Python/src/modal_models/ModalStartupShutdown.html @@ -2888,6 +2888,13 @@ + + + + +# Trigger mode change + + @@ -2918,17 +2925,16 @@ {= + - modal.next.set(True) + modal.next.set(True) + -=} - - - -# Trigger mode change + +=} diff --git a/test/known-good/Python/src/modal_models/ModalStateReset.html b/test/known-good/Python/src/modal_models/ModalStateReset.html index 818c6a129..a7b3db367 100644 --- a/test/known-good/Python/src/modal_models/ModalStateReset.html +++ b/test/known-good/Python/src/modal_models/ModalStateReset.html @@ -340,8 +340,13 @@ {= + - self.counter1 = 0 + self.counter1 = 0 + + + + =} @@ -535,8 +540,13 @@ {= + - self.counter2 = -2 + self.counter2 = -2 + + + + =} @@ -1968,6 +1978,13 @@ + + + + +# Trigger mode change + + @@ -1998,17 +2015,16 @@ {= + - modal.next.set(True) + modal.next.set(True) + -=} - - - -# Trigger mode change + +=} diff --git a/test/known-good/Python/src/modal_models/ModalStateResetAuto.html b/test/known-good/Python/src/modal_models/ModalStateResetAuto.html index cf8edd0eb..426d62612 100644 --- a/test/known-good/Python/src/modal_models/ModalStateResetAuto.html +++ b/test/known-good/Python/src/modal_models/ModalStateResetAuto.html @@ -1916,6 +1916,13 @@ + + + + +# Trigger mode change + + @@ -1946,17 +1953,16 @@ {= + - modal.next.set(True) + modal.next.set(True) + -=} - - - -# Trigger mode change + +=} diff --git a/test/known-good/Python/src/modal_models/ModalTimers.html b/test/known-good/Python/src/modal_models/ModalTimers.html index eec9494a7..88ab6b1b0 100644 --- a/test/known-good/Python/src/modal_models/ModalTimers.html +++ b/test/known-good/Python/src/modal_models/ModalTimers.html @@ -1133,6 +1133,13 @@ + + + + +# Trigger mode change + + @@ -1163,17 +1170,16 @@ {= + - modal.next.set(True) + modal.next.set(True) + -=} - - - -# Trigger mode change + +=} diff --git a/test/known-good/Python/src/modal_models/MultipleOutputFeeder_2Connections.html b/test/known-good/Python/src/modal_models/MultipleOutputFeeder_2Connections.html index fd7581eb7..5ccc37c40 100644 --- a/test/known-good/Python/src/modal_models/MultipleOutputFeeder_2Connections.html +++ b/test/known-good/Python/src/modal_models/MultipleOutputFeeder_2Connections.html @@ -258,8 +258,13 @@ {= + + + Two.set() + + - Two.set() + =} @@ -369,8 +374,13 @@ {= + - One.set() + One.set() + + + + =} @@ -1083,6 +1093,13 @@ + + + + +# Trigger mode change + + @@ -1113,23 +1130,29 @@ {= + - modal.next.set(True) + modal.next.set(True) + -=} - - - -# Trigger mode change + +=} + + + + +# Print + + @@ -1154,17 +1177,16 @@ {= + - print(modal.count.value) + print(modal.count.value) + -=} - - - + - -# Print + +=} diff --git a/test/known-good/Python/src/modal_models/MultipleOutputFeeder_ReactionConnections.html b/test/known-good/Python/src/modal_models/MultipleOutputFeeder_ReactionConnections.html index 4eeda3047..ad2678ea3 100644 --- a/test/known-good/Python/src/modal_models/MultipleOutputFeeder_ReactionConnections.html +++ b/test/known-good/Python/src/modal_models/MultipleOutputFeeder_ReactionConnections.html @@ -258,8 +258,13 @@ {= + + + Two.set() + + - Two.set() + =} @@ -359,8 +364,13 @@ {= + + + count.set(counter2.value.value * 10) + + - count.set(counter2.value.value * 10) + =} @@ -388,8 +398,13 @@ {= + + + One.set() + + - One.set() + =} @@ -1102,6 +1117,13 @@ + + + + +# Trigger mode change + + @@ -1132,21 +1154,27 @@ {= + + + modal.next.set(True) + + - modal.next.set(True) + =} + - + + -# Trigger mode change + - - - + +# Print @@ -1173,17 +1201,16 @@ {= + - print(modal.count.value) + print(modal.count.value) + -=} - - - + - -# Print + +=} diff --git a/test/known-good/Python/src/modal_models/util/TraceTesting.html b/test/known-good/Python/src/modal_models/util/TraceTesting.html index bd1b76ae6..b4039a11d 100644 --- a/test/known-good/Python/src/modal_models/util/TraceTesting.html +++ b/test/known-good/Python/src/modal_models/util/TraceTesting.html @@ -213,8 +213,13 @@ {= + + + self.last_reaction_time = lf.time.logical() + + - self.last_reaction_time = lf.time.logical() + =} diff --git a/test/known-good/Python/src/multiport/BankIndexInitializer.html b/test/known-good/Python/src/multiport/BankIndexInitializer.html index e989ebb85..61cb85109 100644 --- a/test/known-good/Python/src/multiport/BankIndexInitializer.html +++ b/test/known-good/Python/src/multiport/BankIndexInitializer.html @@ -25,9 +25,11 @@ {= + - table = [4, 3, 2, 1] + table = [4, 3, 2, 1] + =} @@ -108,8 +110,13 @@ {= + - out.set(self.value) + out.set(self.value) + + + + =} diff --git a/test/known-good/Python/src/multiport/BankToMultiport.html b/test/known-good/Python/src/multiport/BankToMultiport.html index dbd9f3414..fc64fedf8 100644 --- a/test/known-good/Python/src/multiport/BankToMultiport.html +++ b/test/known-good/Python/src/multiport/BankToMultiport.html @@ -79,8 +79,13 @@ {= + - out.set(self.bank_index) + out.set(self.bank_index) + + + + =} diff --git a/test/known-good/Python/src/multiport/Broadcast.html b/test/known-good/Python/src/multiport/Broadcast.html index c9edb4904..59065a692 100644 --- a/test/known-good/Python/src/multiport/Broadcast.html +++ b/test/known-good/Python/src/multiport/Broadcast.html @@ -111,8 +111,13 @@ {= + - out.set(self.value) + out.set(self.value) + + + + =} diff --git a/test/known-good/Python/src/multiport/MultiportFromBank.html b/test/known-good/Python/src/multiport/MultiportFromBank.html index 2d3f78572..efacf005b 100644 --- a/test/known-good/Python/src/multiport/MultiportFromBank.html +++ b/test/known-good/Python/src/multiport/MultiportFromBank.html @@ -128,8 +128,13 @@ {= + - out.set(self.bank_index * self.check_override) + out.set(self.bank_index * self.check_override) + + + + =} diff --git a/test/known-good/Python/src/multiport/MultiportFromBankHierarchy.html b/test/known-good/Python/src/multiport/MultiportFromBankHierarchy.html index 4c7d4f548..66443337e 100644 --- a/test/known-good/Python/src/multiport/MultiportFromBankHierarchy.html +++ b/test/known-good/Python/src/multiport/MultiportFromBankHierarchy.html @@ -151,8 +151,13 @@ {= + - out.set(self.bank_index) + out.set(self.bank_index) + + + + =} diff --git a/test/known-good/Python/src/multiport/MultiportIn.html b/test/known-good/Python/src/multiport/MultiportIn.html index d82c4fd9d..a2cecfaa6 100644 --- a/test/known-good/Python/src/multiport/MultiportIn.html +++ b/test/known-good/Python/src/multiport/MultiportIn.html @@ -242,8 +242,13 @@ {= + - out.set(_in.value) + out.set(_in.value) + + + + =} diff --git a/test/known-good/Python/src/multiport/MultiportInParameterized.html b/test/known-good/Python/src/multiport/MultiportInParameterized.html index 637dd98e6..79fe50dbd 100644 --- a/test/known-good/Python/src/multiport/MultiportInParameterized.html +++ b/test/known-good/Python/src/multiport/MultiportInParameterized.html @@ -242,8 +242,13 @@ {= + - out.set(_in.value) + out.set(_in.value) + + + + =} diff --git a/test/known-good/Python/src/multiport/MultiportOut.html b/test/known-good/Python/src/multiport/MultiportOut.html index 946a4b530..2fb70110c 100644 --- a/test/known-good/Python/src/multiport/MultiportOut.html +++ b/test/known-good/Python/src/multiport/MultiportOut.html @@ -252,8 +252,13 @@ {= + - out.set(_in.value) + out.set(_in.value) + + + + =} diff --git a/test/known-good/Python/src/multiport/PipelineAfter.html b/test/known-good/Python/src/multiport/PipelineAfter.html index cc3c5b92d..236416b17 100644 --- a/test/known-good/Python/src/multiport/PipelineAfter.html +++ b/test/known-good/Python/src/multiport/PipelineAfter.html @@ -66,8 +66,13 @@ {= + - out.set(40) + out.set(40) + + + + =} @@ -142,8 +147,13 @@ {= + - out.set(inp.value + 2) + out.set(inp.value + 2) + + + + =} diff --git a/test/known-good/Python/src/multiport/ReactionsToNested.html b/test/known-good/Python/src/multiport/ReactionsToNested.html index 0bb4d0640..06d36e75d 100644 --- a/test/known-good/Python/src/multiport/ReactionsToNested.html +++ b/test/known-good/Python/src/multiport/ReactionsToNested.html @@ -416,8 +416,13 @@ {= + - d.y[0].set(42) + d.y[0].set(42) + + + + =} @@ -463,8 +468,13 @@ {= + - d.y[1].set(43) + d.y[1].set(43) + + + + =} diff --git a/test/known-good/Python/src/target/AfterNoTypes.html b/test/known-good/Python/src/target/AfterNoTypes.html index 2e2e2223d..c87c9e8e9 100644 --- a/test/known-good/Python/src/target/AfterNoTypes.html +++ b/test/known-good/Python/src/target/AfterNoTypes.html @@ -117,8 +117,13 @@ {= + - y.set(2*x.value); + y.set(2*x.value); + + + + =} @@ -520,8 +525,13 @@ {= + - f.x.set(42) + f.x.set(42) + + + + =} diff --git a/test/known-good/Rust/src/ActionImplicitDelay.html b/test/known-good/Rust/src/ActionImplicitDelay.html index 40643b4cd..ac2f11df3 100644 --- a/test/known-good/Rust/src/ActionImplicitDelay.html +++ b/test/known-good/Rust/src/ActionImplicitDelay.html @@ -131,8 +131,9 @@ = + - + ctx @@ -144,7 +145,11 @@ schedule -(act, Asap); +(act, Asap); + + + + = diff --git a/test/known-good/Rust/src/ActionValuesCleanup.html b/test/known-good/Rust/src/ActionValuesCleanup.html index 73aa17677..e1530ca8d 100644 --- a/test/known-good/Rust/src/ActionValuesCleanup.html +++ b/test/known-good/Rust/src/ActionValuesCleanup.html @@ -340,8 +340,9 @@ = + - + ctx @@ -353,7 +354,11 @@ schedule_with_v -(act, Some(FooDrop { }), Asap) +(act, Some(FooDrop { }), Asap) + + + + = diff --git a/test/known-good/Rust/src/CompositionInitializationOrder.html b/test/known-good/Rust/src/CompositionInitializationOrder.html index a5d3a9638..a82b0fc14 100644 --- a/test/known-good/Rust/src/CompositionInitializationOrder.html +++ b/test/known-good/Rust/src/CompositionInitializationOrder.html @@ -113,8 +113,9 @@ = + - println!( + println!( " @@ -126,7 +127,11 @@ " -); +); + + + + = @@ -174,8 +179,9 @@ = + - println!( + println!( " @@ -187,7 +193,11 @@ " -); +); + + + + = @@ -235,8 +245,9 @@ = + - println!( + println!( " @@ -248,7 +259,11 @@ " -); +); + + + + = diff --git a/test/known-good/Rust/src/CompositionWithPorts.html b/test/known-good/Rust/src/CompositionWithPorts.html index e1a463179..f46b4ed10 100644 --- a/test/known-good/Rust/src/CompositionWithPorts.html +++ b/test/known-good/Rust/src/CompositionWithPorts.html @@ -75,8 +75,9 @@ = + - + ctx @@ -94,7 +95,11 @@ 76600 -) +) + + + + = diff --git a/test/known-good/Rust/src/DependencyOnChildPort.html b/test/known-good/Rust/src/DependencyOnChildPort.html index 18c2e3d89..070392663 100644 --- a/test/known-good/Rust/src/DependencyOnChildPort.html +++ b/test/known-good/Rust/src/DependencyOnChildPort.html @@ -283,8 +283,9 @@ = + - + ctx @@ -302,7 +303,11 @@ 444 -); +); + + + + = @@ -339,8 +344,9 @@ = + - assert!( + assert!( ctx @@ -382,7 +388,11 @@ true -; +; + + + + = diff --git a/test/known-good/Rust/src/DependencyThroughChildPort.html b/test/known-good/Rust/src/DependencyThroughChildPort.html index ccf087885..0a28f9821 100644 --- a/test/known-good/Rust/src/DependencyThroughChildPort.html +++ b/test/known-good/Rust/src/DependencyThroughChildPort.html @@ -631,8 +631,9 @@ = + - + ctx @@ -650,7 +651,11 @@ 1 -); +); + + + + = diff --git a/test/known-good/Rust/src/DependencyUseAccessible.html b/test/known-good/Rust/src/DependencyUseAccessible.html index 4aefb27e0..a9b90ac6f 100644 --- a/test/known-good/Rust/src/DependencyUseAccessible.html +++ b/test/known-good/Rust/src/DependencyUseAccessible.html @@ -173,8 +173,9 @@ = + - + ctx @@ -192,7 +193,11 @@ 0 -); +); + + + + = @@ -223,8 +228,9 @@ = + - + ctx @@ -260,7 +266,11 @@ 10 -) +) + + + + = @@ -273,6 +283,13 @@ + + + + +// has a dependency but doesn't use it + + @@ -291,8 +308,9 @@ = + - + ctx @@ -310,16 +328,17 @@ 2 -); +); + + + + = -} - - -// has a dependency but doesn't use it +} diff --git a/test/known-good/Rust/src/DependencyUseNonTrigger.html b/test/known-good/Rust/src/DependencyUseNonTrigger.html index 14381c57d..630febc2a 100644 --- a/test/known-good/Rust/src/DependencyUseNonTrigger.html +++ b/test/known-good/Rust/src/DependencyUseNonTrigger.html @@ -85,8 +85,9 @@ = + - + ctx @@ -104,7 +105,11 @@ 0 -); +); + + + + = @@ -194,8 +199,9 @@ = + - panic!( + panic!( " @@ -207,7 +213,11 @@ " -) +) + + + + = @@ -238,8 +248,9 @@ = + - println!( + println!( " @@ -251,7 +262,11 @@ " -) +) + + + + = diff --git a/test/known-good/Rust/src/Import.html b/test/known-good/Rust/src/Import.html index c23a9e666..5f4a587e0 100644 --- a/test/known-good/Rust/src/Import.html +++ b/test/known-good/Rust/src/Import.html @@ -139,8 +139,9 @@ = + - + ctx @@ -158,7 +159,11 @@ 42 -); +); + + + + = diff --git a/test/known-good/Rust/src/ImportPreambleItem.html b/test/known-good/Rust/src/ImportPreambleItem.html index c2919118a..6609b34f0 100644 --- a/test/known-good/Rust/src/ImportPreambleItem.html +++ b/test/known-good/Rust/src/ImportPreambleItem.html @@ -129,8 +129,9 @@ = + - + ctx @@ -160,7 +161,11 @@ some_fun -()); +()); + + + + = diff --git a/test/known-good/Rust/src/MainReactorParam.html b/test/known-good/Rust/src/MainReactorParam.html index 4fbaf1927..9fe53513d 100644 --- a/test/known-good/Rust/src/MainReactorParam.html +++ b/test/known-good/Rust/src/MainReactorParam.html @@ -145,8 +145,9 @@ = + - assert_eq!( + assert_eq!( self @@ -170,7 +171,11 @@ two -); +); + + + + = diff --git a/test/known-good/Rust/src/Minimal.html b/test/known-good/Rust/src/Minimal.html index 564e26d2d..578bef237 100644 --- a/test/known-good/Rust/src/Minimal.html +++ b/test/known-good/Rust/src/Minimal.html @@ -53,8 +53,9 @@ = + - println!( + println!( " @@ -66,7 +67,11 @@ " -); +); + + + + = diff --git a/test/known-good/Rust/src/MovingAverage.html b/test/known-good/Rust/src/MovingAverage.html index 2d20e9d08..050f33e39 100644 --- a/test/known-good/Rust/src/MovingAverage.html +++ b/test/known-good/Rust/src/MovingAverage.html @@ -754,8 +754,9 @@ = + - + const @@ -809,7 +810,11 @@ 3.5 -]; +]; + + + + = diff --git a/test/known-good/Rust/src/PortConnectionInSelfOutSelf.html b/test/known-good/Rust/src/PortConnectionInSelfOutSelf.html index 463cc2831..3696d2a73 100644 --- a/test/known-good/Rust/src/PortConnectionInSelfOutSelf.html +++ b/test/known-good/Rust/src/PortConnectionInSelfOutSelf.html @@ -395,8 +395,9 @@ = + - assert!( + assert!( self @@ -420,7 +421,11 @@ " -) +) + + + + = diff --git a/test/known-good/Rust/src/PortConnectionOutChildOutSelf.html b/test/known-good/Rust/src/PortConnectionOutChildOutSelf.html index 30cf79861..cc6cb2bd4 100644 --- a/test/known-good/Rust/src/PortConnectionOutChildOutSelf.html +++ b/test/known-good/Rust/src/PortConnectionOutChildOutSelf.html @@ -417,8 +417,9 @@ = + - assert!( + assert!( self @@ -442,7 +443,11 @@ " -) +) + + + + = @@ -665,8 +670,9 @@ = + - assert!( + assert!( self @@ -690,7 +696,11 @@ " -) +) + + + + = diff --git a/test/known-good/Rust/src/PortValueCleanup.html b/test/known-good/Rust/src/PortValueCleanup.html index efe61c157..17b0bd0a6 100644 --- a/test/known-good/Rust/src/PortValueCleanup.html +++ b/test/known-good/Rust/src/PortValueCleanup.html @@ -79,8 +79,9 @@ = + - + ctx @@ -98,7 +99,11 @@ 150 -); +); + + + + = diff --git a/test/known-good/Rust/src/Preamble.html b/test/known-good/Rust/src/Preamble.html index d2d3bf065..f01f3b10b 100644 --- a/test/known-good/Rust/src/Preamble.html +++ b/test/known-good/Rust/src/Preamble.html @@ -112,8 +112,9 @@ = + - println!( + println!( " @@ -134,7 +135,11 @@ 42 -)); +)); + + + + = diff --git a/test/known-good/Rust/src/ReactionLabels.html b/test/known-good/Rust/src/ReactionLabels.html index bfc054489..1d1796ed0 100644 --- a/test/known-good/Rust/src/ReactionLabels.html +++ b/test/known-good/Rust/src/ReactionLabels.html @@ -53,6 +53,13 @@ + + + + +// @label foo + + @@ -65,8 +72,9 @@ = + - println!( + println!( " @@ -78,16 +86,17 @@ " -); +); + + + + = -} - - -// @label foo +} diff --git a/test/known-good/Rust/src/SingleFileGeneration.html b/test/known-good/Rust/src/SingleFileGeneration.html index 4b9e2e089..c90c22bc4 100644 --- a/test/known-good/Rust/src/SingleFileGeneration.html +++ b/test/known-good/Rust/src/SingleFileGeneration.html @@ -96,8 +96,9 @@ = + - + ctx @@ -115,7 +116,11 @@ 76600 -) +) + + + + = diff --git a/test/known-good/Rust/src/StopNoEvent.html b/test/known-good/Rust/src/StopNoEvent.html index eba7ffa26..b9557b57e 100644 --- a/test/known-good/Rust/src/StopNoEvent.html +++ b/test/known-good/Rust/src/StopNoEvent.html @@ -59,8 +59,9 @@ = + - println!( + println!( " @@ -72,7 +73,11 @@ " -); +); + + + + = diff --git a/test/known-good/Rust/src/TimeState.html b/test/known-good/Rust/src/TimeState.html index c0f1b3e84..6bc53218d 100644 --- a/test/known-good/Rust/src/TimeState.html +++ b/test/known-good/Rust/src/TimeState.html @@ -87,8 +87,9 @@ = + - assert_eq!( + assert_eq!( 500 @@ -112,7 +113,11 @@ as_millis -()); +()); + + + + = diff --git a/test/known-good/Rust/src/Timers.html b/test/known-good/Rust/src/Timers.html index 61591a595..13ca75333 100644 --- a/test/known-good/Rust/src/Timers.html +++ b/test/known-good/Rust/src/Timers.html @@ -170,8 +170,9 @@ = + - + self @@ -198,7 +199,11 @@ 2 -; +; + + + + = @@ -223,8 +228,9 @@ = + - + self @@ -251,7 +257,11 @@ 1 -; +; + + + + = diff --git a/test/known-good/Rust/src/concurrent/AsyncCallback.html b/test/known-good/Rust/src/concurrent/AsyncCallback.html index 66a7649b3..0237bfe3b 100644 --- a/test/known-good/Rust/src/concurrent/AsyncCallback.html +++ b/test/known-good/Rust/src/concurrent/AsyncCallback.html @@ -110,8 +110,9 @@ = + - use + use std @@ -123,7 +124,11 @@ thread -; +; + + + + = diff --git a/test/known-good/Rust/src/generics/CtorParamGeneric.html b/test/known-good/Rust/src/generics/CtorParamGeneric.html index 8f19e655a..6670e6500 100644 --- a/test/known-good/Rust/src/generics/CtorParamGeneric.html +++ b/test/known-good/Rust/src/generics/CtorParamGeneric.html @@ -365,8 +365,9 @@ = + - + ctx @@ -384,7 +385,11 @@ 23 -); +); + + + + = diff --git a/test/known-good/Rust/src/generics/CtorParamGenericInst.html b/test/known-good/Rust/src/generics/CtorParamGenericInst.html index 5d6bc8cce..a9abb5ba1 100644 --- a/test/known-good/Rust/src/generics/CtorParamGenericInst.html +++ b/test/known-good/Rust/src/generics/CtorParamGenericInst.html @@ -606,8 +606,9 @@ = + - + ctx @@ -625,7 +626,11 @@ 23 -); +); + + + + = diff --git a/test/known-good/Rust/src/generics/GenericComplexType.html b/test/known-good/Rust/src/generics/GenericComplexType.html index 8ce098a18..062316e97 100644 --- a/test/known-good/Rust/src/generics/GenericComplexType.html +++ b/test/known-good/Rust/src/generics/GenericComplexType.html @@ -270,8 +270,9 @@ = + - + ctx @@ -289,7 +290,11 @@ 20 - ms)]); + ms)]); + + + + = diff --git a/test/known-good/Rust/src/generics/GenericReactor.html b/test/known-good/Rust/src/generics/GenericReactor.html index 18e2ef6af..dd9717493 100644 --- a/test/known-good/Rust/src/generics/GenericReactor.html +++ b/test/known-good/Rust/src/generics/GenericReactor.html @@ -313,8 +313,9 @@ = + - + ctx @@ -332,7 +333,11 @@ 444 -); +); + + + + = @@ -369,8 +374,9 @@ = + - assert!( + assert!( ctx @@ -412,7 +418,11 @@ true -; +; + + + + = diff --git a/test/known-good/Rust/src/lib/Imported.html b/test/known-good/Rust/src/lib/Imported.html index b49958192..2b8b4ef3c 100644 --- a/test/known-good/Rust/src/lib/Imported.html +++ b/test/known-good/Rust/src/lib/Imported.html @@ -149,8 +149,9 @@ = + - + ctx @@ -180,7 +181,11 @@ . -unwrap()); +unwrap()); + + + + = diff --git a/test/known-good/Rust/src/multiport/ConnectionToSelfBank.html b/test/known-good/Rust/src/multiport/ConnectionToSelfBank.html index 45236bff9..0836b2530 100644 --- a/test/known-good/Rust/src/multiport/ConnectionToSelfBank.html +++ b/test/known-good/Rust/src/multiport/ConnectionToSelfBank.html @@ -168,8 +168,9 @@ = + - + ctx @@ -193,7 +194,11 @@ bank_index -); +); + + + + = diff --git a/test/known-good/Rust/src/multiport/CycledLhs_SelfLoop.html b/test/known-good/Rust/src/multiport/CycledLhs_SelfLoop.html index 8613adb03..f5abdcb63 100644 --- a/test/known-good/Rust/src/multiport/CycledLhs_SelfLoop.html +++ b/test/known-good/Rust/src/multiport/CycledLhs_SelfLoop.html @@ -187,8 +187,9 @@ = + - + ctx @@ -218,7 +219,11 @@ 1 - us)); + us)); + + + + = @@ -249,8 +254,9 @@ = + - + ctx @@ -274,7 +280,11 @@ get -(act)); +(act)); + + + + = diff --git a/test/known-good/Rust/src/multiport/CycledLhs_Single.html b/test/known-good/Rust/src/multiport/CycledLhs_Single.html index 9117abf87..2c409bde6 100644 --- a/test/known-good/Rust/src/multiport/CycledLhs_Single.html +++ b/test/known-good/Rust/src/multiport/CycledLhs_Single.html @@ -205,8 +205,9 @@ = + - + ctx @@ -242,7 +243,11 @@ 1 - us)); + us)); + + + + = diff --git a/test/known-good/Rust/src/multiport/FullyConnected.html b/test/known-good/Rust/src/multiport/FullyConnected.html index 01a6205ef..b28d5ac45 100644 --- a/test/known-good/Rust/src/multiport/FullyConnected.html +++ b/test/known-good/Rust/src/multiport/FullyConnected.html @@ -119,8 +119,9 @@ = + - + ctx @@ -144,7 +145,11 @@ bank_index -); +); + + + + = diff --git a/test/known-good/Rust/src/multiport/MultiportFromBank.html b/test/known-good/Rust/src/multiport/MultiportFromBank.html index a20bebbb0..dabf9fa6a 100644 --- a/test/known-good/Rust/src/multiport/MultiportFromBank.html +++ b/test/known-good/Rust/src/multiport/MultiportFromBank.html @@ -142,8 +142,9 @@ = + - + ctx @@ -167,7 +168,11 @@ bank_index -); +); + + + + = diff --git a/test/known-good/Rust/src/multiport/ReadOutputOfContainedBank.html b/test/known-good/Rust/src/multiport/ReadOutputOfContainedBank.html index 93f712d17..de0729555 100644 --- a/test/known-good/Rust/src/multiport/ReadOutputOfContainedBank.html +++ b/test/known-good/Rust/src/multiport/ReadOutputOfContainedBank.html @@ -123,8 +123,9 @@ = + - + ctx @@ -160,7 +161,11 @@ bank_index -); +); + + + + = diff --git a/test/known-good/Rust/src/multiport/WidthWithParameter.html b/test/known-good/Rust/src/multiport/WidthWithParameter.html index e58984aca..ef7b4f995 100644 --- a/test/known-good/Rust/src/multiport/WidthWithParameter.html +++ b/test/known-good/Rust/src/multiport/WidthWithParameter.html @@ -220,8 +220,9 @@ = + - println!( + println!( " @@ -233,7 +234,11 @@ " -); +); + + + + = diff --git a/test/known-good/Rust/src/multiport/WriteInputOfContainedBank.html b/test/known-good/Rust/src/multiport/WriteInputOfContainedBank.html index 0b7672d18..a168b5b39 100644 --- a/test/known-good/Rust/src/multiport/WriteInputOfContainedBank.html +++ b/test/known-good/Rust/src/multiport/WriteInputOfContainedBank.html @@ -293,8 +293,9 @@ = + - assert_eq!( + assert_eq!( self @@ -324,7 +325,11 @@ " -); +); + + + + = diff --git a/test/known-good/Rust/src/target/CargoDependencyOnRuntime.html b/test/known-good/Rust/src/target/CargoDependencyOnRuntime.html index 726ad1a02..0f4732c09 100644 --- a/test/known-good/Rust/src/target/CargoDependencyOnRuntime.html +++ b/test/known-good/Rust/src/target/CargoDependencyOnRuntime.html @@ -95,8 +95,9 @@ = + - println!( + println!( " @@ -108,7 +109,11 @@ " -) +) + + + + = diff --git a/test/known-good/Rust/src/target/CliFeature.html b/test/known-good/Rust/src/target/CliFeature.html index 1d1e790a9..434b87366 100644 --- a/test/known-good/Rust/src/target/CliFeature.html +++ b/test/known-good/Rust/src/target/CliFeature.html @@ -134,8 +134,9 @@ = + - println!( + println!( " @@ -147,7 +148,11 @@ " -); +); + + + + = diff --git a/test/known-good/TypeScript/src/ActionDelay.html b/test/known-good/TypeScript/src/ActionDelay.html index 81a463051..11bd0c217 100644 --- a/test/known-good/TypeScript/src/ActionDelay.html +++ b/test/known-good/TypeScript/src/ActionDelay.html @@ -234,14 +234,19 @@ = + - y_out + y_out = - y_state; + y_state; + + + + = @@ -321,8 +326,9 @@ = + - out + out = @@ -334,7 +340,11 @@ 1 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/ActionWithNoReaction.html b/test/known-good/TypeScript/src/ActionWithNoReaction.html index 08d19e7d5..767df7243 100644 --- a/test/known-good/TypeScript/src/ActionWithNoReaction.html +++ b/test/known-good/TypeScript/src/ActionWithNoReaction.html @@ -611,8 +611,9 @@ = + - + f @@ -636,7 +637,11 @@ 42 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/After.html b/test/known-good/TypeScript/src/After.html index f861330f7..a08959cbc 100644 --- a/test/known-good/TypeScript/src/After.html +++ b/test/known-good/TypeScript/src/After.html @@ -131,8 +131,9 @@ = + - y + y = @@ -150,7 +151,11 @@ * - (x as number); + (x as number); + + + + = @@ -687,8 +692,9 @@ = + - + f @@ -712,7 +718,11 @@ 42 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/DanglingOutput.html b/test/known-good/TypeScript/src/DanglingOutput.html index 7dc7b12a1..28b038d8d 100644 --- a/test/known-good/TypeScript/src/DanglingOutput.html +++ b/test/known-good/TypeScript/src/DanglingOutput.html @@ -87,8 +87,9 @@ = + - out + out = @@ -100,7 +101,11 @@ 1 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/DelayInt.html b/test/known-good/TypeScript/src/DelayInt.html index 2a0554f06..7d3c5ba19 100644 --- a/test/known-good/TypeScript/src/DelayInt.html +++ b/test/known-good/TypeScript/src/DelayInt.html @@ -151,8 +151,9 @@ = + - + actions @@ -170,7 +171,11 @@ schedule -( delay, x as number); +( delay, x as number); + + + + = @@ -969,8 +974,9 @@ = + - + d @@ -994,7 +1000,11 @@ 42 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/DelayedAction.html b/test/known-good/TypeScript/src/DelayedAction.html index 9cb4f54f5..365912725 100644 --- a/test/known-good/TypeScript/src/DelayedAction.html +++ b/test/known-good/TypeScript/src/DelayedAction.html @@ -157,8 +157,9 @@ = + - + actions @@ -194,7 +195,11 @@ 100 -), null); +), null); + + + + = diff --git a/test/known-good/TypeScript/src/DelayedReaction.html b/test/known-good/TypeScript/src/DelayedReaction.html index 54335e747..5baf7d70d 100644 --- a/test/known-good/TypeScript/src/DelayedReaction.html +++ b/test/known-good/TypeScript/src/DelayedReaction.html @@ -83,8 +83,9 @@ = + - out + out = @@ -96,7 +97,11 @@ 1 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/Determinism.html b/test/known-good/TypeScript/src/Determinism.html index b432f683d..57ba2c0b6 100644 --- a/test/known-good/TypeScript/src/Determinism.html +++ b/test/known-good/TypeScript/src/Determinism.html @@ -79,8 +79,9 @@ = + - y + y = @@ -92,7 +93,11 @@ 1 -; +; + + + + = @@ -438,14 +443,19 @@ = + - y + y = - x as number; + x as number; + + + + = diff --git a/test/known-good/TypeScript/src/Gain.html b/test/known-good/TypeScript/src/Gain.html index 7dbcc0f2d..e8b5c1be1 100644 --- a/test/known-good/TypeScript/src/Gain.html +++ b/test/known-good/TypeScript/src/Gain.html @@ -113,8 +113,9 @@ = + - y + y = @@ -126,7 +127,11 @@ * - scale; + scale; + + + + = @@ -610,8 +615,9 @@ = + - + g @@ -635,7 +641,11 @@ 1 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/HelloWorld.html b/test/known-good/TypeScript/src/HelloWorld.html index 55f09b349..699547375 100644 --- a/test/known-good/TypeScript/src/HelloWorld.html +++ b/test/known-good/TypeScript/src/HelloWorld.html @@ -51,8 +51,9 @@ = + - + console @@ -76,7 +77,11 @@ " -); +); + + + + = diff --git a/test/known-good/TypeScript/src/Hierarchy2.html b/test/known-good/TypeScript/src/Hierarchy2.html index 13a27d4a3..7ad3f7600 100644 --- a/test/known-good/TypeScript/src/Hierarchy2.html +++ b/test/known-good/TypeScript/src/Hierarchy2.html @@ -137,8 +137,9 @@ = + - out + out = @@ -150,7 +151,11 @@ 1 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/Import.html b/test/known-good/TypeScript/src/Import.html index 0acd82d8a..68bcf4aeb 100644 --- a/test/known-good/TypeScript/src/Import.html +++ b/test/known-good/TypeScript/src/Import.html @@ -162,8 +162,9 @@ = + - + a @@ -187,7 +188,11 @@ 42 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/Microsteps.html b/test/known-good/TypeScript/src/Microsteps.html index ea0011dd7..c35da0b5f 100644 --- a/test/known-good/TypeScript/src/Microsteps.html +++ b/test/known-good/TypeScript/src/Microsteps.html @@ -605,8 +605,9 @@ = + - + d @@ -630,7 +631,11 @@ 1 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/Minimal.html b/test/known-good/TypeScript/src/Minimal.html index 2d86d1681..6bab7a515 100644 --- a/test/known-good/TypeScript/src/Minimal.html +++ b/test/known-good/TypeScript/src/Minimal.html @@ -61,8 +61,9 @@ = + - + console @@ -86,7 +87,11 @@ " -); +); + + + + = diff --git a/test/known-good/TypeScript/src/MultipleContained.html b/test/known-good/TypeScript/src/MultipleContained.html index 4aaff210e..85c52d4a7 100644 --- a/test/known-good/TypeScript/src/MultipleContained.html +++ b/test/known-good/TypeScript/src/MultipleContained.html @@ -123,8 +123,9 @@ = + - trigger + trigger = @@ -136,7 +137,11 @@ 42 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/ParameterizedState.html b/test/known-good/TypeScript/src/ParameterizedState.html index 923e694ae..b2abdf65c 100644 --- a/test/known-good/TypeScript/src/ParameterizedState.html +++ b/test/known-good/TypeScript/src/ParameterizedState.html @@ -87,8 +87,9 @@ = + - + console @@ -118,7 +119,11 @@ + - baz); + baz); + + + + = diff --git a/test/known-good/TypeScript/src/PhysicalConnection.html b/test/known-good/TypeScript/src/PhysicalConnection.html index d58585fb7..63fea545d 100644 --- a/test/known-good/TypeScript/src/PhysicalConnection.html +++ b/test/known-good/TypeScript/src/PhysicalConnection.html @@ -85,8 +85,9 @@ = + - y + y = @@ -97,8 +98,9 @@ 42 + - + = diff --git a/test/known-good/TypeScript/src/ReadOutputOfContainedReactor.html b/test/known-good/TypeScript/src/ReadOutputOfContainedReactor.html index 0851705ad..32752fcd8 100644 --- a/test/known-good/TypeScript/src/ReadOutputOfContainedReactor.html +++ b/test/known-good/TypeScript/src/ReadOutputOfContainedReactor.html @@ -79,8 +79,9 @@ = + - out + out = @@ -92,7 +93,11 @@ 42 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/Schedule.html b/test/known-good/TypeScript/src/Schedule.html index bc7cdefa6..e16cf927b 100644 --- a/test/known-good/TypeScript/src/Schedule.html +++ b/test/known-good/TypeScript/src/Schedule.html @@ -92,8 +92,9 @@ = + - + actions @@ -129,7 +130,11 @@ 200 -), null) +), null) + + + + = @@ -460,8 +465,9 @@ = + - + a @@ -485,7 +491,11 @@ 1 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/ScheduleLogicalAction.html b/test/known-good/TypeScript/src/ScheduleLogicalAction.html index b7e0cef5a..cad0276c7 100644 --- a/test/known-good/TypeScript/src/ScheduleLogicalAction.html +++ b/test/known-good/TypeScript/src/ScheduleLogicalAction.html @@ -266,8 +266,9 @@ = + - y + y = @@ -282,7 +283,11 @@ 42 -; +; + + + + = @@ -795,8 +800,9 @@ = + - + f @@ -820,7 +826,11 @@ 42 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/SendingInside2.html b/test/known-good/TypeScript/src/SendingInside2.html index 30066028a..5a19d11b5 100644 --- a/test/known-good/TypeScript/src/SendingInside2.html +++ b/test/known-good/TypeScript/src/SendingInside2.html @@ -255,8 +255,9 @@ = + - + p @@ -280,7 +281,11 @@ 1 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/SlowingClock.html b/test/known-good/TypeScript/src/SlowingClock.html index b2ba64ec9..e59aded19 100644 --- a/test/known-good/TypeScript/src/SlowingClock.html +++ b/test/known-good/TypeScript/src/SlowingClock.html @@ -209,8 +209,9 @@ = + - + actions @@ -234,7 +235,11 @@ 0 -, null); +, null); + + + + = diff --git a/test/known-good/TypeScript/src/Stride.html b/test/known-good/TypeScript/src/Stride.html index 8d1dc3dd6..071b26eae 100644 --- a/test/known-good/TypeScript/src/Stride.html +++ b/test/known-good/TypeScript/src/Stride.html @@ -289,8 +289,9 @@ = + - + console @@ -320,7 +321,11 @@ + - x); + x); + + + + = diff --git a/test/known-good/TypeScript/src/TimeLimit.html b/test/known-good/TypeScript/src/TimeLimit.html index e600729d9..f04eb29d2 100644 --- a/test/known-good/TypeScript/src/TimeLimit.html +++ b/test/known-good/TypeScript/src/TimeLimit.html @@ -628,8 +628,9 @@ = + - + util @@ -641,7 +642,11 @@ requestStop -() +() + + + + = diff --git a/test/known-good/TypeScript/src/TimeState.html b/test/known-good/TypeScript/src/TimeState.html index 8eacb2cc6..41adc0bdd 100644 --- a/test/known-good/TypeScript/src/TimeState.html +++ b/test/known-good/TypeScript/src/TimeState.html @@ -105,8 +105,9 @@ = + - + console @@ -136,7 +137,11 @@ + - baz); + baz); + + + + = diff --git a/test/known-good/TypeScript/src/Wcet.html b/test/known-good/TypeScript/src/Wcet.html index 46ea080c8..ddf04e786 100644 --- a/test/known-good/TypeScript/src/Wcet.html +++ b/test/known-good/TypeScript/src/Wcet.html @@ -391,8 +391,9 @@ = + - + console @@ -422,7 +423,11 @@ + - x); + x); + + + + = diff --git a/test/known-good/TypeScript/src/federated/DistributedDoublePort.html b/test/known-good/TypeScript/src/federated/DistributedDoublePort.html index cefc9d015..04d81f1b7 100644 --- a/test/known-good/TypeScript/src/federated/DistributedDoublePort.html +++ b/test/known-good/TypeScript/src/federated/DistributedDoublePort.html @@ -285,8 +285,9 @@ = + - + actions @@ -319,7 +320,11 @@ + -); +); + + + + = @@ -350,14 +355,19 @@ = + - out + out = - act; + act; + + + + = @@ -705,8 +715,9 @@ = + - + console @@ -730,7 +741,11 @@ " -); +); + + + + = diff --git a/test/known-good/TypeScript/src/federated/HelloDistributed.html b/test/known-good/TypeScript/src/federated/HelloDistributed.html index 9f19e6003..62f947b2c 100644 --- a/test/known-good/TypeScript/src/federated/HelloDistributed.html +++ b/test/known-good/TypeScript/src/federated/HelloDistributed.html @@ -282,8 +282,9 @@ = + - + console @@ -307,7 +308,11 @@ " -); +); + + + + = @@ -713,8 +718,9 @@ = + - + console @@ -738,7 +744,11 @@ " -); +); + + + + = diff --git a/test/known-good/TypeScript/src/federated/StopAtShutdown.html b/test/known-good/TypeScript/src/federated/StopAtShutdown.html index 6cd462d97..dd78b7622 100644 --- a/test/known-good/TypeScript/src/federated/StopAtShutdown.html +++ b/test/known-good/TypeScript/src/federated/StopAtShutdown.html @@ -115,8 +115,9 @@ = + - + console @@ -140,7 +141,11 @@ " -); +); + + + + = @@ -165,8 +170,9 @@ = + - + console @@ -190,7 +196,11 @@ " -); +); + + + + = @@ -221,8 +231,9 @@ = + - + util @@ -234,7 +245,11 @@ requestStop -(); +(); + + + + = @@ -330,8 +345,9 @@ = + - out + out = @@ -343,7 +359,11 @@ 1 -; +; + + + + = @@ -374,8 +394,9 @@ = + - + util @@ -387,7 +408,11 @@ requestStop -(); +(); + + + + = diff --git a/test/known-good/TypeScript/src/federated/TopLevelArtifacts.html b/test/known-good/TypeScript/src/federated/TopLevelArtifacts.html index 975257d6d..b761561eb 100644 --- a/test/known-good/TypeScript/src/federated/TopLevelArtifacts.html +++ b/test/known-good/TypeScript/src/federated/TopLevelArtifacts.html @@ -341,8 +341,9 @@ = + - successes + successes + @@ -351,7 +352,11 @@ + -; +; + + + + = @@ -450,8 +455,9 @@ = + - successes + successes + @@ -460,7 +466,11 @@ + -; +; + + + + = diff --git a/test/known-good/TypeScript/src/federated/failing/DistributedCountPhysicalAfterDelay.html b/test/known-good/TypeScript/src/federated/failing/DistributedCountPhysicalAfterDelay.html deleted file mode 100644 index 3523511a0..000000000 --- a/test/known-good/TypeScript/src/federated/failing/DistributedCountPhysicalAfterDelay.html +++ /dev/null @@ -1,757 +0,0 @@ - -/** - - - - * Test a distributed system where a federation receives messages only over connections that are - - - - * marked 'physical' (using the ~> arrow) with an after delay. The receiver verifies that the after - - - - * delay is correctly imposed. - - - - * - - - - * @author Edward A. Lee - - - - * @author Soroush Bateni - - - - * @author Byeong-gil Jun - - - - - - -*/ - - - -target - - - - - -TypeScript - - - { - - - - logging - - -: - - -debug - - -, - - - - keepalive - - -: - - -true - - - -} - - - - - - - -import - - - - - -Count - - - - - -from - - - - - -" - - -../lib/Count.lf - - -" - - - - - - - -reactor - - - - - -Print - - - { - - - - - - -input - - - - - -inp - - -: - - - - - -number - - - - - - -state - - - - - -c - - -: - - - - - -number - - - - - -= - - - - - -1 - - - - - - - - - - -reaction - - -(inp) { - - -= - - - - - - -const - - - elapsedTime - - -= - - - - - -util - - -. - - -getElapsedLogicalTime - - -(); - - - - - - -console - - -. - - -log - - -(`At - - -time - - - ${elapsedTime}, received ${inp}`); - - - - if (inp ! - - -= - - -= - - - c) { - - - - - - -util - - -. - - -requestErrorStop - - -(`ERROR: - - -Expected - - - to receive ${c} - - -. - - -`); - - - - } - - - - if (! - - -elapsedTime - - -. - - -isLaterThan - - -( - - -TimeValue - - -. - - -msec - - -( - - -600 - - -))) { - - - - - - -util - - -. - - -requestErrorStop - - -(`ERROR: - - -Expected - - - received - - -time - - - to be strictly greater than ${ - - -TimeValue - - -. - - -msec - - -( - - -600 - - -)}`); - - - - } - - - - c - - -+ - - -+ - - -; - - - - - - -console - - -. - - -log - - -(`c - - -= - - - ${c}`); - - - - - - -util - - -. - - -requestStop - - -(); - - - - - - -= - - -} - - - - - - - - - - -reaction - - -( - - -shutdown - - -) { - - -= - - - - if (c ! - - -= - - -= - - - - - -2 - - -) { - - - - - - -util - - -. - - -requestErrorStop - - -(`ERROR: - - -Expected - - - to receive - - -1 - - - item - - -. - - - Received ${c - - -- - - - - - -1 - - -} - - -. - - -`); - - - - } else { - - - - - - -console - - -. - - -log - - -( - - -" - - -SUCCESS: Successfully received 1 item. - - -" - - -); - - - - } - - - - - - -= - - -} - - - -} - - - - - - - -federated - - - - - -reactor - - - - - -at - - - localhost { - - - - - - -c - - - - - -= - - - - - -new - - - - - -Count - - -(offset - - -= - - - - - -200 - - - - - -msec - - -, period - - -= - - - - - -0 - - -) - - - - - - -p - - - - - -= - - - - - -new - - - - - -Print - - -() - - - - - - -c - - -. - - -out - - - - - -~> - - - - - -p - - -. - - -inp - - - - - -after - - - - - -400 - - - - - -msec - - - - - -// Indicating a 'physical' connection with a 400 msec after delay. - - - -} - - - - - - diff --git a/test/known-good/TypeScript/src/federated/failing/LoopDistributedCentralized.html b/test/known-good/TypeScript/src/federated/failing/LoopDistributedCentralized.html deleted file mode 100644 index 0dbfa5365..000000000 --- a/test/known-good/TypeScript/src/federated/failing/LoopDistributedCentralized.html +++ /dev/null @@ -1,1016 +0,0 @@ - -/** - - - - * This tests a feedback loop with physical actions and centralized coordination. - - - - * - - - - * @author Edward A. Lee - - - - * @author Hokeun Kim - - - - - - -*/ - - - -target - - - - - -TypeScript - - - { - - - - timeout - - -: - - -5 - - - - - -sec - - - -} - - - - - - - -reactor - - - - - -Looper - - -(incr: - - -number - - - - - -= - - - - - -1 - - -, delay: - - -time - - - - - -= - - - - - -0 - - - - - -msec - - -) { - - - - - - -input - - - - - -inp - - -: - - - - - -number - - - - - - -output - - - - - -out - - -: - - - - - -number - - - - - - -physical - - - - - -action - - - - - -a - - -(delay) - - - - - - -state - - - - - -count - - -: - - - - - -number - - - - - -= - - - - - -0 - - - - - - - - - - -preamble - - - { - - -= - - - - let stop - - -= - - - - - -false - - -; - - - - - - -// Function to trigger an action once every second. - - - - function ping(act: - - -any - - -) { - - - - if (!stop) { - - - - - - -console - - -. - - -log - - -( - - -" - - -Scheduling action. - - -" - - -); - - - - - - -act - - -. - - -schedule - - -( - - -0 - - -, null); - - - - setTimeout(ping, - - -1000 - - -, act); - - - - } - - - - } - - - - - - -= - - -} - - - - - - - - - - -reaction - - -( - - -startup - - -) - - --> - - - a { - - -= - - - - - - -// Start the ping function for triggering an action every second. - - - - - - -console - - -. - - -log - - -( - - -" - - -Starting ping function. - - -" - - -); - - - - ping( - - -actions - - -. - - -a - - -); - - - - - - -= - - -} - - - - - - - - - - -reaction - - -(a) - - --> - - - out { - - -= - - - - out - - -= - - - count; - - - - count - - -+ - - -= - - - incr; - - - - - - -= - - -} - - - - - - - - - - -reaction - - -(inp) { - - -= - - - - let - - -logical - - - - - -= - - - - - -util - - -. - - -getCurrentLogicalTime - - -(); - - - - let - - -physical - - - - - -= - - - - - -util - - -. - - -getCurrentPhysicalTime - - -(); - - - - - - - - let time_lag - - -= - - - - - -physical - - -. - - -subtract - - -( - - -logical - - -); - - - - - - - - - - -console - - -. - - -log - - -( - - -" - - -Received - - -" - - - - - -+ - - - inp - - -+ - - - - - -" - - -. Logical time is behind physical time by - - -" - - - - - -+ - - - time_lag - - -+ - - - - - -" - - -. - - -" - - -); - - - - - - -= - - -} - - - - - - - - - - -reaction - - -( - - -shutdown - - -) { - - -= - - - - - - -console - - -. - - -log - - -( - - -" - - -******* Shutdown invoked. - - -" - - -); - - - - - - -// Stop the ping function that is scheduling actions. - - - - stop - - -= - - - - - -true - - -; - - - - if (count ! - - -= - - - - - -5 - - - - - -* - - - incr) { - - - - - - -util - - -. - - -requestErrorStop - - -( - - -" - - -Failed to receive all five expected inputs. - - -" - - -); - - - - } - - - - - - -= - - -} - - - -} - - - - - - - -federated - - - - - -reactor - - - - - -LoopDistributedCentralized - - -(delay: - - -time - - - - - -= - - - - - -0 - - -) { - - - - - - -left - - - - - -= - - - - - -new - - - - - -Looper - - -() - - - - - - -right - - - - - -= - - - - - -new - - - - - -Looper - - -(incr - - -= - - - - - -- - - -1 - - -) - - - - - - -left - - -. - - -out - - - - - --> - - - - - -right - - -. - - -inp - - - - - - -right - - -. - - -out - - - - - --> - - - - - -left - - -. - - -inp - - - -} - - - - - - diff --git a/test/known-good/TypeScript/src/federated/failing/LoopDistributedDouble.html b/test/known-good/TypeScript/src/federated/failing/LoopDistributedDouble.html deleted file mode 100644 index 32766c975..000000000 --- a/test/known-good/TypeScript/src/federated/failing/LoopDistributedDouble.html +++ /dev/null @@ -1,1362 +0,0 @@ - -/** - - - - * This tests a feedback loop with physical actions and centralized coordination. - - - - * - - - - * @author Edward A. Lee - - - - * @author Hokeun Kim - - - - - - -*/ - - - -target - - - - - -TypeScript - - - { - - - - timeout - - -: - - -5 - - - - - -sec - - -, - - - - keepAlive - - -: - - -true - - -, - - - - coordination-options - - -: { - - - - advance-message-interval - - -: - - -100 - - - - - -msec - - - - } - - - -} - - - - - - - -reactor - - - - - -Looper - - -(incr: - - -number - - - - - -= - - - - - -1 - - -, delay: - - -time - - - - - -= - - - - - -0 - - - - - -msec - - -) { - - - - - - -input - - - - - -inp - - -: - - - - - -number - - - - - - -input - - - - - -inp2 - - -: - - - - - -number - - - - - - -output - - - - - -out - - -: - - - - - -number - - - - - - -output - - - - - -out2 - - -: - - - - - -number - - - - - - -physical - - - - - -action - - - - - -a - - -(delay) - - - - - - -state - - - - - -count - - -: - - - - - -number - - - - - -= - - - - - -0 - - - - - - -timer - - - t( - - -0 - - -, - - -1 - - - - - -sec - - -) - - - - - - - - - - -preamble - - - { - - -= - - - - let stop - - -= - - - - - -false - - -; - - - - - - -// Function to trigger an action once every second. - - - - function ping(act: - - -any - - -) { - - - - if (!stop) { - - - - - - -console - - -. - - -log - - -( - - -" - - -Scheduling action. - - -" - - -); - - - - - - -act - - -. - - -schedule - - -( - - -0 - - -, null); - - - - setTimeout(ping, - - -1000 - - -, act); - - - - } - - - - } - - - - - - -= - - -} - - - - - - - - - - -reaction - - -( - - -startup - - -) - - --> - - - a { - - -= - - - - - - -// Start the ping function for triggering an action every second. - - - - - - -console - - -. - - -log - - -( - - -" - - -Starting ping function. - - -" - - -); - - - - ping( - - -actions - - -. - - -a - - -); - - - - - - -= - - -} - - - - - - - - - - -reaction - - -(a) - - --> - - - out, out2 { - - -= - - - - if (count - - -% - - - - - -2 - - - - - -= - - -= - - - - - -0 - - -) { - - - - out - - -= - - - count; - - - - } else { - - - - out2 - - -= - - - count; - - - - } - - - - count - - -+ - - -= - - - incr; - - - - - - -= - - -} - - - - - - - - - - -reaction - - -(inp) { - - -= - - - - - - -console - - -. - - -log - - -( - - -" - - -Received - - -" - - - - - -+ - - - inp - - -+ - - - - - -" - - - on inp at logical time - - -" - - - - - -+ - - - - - -util - - -. - - -getElapsedLogicalTime - - -() - - -+ - - - - - -" - - -. - - -" - - -); - - - - - - -= - - -} - - - - - - - - - - -reaction - - -(inp2) { - - -= - - - - - - -console - - -. - - -log - - -( - - -" - - -Received - - -" - - - - - -+ - - - inp2 - - -+ - - - - - -" - - - on inp2 at logical time - - -" - - - - - -+ - - - - - -util - - -. - - -getElapsedLogicalTime - - -() - - -+ - - - - - -" - - -. - - -" - - -); - - - - - - -= - - -} - - - - - - - - - - -reaction - - -(t) { - - -= - - - - - - -console - - -. - - -log - - -( - - -" - - -Timer triggered at logical time - - -" - - - - - -+ - - - - - -util - - -. - - -getElapsedLogicalTime - - -() - - -+ - - - - - -" - - -. - - -" - - -); - - - - - - -= - - -} - - - - - - - - - - -reaction - - -( - - -shutdown - - -) { - - -= - - - - - - -console - - -. - - -log - - -( - - -" - - -******* Shutdown invoked. - - -" - - -); - - - - - - -// Stop the ping function that is scheduling actions. - - - - stop - - -= - - - - - -true - - -; - - - - if (count ! - - -= - - - - - -5 - - - - - -* - - - incr) { - - - - - - -util - - -. - - -requestErrorStop - - -( - - -" - - -Failed to receive all five expected inputs. - - -" - - -); - - - - } - - - - - - -= - - -} - - - -} - - - - - - - -federated - - - - - -reactor - - -(delay: - - -time - - - - - -= - - - - - -0 - - -) { - - - - - - -left - - - - - -= - - - - - -new - - - - - -Looper - - -() - - - - - - -right - - - - - -= - - - - - -new - - - - - -Looper - - -(incr - - -= - - - - - -- - - -1 - - -) - - - - - - -left - - -. - - -out - - - - - --> - - - - - -right - - -. - - -inp - - - - - - -right - - -. - - -out - - - - - --> - - - - - -left - - -. - - -inp - - - - - - -right - - -. - - -out2 - - - - - --> - - - - - -left - - -. - - -inp2 - - - - - - -left - - -. - - -out2 - - - - - --> - - - - - -right - - -. - - -inp2 - - - -} - - - - - - diff --git a/test/known-good/TypeScript/src/federated/failing/PingPongDistributed.html b/test/known-good/TypeScript/src/federated/failing/PingPongDistributed.html deleted file mode 100644 index 66899dc4f..000000000 --- a/test/known-good/TypeScript/src/federated/failing/PingPongDistributed.html +++ /dev/null @@ -1,879 +0,0 @@ - -/** - - - This checks communication between federates - - -*/ - - - -target - - - - - -TypeScript - - - - - - - -reactor - - - - - -Ping - - -(count: - - -number - - - - - -= - - - - - -10 - - -) { - - - - - - -input - - - - - -receive - - -: - - - - - -number - - - - - - -output - - - - - -send - - -: - - - - - -number - - - - - - -state - - - - - -pingsLeft - - -: - - - - - -number - - - - - -= - - - count - - - - - - -logical - - - - - -action - - - - - -serve - - - - - - - - - - -reaction - - -( - - -startup - - -, serve) - - --> - - - send { - - -= - - - - - - -console - - -. - - -log - - -(`At - - -logical - - - - - -time - - - ${ - - -util - - -. - - -getElapsedLogicalTime - - -()}, Ping sending ${pingsLeft}`); - - - - send - - -= - - - pingsLeft; - - - - pingsLeft - - -= - - - pingsLeft - - -- - - - - - -1 - - -; - - - - - - -= - - -} - - - - - - - - - - -reaction - - -(receive) - - --> - - - serve { - - -= - - - - if (pingsLeft > - - -0 - - -){ - - - - - - -actions - - -. - - -serve - - -. - - -schedule - - -( - - -0 - - -, null); - - - - } - - - - else{ - - - - - - -util - - -. - - -requestStop - - -(); - - - - } - - - - - - -= - - -} - - - -} - - - - - - - -reactor - - - - - -Pong - - -(expected: - - -number - - - - - -= - - - - - -10 - - -) { - - - - - - -input - - - - - -receive - - -: - - - - - -number - - - - - - -output - - - - - -send - - -: - - - - - -number - - - - - - -state - - - - - -count - - -: - - - - - -number - - - - - -= - - - - - -0 - - - - - - - - - - -reaction - - -(receive) - - --> - - - send { - - -= - - - - count - - -+ - - -= - - - - - -1 - - -; - - - - - - -console - - -. - - -log - - -(`At - - -logical - - - - - -time - - - ${ - - -util - - -. - - -getElapsedLogicalTime - - -()}, Pong received ${receive}`) - - - - send - - -= - - - receive; - - - - if (count - - -= - - -= - - - expected){ - - - - - - -util - - -. - - -requestStop - - -(); - - - - } - - - - - - -= - - -} - - - - - - - - - - -reaction - - -( - - -shutdown - - -) { - - -= - - - - if (count ! - - -= - - - expected){ - - - - - - -util - - -. - - -requestErrorStop - - -(`Pong expected to receive ${expected} inputs, but it received ${count}`); - - - - } - - - - - - -console - - -. - - -log - - -(`Pong received ${count} pings - - -. - - -`); - - - - - - -= - - -} - - - -} - - - - - - - -federated - - - - - -reactor - - - - - -PingPongDistributed - - -(count: - - -number - - - - - -= - - - - - -10 - - -) { - - - - - - -ping - - - - - -= - - - - - -new - - - - - -Ping - - -(count - - -= - - - count) - - - - - - -pong - - - - - -= - - - - - -new - - - - - -Pong - - -(expected - - -= - - - count) - - - - - - -ping - - -. - - -send - - - - - --> - - - - - -pong - - -. - - -receive - - - - - - -pong - - -. - - -send - - - - - --> - - - - - -ping - - -. - - -receive - - - -} - - - - - - diff --git a/test/known-good/TypeScript/src/federated/failing/PingPongDistributedPhysical.html b/test/known-good/TypeScript/src/federated/failing/PingPongDistributedPhysical.html deleted file mode 100644 index 84a611e01..000000000 --- a/test/known-good/TypeScript/src/federated/failing/PingPongDistributedPhysical.html +++ /dev/null @@ -1,967 +0,0 @@ - -/** - - - - * Basic benchmark from the Savina benchmark suite that is intended to measure message-passing - - - - * overhead. - - - - * - - - - * This version is distributed, communicating using physical connections over sockets. - - - - * - - - - * This is based on https://www.scala-lang.org/old/node/54 See - - - - * https://shamsimam.github.io/papers/2014-agere-savina.pdf. - - - - * - - - - * This is a distributed version, where Ping and Pong run in separate programs and can be run on - - - - * different machines. - - - - * - - - - * To get a sense, some (informal) results for 1,000,000 ping-pongs on my Mac: - - - - * - Unthreaded: 97 msec - - - - * - Threaded: 265 msec - - - - * - Distributed: 53 seconds - - - - * - - - - * There is no parallelism in this application, so it does not benefit from being being distributed. - - - - * - - - - * These measurements are total execution time, including startup and shutdown, of all three - - - - * programs. - - - - * - - - - * @author Edward A. Lee - - - - * @author Byeong-gil Jun - - - - - - -*/ - - - -target - - - - - -TypeScript - - - - - - - -reactor - - - - - -Ping - - -(count: - - -number - - - - - -= - - - - - -10 - - -) { - - - - - - -input - - - - - -receive - - -: - - - - - -number - - - - - - -output - - - - - -send - - -: - - - - - -number - - - - - - -state - - - - - -pingsLeft - - -: - - - - - -number - - - - - -= - - - count - - - - - - -logical - - - - - -action - - - - - -serve - - - - - - - - - - -reaction - - -( - - -startup - - -, serve) - - --> - - - send { - - -= - - - - - - -console - - -. - - -log - - -(`At - - -logical - - - - - -time - - - ${ - - -util - - -. - - -getElapsedLogicalTime - - -()}, Ping sending ${pingsLeft} - - -. - - -`); - - - - send - - -= - - - pingsLeft - - -- - - -- - - -; - - - - - - -= - - -} - - - - - - - - - - -reaction - - -(receive) - - --> - - - serve { - - -= - - - - if (pingsLeft > - - -0 - - -) { - - - - - - -actions - - -. - - -serve - - -. - - -schedule - - -( - - -0 - - -, null); - - - - } else { - - - - - - -util - - -. - - -requestStop - - -(); - - - - } - - - - - - -= - - -} - - - -} - - - - - - - -reactor - - - - - -Pong - - -(expected: - - -number - - - - - -= - - - - - -10 - - -) { - - - - - - -input - - - - - -receive - - -: - - - - - -number - - - - - - -output - - - - - -send - - -: - - - - - -number - - - - - - -state - - - - - -count - - -: - - - - - -number - - - - - -= - - - - - -0 - - - - - - - - - - -reaction - - -(receive) - - --> - - - send { - - -= - - - - count - - -+ - - -+ - - -; - - - - - - -console - - -. - - -log - - -(`At - - -logical - - - - - -time - - - ${ - - -util - - -. - - -getElapsedLogicalTime - - -()}, Pong receivedd ${receive} - - -. - - -`); - - - - send - - -= - - - receive; - - - - if (count - - -= - - -= - - -= - - - expected) { - - - - - - -util - - -. - - -requestStop - - -(); - - - - } - - - - - - -= - - -} - - - - - - - - - - -reaction - - -( - - -shutdown - - -) { - - -= - - - - if (count ! - - -= - - -= - - - expected) { - - - - - - -util - - -. - - -requestErrorStop - - -(`Pong expected to received ${expected} inputs, but it received ${count} - - -. - - -`); - - - - } - - - - - - -console - - -. - - -log - - -(`Pong received ${count} pings - - -. - - -`); - - - - - - -= - - -} - - - -} - - - - - - - -federated - - - - - -reactor - - -(count: - - -number - - - - - -= - - - - - -10 - - -) { - - - - - - -ping - - - - - -= - - - - - -new - - - - - -Ping - - -(count - - -= - - - count) - - - - - - -pong - - - - - -= - - - - - -new - - - - - -Pong - - -(expected - - -= - - - count) - - - - - - -ping - - -. - - -send - - - - - -~> - - - - - -pong - - -. - - -receive - - - - - - -pong - - -. - - -send - - - - - -~> - - - - - -ping - - -. - - -receive - - - -} - - - - - - diff --git a/test/known-good/TypeScript/src/federated/failing/SimpleFederated.html b/test/known-good/TypeScript/src/federated/failing/SimpleFederated.html deleted file mode 100644 index f17ea3c49..000000000 --- a/test/known-good/TypeScript/src/federated/failing/SimpleFederated.html +++ /dev/null @@ -1,245 +0,0 @@ - -target - - - - - -TypeScript - - - { - - - - timeout - - -: - - -2 - - - - - -secs - - - -} - - - - - - - -reactor - - - - - -Fed - - - { - - - - - - -input - - - - - -inp - - -: - - - - - -number - - - - - - -output - - - - - -out - - -: - - - - - -number - - - -} - - - - - - - -federated - - - - - -reactor - - - { - - - - - - -fed1 - - - - - -= - - - - - -new - - - - - -Fed - - -() - - - - - - -fed2 - - - - - -= - - - - - -new - - - - - -Fed - - -() - - - - - - - - - - -fed1 - - -. - - -out - - - - - --> - - - - - -fed2 - - -. - - -inp - - - - - - -fed2 - - -. - - -out - - - - - --> - - - - - -fed1 - - -. - - -inp - - - -} - - - - - - diff --git a/test/known-good/TypeScript/src/federated/failing/SpuriousDependency.html b/test/known-good/TypeScript/src/federated/failing/SpuriousDependency.html deleted file mode 100644 index fd5721e3d..000000000 --- a/test/known-good/TypeScript/src/federated/failing/SpuriousDependency.html +++ /dev/null @@ -1,1096 +0,0 @@ - -/** - - - - * This checks that a federated program does not deadlock when it is ambiguous, given the structure - - - - * of a federate, whether it is permissible to require certain network sender/receiver reactions to - - - - * precede others inp the execution of a given tag. The version of LFC that was inp the master branch - - - - * on 4/15/2023 resolved the ambiguity inp a way that does appear to result inp deadlock. - - - - - - -*/ - - - -target - - - - - -TypeScript - - - { - - - - timeout - - -: - - -1 - - - - - -sec - - - -} - - - - - - - -reactor - - - - - -Passthrough - - -(id: - - -number - - - - - -= - - - - - -0 - - -) { - - - - - - -input - - - - - -inp - - -: - - - - - -number - - - - - - -output - - - - - -out - - -: - - - - - -number - - - - - - - - - - -reaction - - -(inp) - - --> - - - out { - - -= - - - - - - -//lf_print("Hello from passthrough %d", self->id); - - - - - - -console - - -. - - -log - - -( - - -" - - -Hello from passthrough - - -" - - - - - -+ - - - id); - - - - - - -//lf_set(out, inp->value); - - - - out - - -= - - - inp; - - - - - - -= - - -} - - - -} - - - - - - - -reactor - - - - - -Twisty - - - { - - - - - - -input - - - - - -in0 - - -: - - - - - -number - - - - - - -input - - - - - -in1 - - -: - - - - - -number - - - - - - -output - - - - - -out0 - - -: - - - - - -number - - - - - - -output - - - - - -out1 - - -: - - - - - -number - - - - - - -p0 - - - - - -= - - - - - -new - - - - - -Passthrough - - -(id - - -= - - -0 - - -) - - - - - - -p1 - - - - - -= - - - - - -new - - - - - -Passthrough - - -(id - - -= - - -1 - - -) - - - - in0 - - --> - - - - - -p0 - - -. - - -inp - - - - - - -p0 - - -. - - -out - - - - - --> - - - out0 - - - - in1 - - --> - - - - - -p1 - - -. - - -inp - - - - - - -p1 - - -. - - -out - - - - - --> - - - out1 - - - -} - - - - - - - -reactor - - - - - -Check - - - { - - - - - - -input - - - - - -inp - - -: - - - - - -number - - - - - - - - - - -state - - - - - -count - - -: - - - - - -number - - - - - -= - - - - - -0 - - - - - - - - - - -reaction - - -(inp) { - - -= - - - - - -console - - -. - - -log - - -( - - -" - - -count is now - - -" - - - - - -+ - - - - - -+ - - -+ - - -count); - - -= - - -} - - - - - - - - - - -reaction - - -( - - -shutdown - - -) { - - -= - - - - - - -// lf_print("******* Shutdown invoked."); - - - - - - -console - - -. - - -log - - -( - - -" - - -******* Shutdown invoked. - - -" - - -); - - - - - - -// if (self->count != 1) { - - - - - - -// lf_print_error_and_exit("Failed to receive expected input."); - - - - - - -// } - - - - if (count ! - - -= - - - - - -1 - - -) { - - - - - - -util - - -. - - -reportError - - -( - - -" - - -Failed to receieve expected input. - - -" - - -); - - - - } - - - - - - -= - - -} - - - -} - - - - - - - -federated - - - - - -reactor - - - { - - - - - - -t0 - - - - - -= - - - - - -new - - - - - -Twisty - - -() - - - - - - -t1 - - - - - -= - - - - - -new - - - - - -Twisty - - -() - - - - - - -check - - - - - -= - - - - - -new - - - - - -Check - - -() - - - - - - -t0 - - -. - - -out1 - - - - - --> - - - - - -t1 - - -. - - -in0 - - - - - - -t1 - - -. - - -out1 - - - - - --> - - - - - -t0 - - -. - - -in0 - - - - - - -state - - - - - -count - - -: - - - - - -number - - - - - -= - - - - - -0 - - - - - - - - - - -t1 - - -. - - -out0 - - - - - --> - - - - - -check - - -. - - -inp - - - - - - - - - - -reaction - - -( - - -startup - - -) - - --> - - - - - -t0 - - -. - - -in1 - - - { - - -= - - - - - -t0 - - -. - - -in1 - - - - - -= - - - - - -0 - - -; - - -= - - -} - - - -} - - - - - - diff --git a/test/known-good/TypeScript/src/lib/Count.html b/test/known-good/TypeScript/src/lib/Count.html index c529e060f..bc0d1c597 100644 --- a/test/known-good/TypeScript/src/lib/Count.html +++ b/test/known-good/TypeScript/src/lib/Count.html @@ -155,8 +155,9 @@ = + - out + out = @@ -171,7 +172,11 @@ + -; +; + + + + = diff --git a/test/known-good/TypeScript/src/lib/Imported.html b/test/known-good/TypeScript/src/lib/Imported.html index 25b6679d1..a419df4ca 100644 --- a/test/known-good/TypeScript/src/lib/Imported.html +++ b/test/known-good/TypeScript/src/lib/Imported.html @@ -172,8 +172,9 @@ = + - + a @@ -191,7 +192,11 @@ = - (x as number); + (x as number); + + + + = diff --git a/test/known-good/TypeScript/src/lib/InternalDelay.html b/test/known-good/TypeScript/src/lib/InternalDelay.html index ee7119915..076867168 100644 --- a/test/known-good/TypeScript/src/lib/InternalDelay.html +++ b/test/known-good/TypeScript/src/lib/InternalDelay.html @@ -153,8 +153,9 @@ = + - + actions @@ -172,7 +173,11 @@ schedule -(delay, inp as number); +(delay, inp as number); + + + + = @@ -203,14 +208,19 @@ = + - out + out = - d; + d; + + + + = diff --git a/test/known-good/TypeScript/src/multiport/BankSelfBroadcast.html b/test/known-good/TypeScript/src/multiport/BankSelfBroadcast.html index 445c75547..54f1444b3 100644 --- a/test/known-good/TypeScript/src/multiport/BankSelfBroadcast.html +++ b/test/known-good/TypeScript/src/multiport/BankSelfBroadcast.html @@ -167,8 +167,9 @@ = + - out + out = @@ -186,7 +187,11 @@ getBankIndex -(); +(); + + + + = diff --git a/test/known-good/TypeScript/src/multiport/BankToMultiport.html b/test/known-good/TypeScript/src/multiport/BankToMultiport.html index 1c84523ab..56999c1e7 100644 --- a/test/known-good/TypeScript/src/multiport/BankToMultiport.html +++ b/test/known-good/TypeScript/src/multiport/BankToMultiport.html @@ -79,8 +79,9 @@ = + - out + out = @@ -98,7 +99,11 @@ getBankIndex -(); +(); + + + + = diff --git a/test/known-good/TypeScript/src/multiport/Broadcast.html b/test/known-good/TypeScript/src/multiport/Broadcast.html index 48eb8fa80..050abfe47 100644 --- a/test/known-good/TypeScript/src/multiport/Broadcast.html +++ b/test/known-good/TypeScript/src/multiport/Broadcast.html @@ -75,8 +75,9 @@ = + - out + out = @@ -88,7 +89,11 @@ 42 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/multiport/BroadcastAfter.html b/test/known-good/TypeScript/src/multiport/BroadcastAfter.html index 5be6cc26a..a53aba83c 100644 --- a/test/known-good/TypeScript/src/multiport/BroadcastAfter.html +++ b/test/known-good/TypeScript/src/multiport/BroadcastAfter.html @@ -98,8 +98,9 @@ = + - out + out = @@ -111,7 +112,11 @@ 42 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/multiport/BroadcastMultipleAfter.html b/test/known-good/TypeScript/src/multiport/BroadcastMultipleAfter.html index 9424cb029..43819fdea 100644 --- a/test/known-good/TypeScript/src/multiport/BroadcastMultipleAfter.html +++ b/test/known-good/TypeScript/src/multiport/BroadcastMultipleAfter.html @@ -116,14 +116,19 @@ = + - out + out = - value; + value; + + + + = diff --git a/test/known-good/TypeScript/src/multiport/MultiportFromBank.html b/test/known-good/TypeScript/src/multiport/MultiportFromBank.html index df727bee7..2625fa1f5 100644 --- a/test/known-good/TypeScript/src/multiport/MultiportFromBank.html +++ b/test/known-good/TypeScript/src/multiport/MultiportFromBank.html @@ -106,8 +106,9 @@ = + - out + out = @@ -125,7 +126,11 @@ getBankIndex -(); +(); + + + + = diff --git a/test/known-good/TypeScript/src/multiport/MultiportIn.html b/test/known-good/TypeScript/src/multiport/MultiportIn.html index ae9b144e8..3d12b6db9 100644 --- a/test/known-good/TypeScript/src/multiport/MultiportIn.html +++ b/test/known-good/TypeScript/src/multiport/MultiportIn.html @@ -162,8 +162,9 @@ = + - out + out = @@ -178,7 +179,11 @@ + -; +; + + + + = @@ -274,14 +279,19 @@ = + - out + out = - inp; + inp; + + + + = diff --git a/test/known-good/TypeScript/src/multiport/MultiportInParameterized.html b/test/known-good/TypeScript/src/multiport/MultiportInParameterized.html index 514d932fc..96f309c01 100644 --- a/test/known-good/TypeScript/src/multiport/MultiportInParameterized.html +++ b/test/known-good/TypeScript/src/multiport/MultiportInParameterized.html @@ -283,14 +283,19 @@ = + - out + out = - inp; + inp; + + + + = diff --git a/test/known-good/TypeScript/src/multiport/PipelineAfter.html b/test/known-good/TypeScript/src/multiport/PipelineAfter.html index 479b1500c..31adbf63a 100644 --- a/test/known-good/TypeScript/src/multiport/PipelineAfter.html +++ b/test/known-good/TypeScript/src/multiport/PipelineAfter.html @@ -75,8 +75,9 @@ = + - out + out = @@ -88,7 +89,11 @@ 40 -; +; + + + + = @@ -184,8 +189,9 @@ = + - out + out = @@ -203,7 +209,11 @@ 2 -; +; + + + + = diff --git a/test/known-good/TypeScript/src/multiport/ReactionsToNested.html b/test/known-good/TypeScript/src/multiport/ReactionsToNested.html index 8ea684467..ca607b974 100644 --- a/test/known-good/TypeScript/src/multiport/ReactionsToNested.html +++ b/test/known-good/TypeScript/src/multiport/ReactionsToNested.html @@ -554,8 +554,9 @@ = + - + d @@ -585,7 +586,11 @@ 42 -; +; + + + + = @@ -634,8 +639,9 @@ = + - + d @@ -665,7 +671,11 @@ 43 -; +; + + + + =