fix to enable simulation with the crml model automatically generated …

…by the compiler
lenaRB · May 30, 2024 · 997c254 · 997c254
1 parent b798b20
commit 997c254
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/src/test/resources/verificationModels/libraries/ETL_test/BecomesTrue/BecomesTrue_verif.mo b/src/test/resources/verificationModels/libraries/ETL_test/BecomesTrue/BecomesTrue_verif.mo
@@ -1,15 +1,11 @@
-within BecomesTrue;
+within ;
 model BecomesTrue_verif
   extends BecomesTrue;
   BecomesTrue_externals externals
     annotation (Placement(transformation(extent={{-200,0},{-140,60}})));
-  CRML.Blocks.Events.ShowEvent show_c_b1_becomes_true
-    annotation (Placement(transformation(extent={{52,-44},{60,-36}})));
 equation
   // Bindings
   b1 = externals.b1;
-  connect(show_c_b1_becomes_true.u, event4ToEvent.y) annotation (Line(points={{
-          51.6,-40},{-20,-40},{-20,0},{-45.6,0}}, color={217,67,180}));
     annotation (Placement(transformation(extent={{0,-20},{60,40}})),
               Icon(coordinateSystem(preserveAspectRatio=false,
         extent={{-200,-100},{100,100}},