OMCompiler/Compiler/SimCode/SimCodeMain.mo - Linux GNU 11.4.0 Code Coverage Report

Directory:	./
Coverage:	low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%
	Coverage	Exec / Excl / Total
Lines:	62.0%	500 / 0 / 807
Functions:	-%	0 / 1 / 1
Branches:	48.8%	273 / 0 / 560
    OMCompiler/Compiler/SimCode/SimCodeMain.mo
    
        Line
        Branch
        Exec
        Source
      
        /*
      
         * This file is part of OpenModelica.
      
         *
      
         * Copyright (c) 1998-2026, Open Source Modelica Consortium (OSMC),
      
         * c/o Linköpings universitet, Department of Computer and Information Science,
      
         * SE-58183 Linköping, Sweden.
      
         *
      
         * All rights reserved.
      
         *
      
         * THIS PROGRAM IS PROVIDED UNDER THE TERMS OF AGPL VERSION 3 LICENSE OR
      
         * THIS OSMC PUBLIC LICENSE (OSMC-PL) VERSION 1.8.
      
         * ANY USE, REPRODUCTION OR DISTRIBUTION OF THIS PROGRAM CONSTITUTES
      
         * RECIPIENT'S ACCEPTANCE OF THE OSMC PUBLIC LICENSE OR THE GNU AGPL
      
         * VERSION 3, ACCORDING TO RECIPIENTS CHOICE.
      
         *
      
         * The OpenModelica software and the OSMC (Open Source Modelica Consortium)
      
         * Public License (OSMC-PL) are obtained from OSMC, either from the above
      
         * address, from the URLs:
      
         * http://www.openmodelica.org or
      
         * https://github.com/OpenModelica/ or
      
         * http://www.ida.liu.se/projects/OpenModelica,
      
         * and in the OpenModelica distribution.
      
         *
      
         * GNU AGPL version 3 is obtained from:
      
         * https://www.gnu.org/licenses/licenses.html#GPL
      
         *
      
         * This program is distributed WITHOUT ANY WARRANTY; without
      
         * even the implied warranty of MERCHANTABILITY or FITNESS
      
         * FOR A PARTICULAR PURPOSE, EXCEPT AS EXPRESSLY SET FORTH
      
         * IN THE BY RECIPIENT SELECTED SUBSIDIARY LICENSE CONDITIONS OF OSMC-PL.
      
         *
      
         * See the full OSMC Public License conditions for more details.
      
         *
      
         */
      
        encapsulated package SimCodeMain
      
        " file:        SimCodeMain.mo
      
          package:     SimCodeMain
      
          description: Code generation using Susan templates
      
          The entry points to this module are the translateModel function and the
      
          translateFunctions function."
      
        public
      
        import Absyn;
      
        import ProgramUtil;
      
        import BackendDAE;
      
        import BackendDAEUtil;
      
        import Ceval;
      
        import DAE;
      
        import FCore;
      
        import UnorderedMap;
      
        import Tpl;
      
        import Values;
      
        import SimCode;
      
        import SimCodeFunction;
      
        import NSimCode; /* used for new backend */
      
        protected
      
        import AbsynUtil;
      
        import Array;
      
        import Autoconf;
      
        import AvlSetString;
      
        import BackendDAECreate;
      
        import BackendDump;
      
        import NBackendDAE;
      
        import BackendVariable;
      
        import Builtin;
      
        import ClockIndexes;
      
        import CevalScriptBackend;
      
        import CodegenC;
      
        import CodegenEmbeddedC;
      
        import CodegenESP32;
      
        import CodegenFMU;
      
        import CodegenFMU2;
      
        import CodegenFMU3;
      
        import CodegenFMUCommon;
      
        import CodegenFMUCpp;
      
        import CodegenFMUCppHpcom;
      
        import CodegenCpp;
      
        import CodegenCppHpcom;
      
        import CodegenXML;
      
        import CodegenJS;
      
        import CodegenWasmJit;
      
        import Config;
      
        import DAEMode;
      
        import DAEUtil;
      
        import Debug;
      
        import Error;
      
        import ErrorExt;
      
        import ExecStat;
      
        import FGraph;
      
        import Flags;
      
        import FlagsUtil;
      
        import FlatModel = NFFlatModel;
      
        import FindZeroCrossings;
      
        import NFFunction;
      
        import NFFlatten.{FunctionTree, FunctionTreeImpl};
      
        import NFApi;
      
        import FMI;
      
        import GCExt;
      
        import HashTable;
      
        import HashTableCrefSimVar;
      
        import HashTableCrIListArray;
      
        import HashTableCrILst;
      
        import HpcOmSimCodeMain;
      
        import HpcOmTaskGraph;
      
        import NFConvertDAE;
      
        import RuntimeSources;
      
        import SemanticVersion;
      
        import SerializeInitXML;
      
        import SerializeModelInfo;
      
        import SerializeSparsityPattern;
      
        import SimCodeUtil;
      
        import SimCodeFunctionUtil;
      
        import StateMachineFlatten;
      
        import SimCodeUtilShared;
      
        import SimCodeVar;
      
        import StackOverflow;
      
        import StringUtil;
      
        import SymbolicJacobian;
      
        import SymbolTable;
      
        import System;
      
        import Testsuite;
      
        import Util;
      
        import SerializeTaskSystemInfo;
      
        import File;
      
        import SimCodeCodegenUtil;
      
        public
      
        uniontype FmuTranslation
      
          "The FMU-grade translation translateModelFMU left behind, which the
      
           buildModelFMU that follows exports instead of translating the model again."
      
          record FMU_TRANSLATION
      
            SimCode.SimCode simCode;
      
            String FMUVersion;
      
            String kind "cs, or other: the preOptModules differ only for a pure Co-Simulation export";
      
            Absyn.Path className;
      
            Absyn.Program ast "what it was translated from, by reference: any edit replaces the record";
      
            array<Boolean> debugFlags;
      
            array<Flags.FlagData> configFlags;
      
          end FMU_TRANSLATION;
      
        end FmuTranslation;
      
        public
      
        uniontype TranslateModelKind
      
          record NORMAL
      
          end NORMAL;
      
          record XML
      
          end XML;
      
          record FMU
      
            String kind;
      
            String targetName;
      
            Boolean translateOnly "keep the translation in memory instead of writing the FMU (translateModelFMU)";
      
          end FMU;
      
        end TranslateModelKind;
      
        public function createSimulationSettings
      
          input Real startTime;
      
          input Real stopTime;
      
          input Integer inumberOfIntervals;
      
          input Real tolerance;
      
          input String method;
      
          input String options;
      
          input String outputFormat;
      
          input String variableFilter;
      
          input String cflags;
      
          input String simflags;
      
          output SimCode.SimulationSettings simSettings;
      
        protected
      
          Real stepSize;
      
          Integer numberOfIntervals;
      
        algorithm
      
        2366
          numberOfIntervals := if inumberOfIntervals <= 0 then 1 else inumberOfIntervals;
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 2366 times.

        2366
          stepSize := (stopTime - startTime) / intReal(numberOfIntervals);
      
        2366
          simSettings := SimCode.SIMULATION_SETTINGS(
      
            startTime, stopTime, numberOfIntervals, stepSize, tolerance,
      
            method, options, outputFormat, variableFilter, cflags, simflags);
      
        end createSimulationSettings;
      
        protected function generateModelCodeFMU "
      
          Generates code for a model by creating a SimCode structure and calling the
      
          template-based code generator on it."
      
          input BackendDAE.BackendDAE inBackendDAE;
      
          input BackendDAE.BackendDAE inInitDAE;
      
          input Option<BackendDAE.BackendDAE> inInitDAE_lambda0;
      
          input BackendDAE.SymbolicJacobians inFMIDer;
      
          input list<BackendDAE.Equation> inRemovedInitialEquationLst;
      
          input Absyn.Program p;
      
          input Absyn.Path className;
      
          input String FMUVersion;
      
          input String FMUType;
      
          input String filenamePrefix;
      
          input String fmuTargetName;
      
          input Option<SimCode.SimulationSettings> simSettings;
      
          input Boolean translateOnly = false;
      
          output list<String> libs;
      
          output String fileDir;
      
          output Real timeSimCode;
      
          output Real timeTemplates;
      
        protected
      
          list<String> includes,includeDirs;
      
          list<SimCodeFunction.Function> functions;
      
          SimCode.SimCode simCode;
      
          list<SimCodeFunction.RecordDeclaration> recordDecls;
      
          Absyn.ComponentRef a_cref;
      
          list<String> libPaths;
      
          tuple<Integer,UnorderedMap<DAE.Exp, Integer>,list<DAE.Exp>> literals;
      
        algorithm
      
        86
          System.realtimeTick(ClockIndexes.RT_CLOCK_SIMCODE);
      
        86
          a_cref := AbsynUtil.pathToCref(className);
      
        86
          fileDir := ProgramUtil.getFileDir(a_cref, p);
      
        86
          (libs,libPaths,includes, includeDirs, recordDecls, functions, literals) :=
      
            SimCodeUtilShared.createFunctions(p, inBackendDAE.shared.functionTree);
      
        86
          simCode := createSimCode(inBackendDAE, inInitDAE, inInitDAE_lambda0, NONE(),
      
            inRemovedInitialEquationLst, className, filenamePrefix, fileDir, functions,
      
            includes, includeDirs, libs, libPaths, p, simSettings, recordDecls,
      
            literals, Absyn.FUNCTIONARGS({},{}), isFMU=true, FMUVersion=FMUVersion,
      
            fmuTargetName=fmuTargetName, inFMIDer=inFMIDer);
      
        86
          timeSimCode := System.realtimeTock(ClockIndexes.RT_CLOCK_SIMCODE);
      
        86
          ExecStat.execStat("SimCode");
      
        86
          System.realtimeTick(ClockIndexes.RT_CLOCK_TEMPLATES);
      
        86
          callTargetTemplatesFMU(simCode, Config.simCodeTarget(), FMUVersion, FMUType, p, translateOnly);
      
        86
          timeTemplates := System.realtimeTock(ClockIndexes.RT_CLOCK_TEMPLATES);
      
        end generateModelCodeFMU;
      
        protected function generateModelCodeXML "
      
          Generates code for a model by creating a SimCode structure and calling the
      
          template-based code generator on it."
      
          input BackendDAE.BackendDAE inBackendDAE;
      
          input BackendDAE.BackendDAE inInitDAE;
      
          input Option<BackendDAE.BackendDAE> inInitDAE_lambda0;
      
          input list<BackendDAE.Equation> inRemovedInitialEquationLst;
      
          input Absyn.Program p;
      
          input Absyn.Path className;
      
          input String filenamePrefix;
      
          input Option<SimCode.SimulationSettings> simSettingsOpt;
      
          output list<String> libs;
      
          output String fileDir;
      
          output Real timeSimCode;
      
          output Real timeTemplates;
      
        protected
      
          list<String> includes,includeDirs;
      
          list<SimCodeFunction.Function> functions;
      
          SimCode.SimCode simCode;
      
          list<SimCodeFunction.RecordDeclaration> recordDecls;
      
          list<String> libPaths;
      
          Absyn.ComponentRef a_cref;
      
          tuple<Integer,UnorderedMap<DAE.Exp, Integer>,list<DAE.Exp>> literals;
      
        algorithm
      
        ✗
          System.realtimeTick(ClockIndexes.RT_CLOCK_SIMCODE);
      
        ✗
          a_cref := AbsynUtil.pathToCref(className);
      
        ✗
          fileDir := ProgramUtil.getFileDir(a_cref, p);
      
        ✗
          (libs, libPaths, includes, includeDirs, recordDecls, functions, literals) :=
      
            SimCodeUtilShared.createFunctions(p, inBackendDAE.shared.functionTree);
      
        ✗
          (simCode,_) := SimCodeUtil.createSimCode(inBackendDAE, inInitDAE, inInitDAE_lambda0, NONE(), inRemovedInitialEquationLst,
      
            className, filenamePrefix, fileDir, functions, includes, includeDirs, libs,libPaths, p, simSettingsOpt, recordDecls, literals,Absyn.FUNCTIONARGS({},{}));
      
        ✗
          timeSimCode := System.realtimeTock(ClockIndexes.RT_CLOCK_SIMCODE);
      
        ✗
          ExecStat.execStat("SimCode");
      
        ✗
          System.realtimeTick(ClockIndexes.RT_CLOCK_TEMPLATES);
      
        ✗
          callTargetTemplatesXML(simCode, Config.simCodeTarget());
      
        ✗
          timeTemplates := System.realtimeTock(ClockIndexes.RT_CLOCK_TEMPLATES);
      
        end generateModelCodeXML;
      
        public function generateModelCode "
      
          Generates code for a model by creating a SimCode structure and calling the
      
          template-based code generator on it."
      
          input BackendDAE.BackendDAE inBackendDAE;
      
          input BackendDAE.BackendDAE inInitDAE;
      
          input Option<BackendDAE.BackendDAE> inInitDAE_lambda0;
      
          input Option<BackendDAE.InlineData> inInlineData;
      
          input list<BackendDAE.Equation> inRemovedInitialEquationLst;
      
          input Absyn.Program p;
      
          input Absyn.Path className;
      
          input String filenamePrefix;
      
          input Option<SimCode.SimulationSettings> simSettingsOpt;
      
          input Absyn.FunctionArgs args;
      
          input BackendDAE.SymbolicJacobians inFMIDer = {};
      
          output list<String> libs;
      
          output String fileDir;
      
          output Real timeSimCode;
      
          output Real timeTemplates;
      
        protected
      
          list<String> includes, includeDirs,libPaths;
      
          list<SimCodeFunction.Function> functions;
      
          SimCode.SimCode simCode;
      
          list<SimCodeFunction.RecordDeclaration> recordDecls;
      
          Absyn.ComponentRef a_cref;
      
          tuple<Integer, UnorderedMap<DAE.Exp, Integer>, list<DAE.Exp>> literals;
      
          Integer numCheckpoints;
      
        algorithm
      
        974
          numCheckpoints:=ErrorExt.getNumCheckpoints();
      
          try
      
        974
          StackOverflow.clearStacktraceMessages();
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 974 times.

        974
          if Flags.isSet(Flags.GRAPHML) then
      
        ✗
            HpcOmTaskGraph.dumpTaskGraph(inBackendDAE, filenamePrefix);
      
        ✗
            BackendDump.dumpBackendDAEBipartiteGraph(inBackendDAE, "BipartiteGraph_CompleteDAE_"+filenamePrefix);
      
          end if;
      
        974
          System.realtimeTick(ClockIndexes.RT_CLOCK_SIMCODE);
      
        974
          a_cref := AbsynUtil.pathToCref(className);
      
        974
          fileDir := ProgramUtil.getFileDir(a_cref, p);
      
        974
          (libs, libPaths, includes, includeDirs, recordDecls, functions, literals) := SimCodeUtilShared.createFunctions(p, inBackendDAE.shared.functionTree);
      
        974
          simCode := createSimCode(inBackendDAE, inInitDAE, inInitDAE_lambda0, inInlineData, inRemovedInitialEquationLst, className, filenamePrefix, fileDir, functions, includes, includeDirs, libs,libPaths, p, simSettingsOpt, recordDecls, literals, args,inFMIDer=inFMIDer);
      
        974
          timeSimCode := System.realtimeTock(ClockIndexes.RT_CLOCK_SIMCODE);
      
        974
          ExecStat.execStat("SimCode");
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 974 times.

        974
          if Flags.isSet(Flags.SERIALIZED_SIZE) then
      
        ✗
            serializeNotify(simCode, "SimCode");
      
        ✗
            ExecStat.execStat("Serialize simCode");
      
          end if;
      
        974
          System.realtimeTick(ClockIndexes.RT_CLOCK_TEMPLATES);
      
        974
          callTargetTemplates(simCode, Config.simCodeTarget());
      
        974
          timeTemplates := System.realtimeTock(ClockIndexes.RT_CLOCK_TEMPLATES);
      
        974
          ExecStat.execStat("Templates");
      
          1/2✓ Branch 0 taken 974 times.
✗ Branch 1 not taken.

        974
          return;
      
          else
      
        ✗
          setGlobalRoot(Global.stackoverFlowIndex, NONE());
      
        ✗
          ErrorExt.rollbackNumCheckpoints(ErrorExt.getNumCheckpoints()-numCheckpoints);
      
        ✗
          Error.addInternalError(StackOverflow.errorPrefix() + " in " + getInstanceName() + "...\n" + stringDelimitList(StackOverflow.readableStacktraceMessages(), "\n"), sourceInfo());
      
          /* Do not fail or we can loop too much */
      
        ✗
          StackOverflow.clearStacktraceMessages();
      
          end try annotation(__OpenModelica_stackOverflowCheckpoint=true);
      
        ✗
          fail();
      
        end generateModelCode;
      
        protected function createSimCode "
      
          SimCode generator switch - if the NUMPROC-Flag is set, the simcode will be extended with parallel informations."
      
          input BackendDAE.BackendDAE inBackendDAE;
      
          input BackendDAE.BackendDAE inInitDAE;
      
          input Option<BackendDAE.BackendDAE> inInitDAE_lambda0;
      
          input Option<BackendDAE.InlineData> inInlineData;
      
          input list<BackendDAE.Equation> inRemovedInitialEquationLst;
      
          input Absyn.Path inClassName;
      
          input String filenamePrefix;
      
          input String inString11;
      
          input list<SimCodeFunction.Function> functions;
      
          input list<String> externalFunctionIncludes;
      
          input list<String> includeDirs;
      
          input list<String> libs;
      
          input list<String> libPaths;
      
          input Absyn.Program program;
      
          input Option<SimCode.SimulationSettings> simSettingsOpt;
      
          input list<SimCodeFunction.RecordDeclaration> recordDecls;
      
          input tuple<Integer, UnorderedMap<DAE.Exp, Integer>, list<DAE.Exp>> literals;
      
          input Absyn.FunctionArgs args;
      
          input Boolean isFMU=false;
      
          input String FMUVersion="";
      
          input String fmuTargetName="";
      
          input BackendDAE.SymbolicJacobians inFMIDer = {};
      
          output SimCode.SimCode simCode;
      
        algorithm
      
          // FIXME This matchcontinue is extremely horrible! Please remove it
      
          simCode := matchcontinue args
      
            local
      
              Integer numProc;
      
              SimCode.SimCode tmpSimCode;
      
            case _ algorithm
      
              // MULTI_RATE PARTITIONINIG
      
          1/2✓ Branch 1 taken 1060 times.
✗ Branch 2 not taken.

        1060
              true := Flags.isSet(Flags.MULTIRATE_PARTITION);
      
        ✗
            then HpcOmSimCodeMain.createSimCode(inBackendDAE, inInitDAE, inInitDAE_lambda0, inRemovedInitialEquationLst, inClassName, filenamePrefix, inString11, functions, externalFunctionIncludes, includeDirs, libs,libPaths, program, simSettingsOpt, recordDecls, literals, args);
      
            case _ algorithm
      
          2/2✓ Branch 1 taken 1052 times.
✓ Branch 2 taken 8 times.

        1060
              true := Flags.isSet(Flags.HPCOM);
      
              // either generate code for profiling or for parallel simulation
      
              //bcall(not stringEq("none",Flags.getConfigString(Flags.PROFILING_LEVEL)),print,"Deactivate profiling if you want to simulate in parallel.\n");
      
              //_ = bcallret2((not stringEq("none",Flags.getConfigString(Flags.PROFILING_LEVEL))) and (not stringEq("all_perf",Flags.getConfigString(Flags.PROFILING_LEVEL))),FlagsUtil.set,Flags.HPCOM,false,true);
      
              //true = stringEq("none",Flags.getConfigString(Flags.PROFILING_LEVEL)) or stringEq("all_perf",Flags.getConfigString(Flags.PROFILING_LEVEL));
      
        8
              numProc := Flags.getConfigInt(Flags.NUM_PROC);
      
          2/2✓ Branch 0 taken 7 times.
✓ Branch 1 taken 1 time.

        8
              true := numProc == 0;
      
        1
              print("hpcom computes the ideal number of processors. If you want to set the number manually, use the flag +n=_\n");
      
        1
            then HpcOmSimCodeMain.createSimCode(inBackendDAE, inInitDAE, inInitDAE_lambda0, inRemovedInitialEquationLst, inClassName, filenamePrefix, inString11, functions, externalFunctionIncludes, includeDirs, libs,libPaths,program, simSettingsOpt, recordDecls, literals, args);
      
            case _ algorithm
      
          2/2✓ Branch 1 taken 1052 times.
✓ Branch 2 taken 7 times.

        1059
              true := Flags.isSet(Flags.HPCOM);
      
              // either generate code for profiling or for parallel simulation
      
              //bcall((not stringEq("none",Flags.getConfigString(Flags.PROFILING_LEVEL))) and (not stringEq("all_perf",Flags.getConfigString(Flags.PROFILING_LEVEL))),print,"Deactivate profiling if you want to simulate in parallel.\n");
      
              //_ = bcallret2(not stringEq("none",Flags.getConfigString(Flags.PROFILING_LEVEL)),FlagsUtil.set,Flags.HPCOM,false,true);
      
              //true = stringEq("none",Flags.getConfigString(Flags.PROFILING_LEVEL)) or stringEq("all_perf",Flags.getConfigString(Flags.PROFILING_LEVEL));
      
        7
              numProc := Flags.getConfigInt(Flags.NUM_PROC);
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 7 times.

        7
              true := (numProc > 0);
      
        7
            then HpcOmSimCodeMain.createSimCode(inBackendDAE, inInitDAE, inInitDAE_lambda0, inRemovedInitialEquationLst, inClassName, filenamePrefix, inString11, functions, externalFunctionIncludes, includeDirs, libs, libPaths,program,simSettingsOpt, recordDecls, literals, args);
      
            else algorithm
      
        1052
              (tmpSimCode, _) := SimCodeUtil.createSimCode(inBackendDAE, inInitDAE, inInitDAE_lambda0, inInlineData, inRemovedInitialEquationLst, inClassName, filenamePrefix, inString11, functions, externalFunctionIncludes, includeDirs, libs,libPaths,program, simSettingsOpt, recordDecls, literals, args, isFMU=isFMU, FMUVersion=FMUVersion, fmuTargetName=fmuTargetName, inFMIDer=inFMIDer);
      
            then tmpSimCode;
      
          end matchcontinue;
      
        end createSimCode;
      
        function generateModelCodeNewBackend
      
          input NBackendDAE.BackendDAE bdae;
      
          input Absyn.Path className;
      
          input String fileNamePrefix;
      
          input Option<SimCode.SimulationSettings> simSettingsOpt;
      
          input TranslateModelKind kind = TranslateModelKind.NORMAL() "FMU() to generate an FMU instead of a simulation";
      
          output list<String> libs;
      
          output String fileDir;
      
          output Real timeSimCode = 0.0;
      
          output Real timeTemplates = 0.0;
      
          output AvlTreePathFunction.Tree oldFunctionTree;
      
        protected
      
          Integer numCheckpoints;
      
          NSimCode.SimCode simCode;
      
          SimCode.SimCode oldSimCode;
      
        algorithm
      
        188
          numCheckpoints := ErrorExt.getNumCheckpoints();
      
        188
          StackOverflow.clearStacktraceMessages();
      
          try
      
        188
            System.realtimeTick(ClockIndexes.RT_CLOCK_SIMCODE);
      
        188
            (simCode, oldFunctionTree) := NSimCode.SimCode.create(bdae, className, fileNamePrefix, simSettingsOpt, SymbolTable.getAbsyn());
      
          2/2✓ Branch 1 taken 6 times.
✓ Branch 2 taken 182 times.

        188
            if Flags.isSet(Flags.DUMP_SIMCODE) then
      
        6
              print(NSimCode.SimCode.toString(simCode));
      
            end if;
      
        188
            (fileDir, libs) := NSimCode.SimCode.getDirectoryAndLibs(simCode);
      
        188
            setGlobalRoot(Global.timeIndependentVars, NONE());
      
        188
            oldSimCode := NSimCode.SimCode.convert(simCode);
      
          2/2✓ Branch 1 taken 6 times.
✓ Branch 2 taken 182 times.

        188
            if Flags.isSet(Flags.DUMP_SIMCODE) then
      
        6
              SimCodeUtil.dumpSimCodeDebug(oldSimCode);
      
            end if;
      
        188
            timeSimCode := System.realtimeTock(ClockIndexes.RT_CLOCK_SIMCODE);
      
        188
            ExecStat.execStat("SimCode");
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 188 times.

        188
            if Flags.isSet(Flags.SERIALIZED_SIZE) then
      
        ✗
              serializeNotify(oldSimCode, "SimCode");
      
        ✗
              ExecStat.execStat("Serialize simCode");
      
            end if;
      
        188
            System.realtimeTick(ClockIndexes.RT_CLOCK_TEMPLATES);
      
            () := match kind
      
              local String fmuType, fmuTarget;
      
              case TranslateModelKind.FMU(kind = fmuType, targetName = fmuTarget) algorithm
      
                // The FMU model interface source files are written into the FMU's tmp
      
                // sources directory; mirror the old backend (see createSimCode).
      
        5
                oldSimCode.fmuTargetName := fmuTarget;
      
        10
                oldSimCode.fullPathPrefix := Util.hashFileNamePrefix(fileNamePrefix) + ".fmutmp/sources/";
      
                // cref -> value reference map used by the FMU model interface templates (lookupVR).
      
        5
                oldSimCode.valueReferences := SimCodeUtil.getValueReferenceMapping(oldSimCode.modelInfo);
      
                // Minimal ModelStructure (state derivatives + outputs) so an FMI master
      
                // can drive Model Exchange integration. TODO: add dependencies.
      
        5
                oldSimCode.modelStructure := SimCodeUtil.createMinimalFMIModelStructure(oldSimCode.modelInfo);
      
        5
                callTargetTemplatesFMU(oldSimCode, Config.simCodeTarget(), FMI.getFMIVersionString(), fmuType, SymbolTable.getAbsyn(), kind.translateOnly);
      
              then ();
      
              else algorithm
      
        183
                callTargetTemplates(oldSimCode, Config.simCodeTarget());
      
              then ();
      
            end match;
      
        188
            timeTemplates := System.realtimeTock(ClockIndexes.RT_CLOCK_TEMPLATES);
      
        188
            ExecStat.execStat("Templates");
      
          else
      
        ✗
            setGlobalRoot(Global.stackoverFlowIndex, NONE());
      
        ✗
            ErrorExt.rollbackNumCheckpoints(ErrorExt.getNumCheckpoints()-numCheckpoints);
      
        ✗
            Error.addInternalError(StackOverflow.errorPrefix() + " in " + getInstanceName() + "...\n" + stringDelimitList(StackOverflow.readableStacktraceMessages(), "\n"), sourceInfo());
      
            /* Do not fail or we can loop too much */
      
        ✗
            StackOverflow.clearStacktraceMessages();
      
        ✗
            fail();
      
          end try annotation(__OpenModelica_stackOverflowCheckpoint=true);
      
        end generateModelCodeNewBackend;
      
        protected
      
        partial function PartialRunTpl
      
          output tuple<Boolean,list<String>> res;
      
        end PartialRunTpl;
      
        partial function FuncText
      
          input Tpl.Text txt;
      
          output Tpl.Text out_txt;
      
        end FuncText;
      
        function runTplWriteFile
      
          extends PartialRunTpl;
      
          input FuncText func;
      
          input String file;
      
        protected
      
          Integer nErr;
      
        algorithm
      
          res := (false,{});
      
          try
      
        25806
            SimCodeCodegenUtil.resetFunctionIndex();
      
        25806
            SimCodeFunctionUtil.codegenResetTryThrowIndex();
      
          2/2✓ Branch 1 taken 46 times.
✓ Branch 2 taken 25760 times.

        25806
            if /*Config.acceptMetaModelicaGrammar() or*/ Flags.isSet(Flags.GEN_DEBUG_SYMBOLS) then
      
        46
              Tpl.textFileConvertLines(Tpl.tplCallWithFailErrorNoArg(func), file);
      
            else
      
        25760
              nErr := Error.getNumErrorMessages();
      
        25760
              Tpl.closeFile(Tpl.tplCallWithFailErrorNoArg(func,Tpl.redirectToFile(Tpl.emptyTxt, file)));
      
        25760
              Tpl.failIfTrue(Error.getNumErrorMessages() > nErr);
      
            end if;
      
        25806
            res := (true,SimCodeUtil.getFunctionIndex());
      
          else
      
          end try;
      
        end runTplWriteFile;
      
        function runTpl
      
          extends PartialRunTpl;
      
          input FuncText func;
      
        algorithm
      
          res := (false,{});
      
          try
      
        2244
            SimCodeCodegenUtil.resetFunctionIndex();
      
        2244
            SimCodeFunctionUtil.codegenResetTryThrowIndex();
      
        2244
            Tpl.tplCallWithFailErrorNoArg(func);
      
        2244
            res := (true,SimCodeUtil.getFunctionIndex());
      
          else
      
          end try;
      
        end runTpl;
      
        // TODO: use another switch ... later make it first class option like -target or so
      
        protected function callTargetTemplates "
      
          Generate target code by passing the SimCode data structure to templates."
      
          input SimCode.SimCode simCode;
      
          input String target;
      
        protected
      
          partial function Func
      
            input Tpl.Text txt;
      
            input SimCode.SimCode a_simCode;
      
            output Tpl.Text out_txt;
      
          end Func;
      
          partial function FuncText
      
            input Tpl.Text txt;
      
            output Tpl.Text out_txt;
      
          end FuncText;
      
          partial function BoolFunc
      
            input Tpl.Text txt;
      
            input SimCode.SimCode a_simCode;
      
            output Tpl.Text out_txt;
      
          end BoolFunc;
      
          Func func;
      
          Tpl.Text txt;
      
          function runToStr
      
            extends PartialRunTpl;
      
            input Func func;
      
            partial function Func
      
              output String str;
      
            end Func;
      
          algorithm
      
            res := (false,{});
      
            try
      
        2245
              SimCodeCodegenUtil.resetFunctionIndex();
      
        2245
              SimCodeFunctionUtil.codegenResetTryThrowIndex();
      
          1/2✓ Branch 0 taken 2245 times.
✗ Branch 1 not taken.

        2245
              func();
      
        2245
              res := (true,SimCodeUtil.getFunctionIndex());
      
            else
      
            end try;
      
          end runToStr;
      
          function runCodegenFunc
      
            input PartialRunTpl func;
      
            output tuple<Boolean,list<String>> res;
      
          protected
      
            Boolean b;
      
          algorithm
      
          1/2✓ Branch 0 taken 31417 times.
✗ Branch 1 not taken.

        31417
            res as (b,_) := func();
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 31417 times.

        31417
            if not b then
      
        ✗
              Error.addInternalError(System.dladdr(func) + " failed\n", sourceInfo());
      
            end if;
      
          1/2✓ Branch 1 taken 31417 times.
✗ Branch 2 not taken.

        31417
            if ErrorExt.getNumMessages() > 0 then
      
        ✗
              ErrorExt.moveMessagesToParentThread();
      
            end if;
      
          end runCodegenFunc;
      
          function runToBoolean
      
            input Func func;
      
            output tuple<Boolean,list<String>> res;
      
          protected
      
            partial function Func
      
              output Boolean b;
      
            end Func;
      
          algorithm
      
          1/2✓ Branch 0 taken 1122 times.
✗ Branch 1 not taken.

        1122
            res := (func(),{});
      
          end runToBoolean;
      
          AvlSetString.Tree generatedObjects=AvlSetString.EMPTY();
      
        algorithm
      
        1166
          setGlobalRoot(Global.optionSimCode, SOME(simCode));
      
        1166
          SimCodeFunctionUtil.setTrivialRecords(simCode.recordDecls);
      
          () := match target
      
            local
      
              String str, guid;
      
              list<PartialRunTpl> codegenFuncs;
      
              Integer numThreads, n;
      
              list<tuple<Boolean,list<String>>> res = {};
      
              list<String> strs, tmp, matches;
      
              String esp32Dir;
      
            case "Cpp"
      
              algorithm
      
        40
                callTargetTemplatesCPP(simCode);
      
          2/2✓ Branch 0 taken 80 times.
✓ Branch 1 taken 40 times.

        120
                for str in {"CalcHelperMain.o\n",".so\n"} loop
      
        80
                  generatedObjects := AvlSetString.add(generatedObjects, "OMCpp" + simCode.fileNamePrefix + str);
      
                end for;
      
              then ();
      
            case "C"
      
              algorithm
      
        1122
                guid := System.getUUIDStr();
      
        1122
                System.realtimeTick(ClockIndexes.RT_PROFILER0);
      
                codegenFuncs := {};
      
        1122
                codegenFuncs := (function runToBoolean(func=function SerializeInitXML.simulationInitFileReturnBool(simCode=simCode, guid=guid))) :: codegenFuncs;
      
        1122
                codegenFuncs := (function runTpl(func=function CodegenC.translateModel(in_a_simCode=simCode))) :: codegenFuncs;
      
          2/2✓ Branch 21 taken 23562 times.
✓ Branch 22 taken 1122 times.

        25806
                for f in {
      
                  // external objects
      
                  (CodegenC.simulationFile_exo, "_01exo.c"),
      
                  // non-linear systems
      
                  (CodegenC.simulationFile_nls, "_02nls.c"),
      
                  (CodegenC.simulationFile_lsy, "_03lsy.c"),
      
                  (CodegenC.simulationFile_set, "_04set.c"),
      
                  (CodegenC.simulationFile_evt, "_05evt.c"),
      
                  (CodegenC.simulationFile_inz, "_06inz.c"),
      
                  (CodegenC.simulationFile_dly, "_07dly.c"),
      
                  (CodegenC.simulationFile_bnd, "_08bnd.c"),
      
                  (CodegenC.simulationFile_alg, "_09alg.c"),
      
                  (CodegenC.simulationFile_asr, "_10asr.c"),
      
                  (CodegenC.simulationFile_jac, "_12jac.c"),
      
                  (CodegenC.simulationFile_jac_header, "_12jac.h"),
      
                  (CodegenC.simulationFile_opt, "_13opt.c"),
      
                  (CodegenC.simulationFile_opt_header, "_13opt.h"),
      
                  (CodegenC.simulationFile_lnz, "_14lnz.c"),
      
                  (CodegenC.simulationFile_syn, "_15syn.c"),
      
                  (CodegenC.simulationFile_dae, "_16dae.c"),
      
                  (CodegenC.simulationFile_dae_header, "_16dae.h"),
      
                  (CodegenC.simulationFile_inl, "_17inl.c"),
      
                  (CodegenC.simulationFile_spd, "_18spd.c"),
      
                  (CodegenC.simulationHeaderFile, "_model.h")
      
                } loop
      
        23562
                  (func,str) := f;
      
        23562
                  codegenFuncs := (function runTplWriteFile(func=function func(a_simCode=simCode), file=simCode.fileNamePrefix + str)) :: codegenFuncs;
      
        23562
                  (n,matches) := System.regex(str, "\\(.*\\)[.]c$", 2, false, false);
      
          2/2✓ Branch 0 taken 19074 times.
✓ Branch 1 taken 4488 times.

        23562
                  if n==2 then
      
          2/4✗ Branch 0 not taken.
✓ Branch 1 taken 19074 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 19074 times.

        19074
                    _::str::_ := matches;
      
        19074
                    generatedObjects := AvlSetString.add(generatedObjects, simCode.fileNamePrefix + str + ".o\n");
      
                  end if;
      
                end for;
      
          2/2✓ Branch 0 taken 4488 times.
✓ Branch 1 taken 1122 times.

        5610
                for str in {"_11mix.o\n","_functions.o\n","_info.json\n","_init.xml\n"} loop
      
        4488
                  generatedObjects := AvlSetString.add(generatedObjects, simCode.fileNamePrefix + str);
      
                end for;
      
        1122
                codegenFuncs := (function runTpl(func=function CodegenC.simulationFile_mixAndHeader(a_simCode=simCode, a_modelNamePrefix=simCode.fileNamePrefix))) :: codegenFuncs;
      
        1122
                codegenFuncs := (function runTplWriteFile(func=function CodegenC.simulationFile(in_a_simCode=simCode, in_a_guid=guid, in_a_isModelExchangeFMU=""), file=simCode.fileNamePrefix + ".c")) :: codegenFuncs;
      
        1122
                codegenFuncs := (function runTplWriteFile(func=function CodegenC.simulationFunctionsFile(a_filePrefix=simCode.fileNamePrefix, a_functions=simCode.modelInfo.functions, a_genericCalls=simCode.generic_loop_calls), file=simCode.fileNamePrefix + "_functions.c")) :: codegenFuncs;
      
        1122
                codegenFuncs := (function runToStr(func=function SerializeSparsityPattern.serialize(code=simCode))) :: codegenFuncs;
      
          2/2✓ Branch 1 taken 1121 times.
✓ Branch 2 taken 1 time.

        2243
                codegenFuncs := (function runToStr(func=function SerializeModelInfo.serialize(code=simCode, withOperations=Flags.isSet(Flags.INFO_XML_OPERATIONS)))) :: codegenFuncs;
      
          2/2✓ Branch 1 taken 1 time.
✓ Branch 2 taken 1121 times.

        1122
                if Flags.getConfigBool(Flags.PARMODAUTO) then
      
          1/2✓ Branch 1 taken 1 time.
✗ Branch 2 not taken.

        2
                  codegenFuncs := (function runToStr(func=function SerializeTaskSystemInfo.serializeParMod(code=simCode, withOperations=Flags.isSet(Flags.INFO_XML_OPERATIONS)))) :: codegenFuncs;
      
        1
                  generatedObjects := AvlSetString.add(generatedObjects, simCode.fileNamePrefix + "_ode.json\n");
      
                end if;
      
                if Autoconf.os == "Windows_NT" then
      
                  codegenFuncs := (function runToStr(func=function SimCodeUtil.generateRunnerBatScript(code=simCode))) :: codegenFuncs;
      
                end if;
      
                // Test the parallel code generator in the test suite. Should give decent results given that the task is disk-intensive.
      
          1/2✓ Branch 1 taken 1122 times.
✗ Branch 2 not taken.

        1122
                numThreads := max(1, if Testsuite.isRunning() then min(2, System.numProcessors()) else Config.noProc());
      
          2/4✓ Branch 1 taken 1122 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 1122 times.

        1122
                if (not Flags.isSet(Flags.PARALLEL_CODEGEN)) or numThreads==1 then
      
        ✗
                  res := list(codegen_func() for codegen_func in codegenFuncs);
      
                else
      
        1122
                  res := System.launchParallelTasks(numThreads, codegenFuncs, runCodegenFunc);
      
                end if;
      
                strs := {};
      
          2/2✓ Branch 0 taken 31417 times.
✓ Branch 1 taken 1122 times.

        32539
                for tpl in res loop
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 31417 times.

        31417
                  (true,tmp) := tpl;
      
        31417
                  strs := List.append_reverse(tmp, strs);
      
                end for;
      
        1122
                strs := listReverse(strs);
      
                // Some files are only sometimes generated, like initialization when it has >2000 equations
      
          2/2✓ Branch 0 taken 311 times.
✓ Branch 1 taken 1122 times.

        1433
                for str in strs loop
      
        311
                  (n,matches) := System.regex(str, "\\(.*\\)[.]c$", 2, false, false);
      
          1/2✓ Branch 0 taken 311 times.
✗ Branch 1 not taken.

        311
                  if n==2 then
      
          2/4✗ Branch 0 not taken.
✓ Branch 1 taken 311 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 311 times.

        311
                    _::str::_ := matches;
      
        311
                    generatedObjects := AvlSetString.add(generatedObjects, simCode.fileNamePrefix + str + ".o\n");
      
                  end if;
      
                end for;
      
                // write the makefile last!
      
        1122
                Tpl.closeFile(Tpl.tplCallWithFailError3(CodegenC.simulationMakefile,Config.simulationCodeTarget(),simCode,strs,txt=Tpl.redirectToFile(Tpl.emptyTxt, simCode.fileNamePrefix+".makefile")));
      
              then ();
      
            case "ExperimentalEmbeddedC"
      
              algorithm
      
        ✗
                System.realtimeTick(ClockIndexes.RT_PROFILER0);
      
                codegenFuncs := {};
      
        ✗
                for f in {
      
                  (CodegenEmbeddedC.mainFile, "_main.c")
      
                } loop
      
        ✗
                  (func,str) := f;
      
        ✗
                  codegenFuncs := (function runTplWriteFile(func=function func(a_simCode=simCode), file=simCode.fileNamePrefix + str)) :: codegenFuncs;
      
                end for;
      
                // Test the parallel code generator in the test suite. Should give decent results given that the task is disk-intensive.
      
        ✗
                numThreads := max(1, if Testsuite.isRunning() then min(2, System.numProcessors()) else Config.noProc());
      
        ✗
                if (not Flags.isSet(Flags.PARALLEL_CODEGEN)) or numThreads==1 then
      
        ✗
                  res := list(func() for func in codegenFuncs);
      
                else
      
        ✗
                  res := System.launchParallelTasks(numThreads, codegenFuncs, runCodegenFunc);
      
                end if;
      
                strs := {};
      
        ✗
                for tpl in res loop
      
        ✗
                  (true,tmp) := tpl;
      
        ✗
                  strs := List.append_reverse(tmp, strs);
      
                end for;
      
        ✗
                strs := listReverse(strs);
      
                // write the makefile last!
      
              then ();
      
            case "ESP32"
      
              algorithm
      
        ✗
                System.realtimeTick(ClockIndexes.RT_PROFILER0);
      
                // The generated project is an ESP-IDF one, which has to be laid out as
      
                // a project directory holding a main component.
      
        ✗
                esp32Dir := simCode.fileNamePrefix + "_esp32";
      
        ✗
                if not Util.createDirectoryTree(esp32Dir + "/main") then
      
        ✗
                  Error.addInternalError("Failed to create directory " + esp32Dir + "/main", sourceInfo());
      
        ✗
                  fail();
      
                end if;
      
        ✗
                runTplWriteFile(func = function CodegenESP32.projectCMakeFile(a_simCode=simCode),
      
                                file = esp32Dir + "/CMakeLists.txt");
      
        ✗
                runTplWriteFile(func = function CodegenESP32.componentCMakeFile(a_simCode=simCode),
      
                                file = esp32Dir + "/main/CMakeLists.txt");
      
        ✗
                runTplWriteFile(func = function CodegenESP32.sdkconfigFile(a_simCode=simCode),
      
                                file = esp32Dir + "/sdkconfig.defaults");
      
        ✗
                runTplWriteFile(func = function CodegenESP32.modelHeaderFile(a_simCode=simCode),
      
                                file = esp32Dir + "/main/" + simCode.fileNamePrefix + "_model.h");
      
        ✗
                runTplWriteFile(func = function CodegenESP32.modelSourceFile(a_simCode=simCode),
      
                                file = esp32Dir + "/main/" + simCode.fileNamePrefix + "_model.c");
      
        ✗
                runTplWriteFile(func = function CodegenESP32.appMainFile(a_simCode=simCode),
      
                                file = esp32Dir + "/main/main.c");
      
        ✗
                runTplWriteFile(func = function CodegenESP32.readmeFile(a_simCode=simCode),
      
                                file = esp32Dir + "/README.md");
      
              then ();
      
            case "JavaScript" algorithm
      
        ✗
              guid := System.getUUIDStr();
      
        ✗
              Tpl.tplNoret(CodegenC.translateModel, simCode);
      
        ✗
              SerializeInitXML.simulationInitFile(simCode, guid);
      
        ✗
              System.covertTextFileToCLiteral(simCode.fileNamePrefix+"_init.xml",simCode.fileNamePrefix+"_init.c", Config.simulationCodeTarget());
      
        ✗
              SerializeSparsityPattern.serialize(simCode);
      
        ✗
              SerializeModelInfo.serialize(simCode, Flags.isSet(Flags.INFO_XML_OPERATIONS));
      
        ✗
              Tpl.tplNoret(CodegenJS.markdownFile, simCode);
      
            then ();
      
            case "XML" algorithm
      
        4
              Tpl.tplNoret(CodegenXML.translateModel, simCode);
      
            then ();
      
            case "wasm-jit" algorithm
      
              // translateModel records the lowering error and fails, so the message
      
              // surfaces (getErrorString / OMEdit) instead of a later "no prepared model".
      
        ✗
              CodegenWasmJit.translateModel(simCode);
      
              // The wasm module carries its own metadata; *_init.xml is only read by
      
              // OMEdit's variable browser and *_info.json only for debugging.
      
        ✗
              if Flags.isSet(Flags.OMEDIT) then
      
        ✗
                guid := System.getUUIDStr();
      
        ✗
                SerializeInitXML.simulationInitFile(simCode, guid);
      
              end if;
      
        ✗
              if Flags.isSet(Flags.INFO_XML_OPERATIONS) then
      
        ✗
                SerializeModelInfo.serialize(simCode, true);
      
              end if;
      
            then ();
      
            case "wasm" algorithm
      
              // Standalone WASI command module (merged model + runtime); run on the
      
              // desktop with wasmtime. The module carries its own metadata, so no
      
              // _init.xml is needed for a CLI simulate. emitStandalone records the error
      
              // and fails if lowering fails, instead of emitting a silent empty module.
      
        ✗
              CodegenWasmJit.emitStandalone(simCode);
      
            then ();
      
            case "None"
      
            then ();
      
            else algorithm
      
        ✗
              str := "Unknown template target: " + target;
      
        ✗
              Error.addMessage(Error.INTERNAL_ERROR, {str});
      
        ✗
            then fail();
      
          end match;
      
          1/2✓ Branch 1 taken 1166 times.
✗ Branch 2 not taken.

        1166
          if Testsuite.isRunning() then
      
        1166
            System.appendFile(Testsuite.getTempFilesFile(), stringAppendList(AvlSetString.listKeys(generatedObjects)));
      
          end if;
      
        1166
          setGlobalRoot(Global.optionSimCode, NONE());
      
        end callTargetTemplates;
      
        protected function callTargetTemplatesCPP
      
          input SimCode.SimCode iSimCode;
      
        algorithm
      
          2/2✓ Branch 1 taken 1 time.
✓ Branch 2 taken 39 times.

        40
          if(Flags.isSet(Flags.HPCOM)) then
      
        1
            Tpl.tplNoret(CodegenCppHpcom.translateModel, iSimCode);
      
          else
      
        39
            Tpl.tplNoret(CodegenCpp.translateModel, iSimCode);
      
          end if;
      
        end callTargetTemplatesCPP;
      
        protected function visualizationCadFiles
      
          "Absolute paths of the CAD files referenced as shape types in the visxml, so the
      
           exported FMU can embed them (a portable FMU cannot resolve the modelica:// URIs
      
           on another machine)."
      
          input String visualXmlFile;
      
          output list<String> paths = {};
      
        protected
      
          Absyn.Program program;
      
          Boolean prevType = false;
      
          String low, path;
      
        algorithm
      
        ✗
          if not System.regularFileExists(visualXmlFile) then
      
        ✗
            return;
      
          end if;
      
        ✗
          program := SymbolTable.getAbsyn();
      
          // strtok on "<>" yields the type text as the token right after each "type".
      
        ✗
          for tok in System.strtok(System.readFile(visualXmlFile), "<>") loop
      
        ✗
            if prevType then
      
        ✗
              low := System.tolower(tok);
      
        ✗
              if StringUtil.endsWith(low, ".dxf") or StringUtil.endsWith(low, ".stl") or
      
                 StringUtil.endsWith(low, ".obj") or StringUtil.endsWith(low, ".3ds") then
      
        ✗
                if System.stringFind(tok, "modelica://") == 0 then
      
        ✗
                  path := ProgramUtil.getFullPathFromUri(program, tok, true);
      
                elseif System.stringFind(tok, "file://") == 0 then
      
        ✗
                  path := substring(tok, 8, stringLength(tok));
      
                else
      
                  path := tok;
      
                end if;
      
        ✗
                if not listMember(path, paths) then
      
                  paths := path :: paths;
      
                end if;
      
              end if;
      
            end if;
      
        ✗
            prevType := stringEqual(tok, "type");
      
          end for;
      
        ✗
          paths := listReverse(paths);
      
        end visualizationCadFiles;
      
        protected function fmuTranslationKind
      
          "What of `fmuType` a translation depends on. `introduceOutputRealDerivatives` is
      
           added for a pure Co-Simulation export and nothing else, so me and me_cs share
      
           one translation."
      
          input String FMUType;
      
          output String kind = if FMI.isFMICSType(FMUType) and not FMI.isFMIMEType(FMUType) then "cs" else "other";
      
        end fmuTranslationKind;
      
        protected function fmuTranslationFlags
      
          "The flag state a translation depends on, copied because Flags hands out the
      
           live arrays.
      
           BUILDING_MODEL is normalised out: `translateModelCallBackendOB` sets it on
      
           itself and the scripting wrapper's `saveFlags` clears it again, so a snapshot
      
           taken during a translation never matches one taken before the next. Another
      
           flag a translation sets on itself would only make the export miss, which is
      
           the safe direction."
      
          output array<Boolean> debugFlags;
      
          output array<Flags.FlagData> configFlags;
      
        protected
      
          Integer buildingModel;
      
        algorithm
      
        ✗
          Flags.FLAGS(debugFlags = debugFlags, configFlags = configFlags) := Flags.getFlags();
      
        ✗
          debugFlags := arrayCopy(debugFlags);
      
        ✗
          configFlags := arrayCopy(configFlags);
      
          Flags.CONFIG_FLAG(index = buildingModel) := Flags.BUILDING_MODEL;
      
        ✗
          arrayUpdate(configFlags, buildingModel, Flags.BOOL_FLAG(false));
      
        end fmuTranslationFlags;
      
        public function keepFmuTranslation
      
          "Remember this translation for the buildModelFMU that follows. The Absyn program
      
           is kept by reference, since its identity is exactly the staleness test."
      
          input SimCode.SimCode simCode;
      
          input String FMUVersion;
      
          input String FMUType;
      
          input Absyn.Path className;
      
        protected
      
          array<Boolean> debugFlags;
      
          array<Flags.FlagData> configFlags;
      
        algorithm
      
        ✗
          (debugFlags, configFlags) := fmuTranslationFlags();
      
        ✗
          setGlobalRoot(Global.fmuTranslation, SOME(FMU_TRANSLATION(simCode, FMUVersion, fmuTranslationKind(FMUType),
      
            className, SymbolTable.getAbsyn(), debugFlags, configFlags)));
      
        end keepFmuTranslation;
      
        protected function sameFmuSettings
      
          "Whether two SimulationSettings describe the same translation. `method` is left
      
           out: it reaches the model kernel and not modelDescription.xml, and the emitter
      
           re-lowers the kernel for a method the kept one was not built with — so choosing
      
           a Co-Simulation solver at export costs a lowering rather than a translation."
      
          input Option<SimCode.SimulationSettings> a;
      
          input Option<SimCode.SimulationSettings> b;
      
          output Boolean same;
      
        protected
      
          SimCode.SimulationSettings x, y;
      
        algorithm
      
          same := match (a, b)
      
            case (SOME(x), SOME(y))
      
              algorithm
      
        ✗
                x.method := "";
      
        ✗
                y.method := "";
      
        ✗
              then valueEq(x, y);
      
            case (NONE(), NONE()) then true;
      
            else false;
      
          end match;
      
        end sameFmuSettings;
      
        public function fmuTranslationFor
      
          "The kept translation when it is the one this export needs: same class, same FMI
      
           version, same kind of interface and the same experiment, translated from the
      
           program still loaded and under the flags still set. NONE() otherwise, and then
      
           the caller translates."
      
          input String FMUVersion;
      
          input String FMUType;
      
          input Absyn.Path className;
      
          input Option<SimCode.SimulationSettings> settings;
      
          output Option<SimCode.SimCode> simCode = NONE();
      
        protected
      
          array<Boolean> debugFlags;
      
          array<Flags.FlagData> configFlags;
      
          Option<FmuTranslation> kept = getGlobalRoot(Global.fmuTranslation) "getGlobalRoot is untyped: the match subject needs a declared type";
      
        algorithm
      
          () := match kept
      
            local
      
              FmuTranslation t;
      
            case SOME(t as FMU_TRANSLATION())
      
              guard AbsynUtil.pathEqual(t.className, className)
      
                    and t.FMUVersion == FMUVersion
      
                    and t.kind == fmuTranslationKind(FMUType)
      
                    and referenceEq(t.ast, SymbolTable.getAbsyn())
      
                    and sameFmuSettings(t.simCode.simulationSettingsOpt, settings)
      
              algorithm
      
        ✗
                (debugFlags, configFlags) := fmuTranslationFlags();
      
        ✗
                if Array.isEqual(t.debugFlags, debugFlags) and Array.isEqual(t.configFlags, configFlags) then
      
        ✗
                  simCode := SOME(t.simCode);
      
                end if;
      
              then ();
      
            else ();
      
          end match;
      
        end fmuTranslationFor;
      
        public function wasmFMUSimulationFlagsJson
      
          "The resources/<prefix>_flags.json a wasm FMU ships, the same one the C export
      
           does. The emitter applies its `s` flag at export, since the component is linked
      
           against one solver and cannot pick another at run time."
      
          input SimCode.SimCode simCode;
      
          output String json;
      
        algorithm
      
          json := match simCode.fmiSimulationFlags
      
            local
      
              SimCode.FmiSimulationFlags flags;
      
              String path;
      
        ✗
            case SOME(SimCode.FMI_SIMULATION_FLAGS_FILE(path=path)) then System.readFile(path);
      
        ✗
            case SOME(flags as SimCode.FMI_SIMULATION_FLAGS()) then
      
              Tpl.textString(CodegenFMUCommon.fmuSimulationFlagsFile(Tpl.emptyTxt, flags));
      
            else "";
      
          end match;
      
        end wasmFMUSimulationFlagsJson;
      
        public function emitWasmFMU
      
          "Render the FMI metadata and write the self-contained <name>.fmu: link the model
      
           kernel with the adapter into an fmi-ls-wasm component (host-free, all in Rust —
      
           no external wasm-merge/zip). Called either straight after the translation or,
      
           when translateModelFMU already did that translation, against the SimCode it
      
           kept — so the export is a link and an XML render rather than a second
      
           translation."
      
          input SimCode.SimCode simCode;
      
          input String FMUVersion;
      
          input String FMUType;
      
          input Absyn.Program program;
      
        protected
      
          String guid, modelDescriptionStr, simulationFlagsJson;
      
          String lsDaeManifestStr = "";
      
          String fmutmp = "", terminalsDir = "", documentationDir = "";
      
          list<SimCode.FmiTerminal> terminals;
      
          // `--fmuDirectory`: an export for an OpenModelica importer, which reads the
      
          // model description and the artifact and nothing else.
      
          Boolean bareExport = Flags.getConfigBool(Flags.FMU_DIRECTORY);
      
        algorithm
      
          // The templates look the SimCode up through getSimCode(); an export off a kept
      
          // translation has no callTargetTemplatesFMU around it to have set it.
      
        ✗
          setGlobalRoot(Global.optionSimCode, SOME(simCode));
      
        ✗
          SimCodeFunctionUtil.setTrivialRecords(simCode.recordDecls);
      
        ✗
          guid := System.getUUIDStr();
      
        ✗
          if not bareExport then
      
            // The C export's scratch directory, which terminalsAndIcons/ and documentation/
      
            // are staged in; old contents would be shipped verbatim.
      
        ✗
            fmutmp := Util.hashFileNamePrefix(simCode.fileNamePrefix) + ".fmutmp";
      
        ✗
            if System.directoryExists(fmutmp) and not System.removeDirectory(fmutmp) then
      
        ✗
              Error.addInternalError("Failed to remove directory: " + fmutmp, sourceInfo());
      
        ✗
              fail();
      
            end if;
      
          end if;
      
          // The same templates the C target uses, so the XML is byte-identical to it. No
      
          // sourceFiles: a wasm FMU carries no C. The XML declaration comes from
      
          // fmuModelDescriptionFile, which the C target reaches these through.
      
        ✗
          System.realtimeTick(ClockIndexes.RT_CLOCK_FMU_TEMPLATES);
      
        ✗
          if FMI.isFMIVersion20(FMUVersion) then
      
        ✗
            modelDescriptionStr := "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n" + Tpl.textString(
      
              CodegenFMU2.fmiModelDescription(Tpl.emptyTxt, simCode, guid, FMUType, {}));
      
          else
      
        ✗
            modelDescriptionStr := "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n" + Tpl.textString(
      
              CodegenFMU3.fmiModelDescription(Tpl.emptyTxt, simCode, guid, FMUType, {}));
      
        ✗
            ExecStat.execStat("FMU modelDescription.xml");
      
        ✗
            if isSome(simCode.daeModeData) and FMI.isFMIMEType(FMUType) then
      
        ✗
              lsDaeManifestStr := "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n" + Tpl.textString(
      
                CodegenFMU3.fmiLsDaeManifest(Tpl.emptyTxt, simCode));
      
        ✗
              Error.addMessage(Error.FMU_EXPORT_FMI_LS_DAE_DRAFT,
      
                {SimCodeCodegenUtil.FMI_LS_DAE_VERSION, SimCodeUtil.FMI_LS_DAE_DRAFT_DATE, SimCodeUtil.FMI_LS_DAE_DRAFT_COMMIT});
      
        ✗
              ExecStat.execStat("FMU fmi-ls-manifest.xml");
      
            end if;
      
            // terminalsAndIcons/ by the C target's route: SimCode writes the XML, then the
      
            // OMGraphics renderer adds the <GraphicalRepresentation> and the icons beside it.
      
        ✗
            if not bareExport then
      
        ✗
              terminalsDir := fmutmp + "/terminalsAndIcons/";
      
        ✗
              terminals := SimCodeCodegenUtil.getFMI3Terminals(simCode);
      
        ✗
              if not listEmpty(terminals) then
      
        ✗
                Util.createDirectoryTree(terminalsDir);
      
        ✗
                System.writeFile(terminalsDir + "terminalsAndIcons.xml",
      
                                 Tpl.textString(CodegenFMU3.fmiTerminalsAndIcons(Tpl.emptyTxt, terminals)));
      
              end if;
      
        ✗
              CevalScriptBackend.generateFMI3GraphicalRepresentation(simCode.modelInfo.name, fmutmp, simCode.fileNamePrefix);
      
        ✗
              if not System.directoryExists(terminalsDir) then
      
                terminalsDir := "";
      
              end if;
      
        ✗
              ExecStat.execStat("FMU terminalsAndIcons.xml");
      
            end if;
      
          end if;
      
          // After the icons, so the page references the one terminalsAndIcons/ holds.
      
        ✗
          if not bareExport and writeFMUDocumentation(program, simCode, FMUVersion, fmutmp) then
      
        ✗
            documentationDir := fmutmp + "/documentation/";
      
        ✗
            ExecStat.execStat("FMU documentation");
      
          end if;
      
        ✗
          System.realtimeAccumulate(ClockIndexes.RT_CLOCK_FMU_TEMPLATES);
      
        ✗
          simulationFlagsJson := wasmFMUSimulationFlagsJson(simCode);
      
        ✗
          if FMI.isFMIMEType(FMUType) and FMI.isFMICSType(FMUType) then
      
        ✗
            CodegenWasmJit.emitMeCsFmu(simCode, simCode.fmuTargetName + ".fmu", guid, modelDescriptionStr, lsDaeManifestStr, documentationDir, terminalsDir, simulationFlagsJson);
      
          elseif FMI.isFMICSType(FMUType) then
      
        ✗
            CodegenWasmJit.emitCsFmu(simCode, simCode.fmuTargetName + ".fmu", guid, modelDescriptionStr, lsDaeManifestStr, documentationDir, terminalsDir, simulationFlagsJson);
      
          else
      
        ✗
            CodegenWasmJit.emitMeFmu(simCode, simCode.fmuTargetName + ".fmu", guid, modelDescriptionStr, lsDaeManifestStr, documentationDir, terminalsDir, simulationFlagsJson);
      
          end if;
      
        ✗
          setGlobalRoot(Global.optionSimCode, NONE());
      
        end emitWasmFMU;
      
        protected function callTargetTemplatesFMU
      
        "Generate target code by passing the SimCode data structure to templates."
      
          input SimCode.SimCode inSimCode;
      
          input String target;
      
          input String FMUVersion;
      
          input String FMUType;
      
          input Absyn.Program program;
      
          input Boolean translateOnly = false "keep the translation in memory instead of writing the FMU";
      
        protected
      
          SimCode.SimCode simCode = SimCodeUtil.addFMI3Figures(inSimCode, FMUVersion);
      
          // "wasm" is the standalone simulation target and has no FMU export of its own;
      
          // an FMU built under it is the same fmi-ls-wasm component "wasm-jit" emits.
      
          String fmuTarget = if target == "wasm" then "wasm-jit" else target;
      
        algorithm
      
        91
          setGlobalRoot(Global.optionSimCode, SOME(simCode));
      
        91
          SimCodeFunctionUtil.setTrivialRecords(simCode.recordDecls);
      
          () := match (simCode,fmuTarget)
      
            local
      
              String str, newdir, newpath, resourcesDir, dirname, fileName;
      
              String fmutmp;
      
              String guid;
      
              list<SimCode.FmiTerminal> terminals;
      
              Boolean b;
      
              Boolean needSundials = false;
      
              String fileprefix, fileNamePrefixHash;
      
              String install_include_omc_dir, install_include_omc_c_dir, install_share_buildproject_dir, install_fmu_sources_dir, fmu_tmp_sources_dir;
      
              String cmakelistsStr, needCvode, cvodeDirectory;
      
              String modelDefinesHeaderStr;
      
              String fmu_dummy_include_defines;
      
              String needModelicaExternalC, cmakeCode;
      
              list<String> model_desc_src_files, fmi2HeaderFiles, modelica_standard_table_sources;
      
              list<String> dgesv_sources, cminpack_sources, simrt_c_sundials_sources, simrt_linear_solver_sources, simrt_non_linear_solver_sources;
      
              list<String> simrt_mixed_solver_sources, fmi_export_files, model_gen_files, model_all_gen_files, shared_source_files;
      
              list<String> rust_crate_roots;
      
              list<String> simrt_c_sources;
      
              Boolean rustRuntime, rustFmi;
      
              SimCode.VarInfo varInfo;
      
            case (SimCode.SIMCODE(),"wasm-jit")
      
              algorithm
      
                // Keep the translation either way: the export that follows — a second one
      
                // of this model, or the first after a translateModelFMU — then links an
      
                // adapter onto this kernel instead of translating again.
      
        ✗
                if translateOnly then
      
        ✗
                  CodegenWasmJit.translateFmu(simCode, FMUType, wasmFMUSimulationFlagsJson(simCode));
      
                else
      
        ✗
                  emitWasmFMU(simCode, FMUVersion, FMUType, program);
      
                end if;
      
        ✗
                keepFmuTranslation(simCode, FMUVersion, FMUType, simCode.modelInfo.name);
      
              then ();
      
            case (SimCode.SIMCODE(),"C")
      
              algorithm
      
        82
                fileNamePrefixHash := Util.hashFileNamePrefix(simCode.fileNamePrefix);
      
        82
                fmutmp := fileNamePrefixHash + ".fmutmp";
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 82 times.

        82
                if System.directoryExists(fmutmp) then
      
        ✗
                  if not System.removeDirectory(fmutmp) then
      
        ✗
                    Error.addInternalError("Failed to remove directory: " + fmutmp, sourceInfo());
      
        ✗
                    fail();
      
                  end if;
      
                end if;
      
        82
                Util.createDirectoryTree(fmutmp + "/sources/include/");
      
        82
                resourcesDir := fmutmp + "/resources/";
      
        82
                Util.createDirectoryTree(resourcesDir);
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 82 times.

        82
                for path in simCode.modelInfo.resourcePaths loop
      
        ✗
                  dirname := System.dirname(path);
      
                  newpath := path;
      
                  // on windows, remove ":" from the path!
      
                  if Autoconf.os == "Windows_NT" then
      
                    dirname := System.stringReplace(dirname, ":", "");
      
                    newpath := System.stringReplace(newpath, ":", "");
      
                  end if;
      
        ✗
                  newdir := resourcesDir + dirname;
      
        ✗
                  newpath := resourcesDir + newpath;
      
        ✗
                  if System.regularFileExists(newpath) or System.directoryExists(newpath) then
      
                    /* Already copied. Maybe one resource loaded a library and this one only a file in the directory */
      
        ✗
                    continue;
      
                  end if;
      
        ✗
                  Util.createDirectoryTree(newdir);
      
                  // copy the file or directory
      
        ✗
                  if not System.copyPath(path, newpath) then
      
        ✗
                    Error.addInternalError("Failed to copy path " + path + " to " + resourcesDir + dirname, sourceInfo());
      
                  end if;
      
                end for;
      
                // Add optional _flags.json to resources
      
                () := match simCode.fmiSimulationFlags
      
                  local
      
                    String pathToFlagsJson;
      
                  case SOME(SimCode.FMI_SIMULATION_FLAGS_FILE(path=pathToFlagsJson))
      
                    algorithm
      
                    needSundials := true;
      
        ✗
                    if not System.copyFile(pathToFlagsJson, resourcesDir + simCode.fileNamePrefix + "_flags.json") then
      
        ✗
                      Error.addInternalError("Failed to copy " + pathToFlagsJson + " to " + resourcesDir + simCode.fileNamePrefix + "_flags.json", sourceInfo());
      
                    end if;
      
                    then();
      
                  else
      
                    then();
      
                  end match;
      
                // -d=visxml scene as a resource, referenced by the <Visualization>
      
                // annotation, plus the CAD files it references (a portable FMU cannot rely
      
                // on the importer having the libraries the modelica:// URIs point at).
      
          1/4✗ Branch 2 not taken.
✓ Branch 3 taken 82 times.
✗ Branch 5 not taken.
✗ Branch 6 not taken.

        82
                if Flags.isSet(Flags.VISUAL_XML) and System.regularFileExists(simCode.fileNamePrefix + "_visual.xml") then
      
        ✗
                  if not System.copyFile(simCode.fileNamePrefix + "_visual.xml", resourcesDir + simCode.fileNamePrefix + "_visual.xml") then
      
        ✗
                    Error.addInternalError("Failed to copy " + simCode.fileNamePrefix + "_visual.xml to " + resourcesDir, sourceInfo());
      
                  end if;
      
        ✗
                  for cad in visualizationCadFiles(simCode.fileNamePrefix + "_visual.xml") loop
      
        ✗
                    if System.regularFileExists(cad) and
      
                       not System.copyFile(cad, resourcesDir + System.basename(cad)) then
      
        ✗
                      Error.addInternalError("Failed to copy CAD file " + cad + " to " + resourcesDir, sourceInfo());
      
                    end if;
      
                  end for;
      
                end if;
      
        82
                SerializeSparsityPattern.serialize(simCode);
      
          2/2✓ Branch 0 taken 634 times.
✓ Branch 1 taken 82 times.

        716
                for jac in simCode.jacobianMatrices loop
      
          2/2✓ Branch 0 taken 105 times.
✓ Branch 1 taken 529 times.

        634
                  if not listEmpty(jac.sparsity) then
      
        105
                    fileName := simCode.fileNamePrefix + "_Jac" + jac.matrixName + ".bin";
      
          1/2✗ Branch 2 not taken.
✓ Branch 3 taken 105 times.

        105
                    if not System.rename(fileName, resourcesDir + fileName) then
      
        ✗
                      Error.addInternalError("Failed to move " + simCode.fileNamePrefix + "_Jac" + jac.matrixName + ".bin file", sourceInfo());
      
                    end if;
      
                  end if;
      
                end for;
      
        82
                SerializeModelInfo.serialize(simCode, Flags.isSet(Flags.INFO_XML_OPERATIONS));
      
        82
                str := fmutmp + "/sources/" + simCode.fileNamePrefix;
      
          3/4✓ Branch 0 taken 82 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 2 times.
✓ Branch 4 taken 80 times.

        82
                if FMUVersion == "1.0" then
      
        2
                  b := System.covertTextFileToCLiteral(simCode.fileNamePrefix + "_info.json", str + "_info.c", Flags.getConfigString(Flags.TARGET));
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 2 times.

        2
                  if not b then
      
        ✗
                    Error.addMessage(Error.INTERNAL_ERROR, {"System.covertTextFileToCLiteral failed. Could not write " + str + "_info.c\n"});
      
        ✗
                    fail();
      
                  end if;
      
                else
      
                  // Add _info.json file to resources/ directory if neither --fmiFilter=blackBox nor --fmiFilter=protected are used
      
          4/4✓ Branch 1 taken 79 times.
✓ Branch 2 taken 1 time.
✓ Branch 4 taken 1 time.
✓ Branch 5 taken 78 times.

        80
                  if Flags.getConfigEnum(Flags.FMI_FILTER) <> Flags.FMI_BLACKBOX and Flags.getConfigEnum(Flags.FMI_FILTER) <> Flags.FMI_PROTECTED then
      
        1
                    fileName := simCode.fileNamePrefix + "_info.json";
      
          1/2✗ Branch 2 not taken.
✓ Branch 3 taken 1 time.

        1
                    if not System.rename(fileName, resourcesDir + fileName) then
      
        ✗
                      Error.addInternalError("Failed to move " + simCode.fileNamePrefix + "_info.json file", sourceInfo());
      
                    end if;
      
                  end if;
      
                end if;
      
        82
                SimCodeCodegenUtil.resetFunctionIndex();
      
        82
                varInfo := simCode.modelInfo.varInfo;
      
        82
                install_include_omc_dir := Settings.getInstallationDirectoryPath() + "/include/omc/";
      
        82
                install_include_omc_c_dir := install_include_omc_dir + "c/";
      
        82
                install_share_buildproject_dir :=  Settings.getInstallationDirectoryPath() + "/share/omc/runtime/c/fmi/buildproject/";
      
        82
                install_fmu_sources_dir := Settings.getInstallationDirectoryPath() + RuntimeSources.fmu_sources_dir;
      
        82
                fmu_tmp_sources_dir := fmutmp + "/sources/";
      
                // --simCodeTarget=C: libSimulationRuntimeRust replaces everything
      
                // libSimulationRuntimeC provided, the solvers included, so the FMU only
      
                // compiles the libOpenModelicaRuntimeC half from C. The headers are the
      
                // same either way -- the generated code and the FMI interface include
      
                // them whichever runtime is behind them.
      
        82
                rustRuntime := Config.simCodeRustRuntime();
      
                // libSimulationRuntimeRust also serves the FMI 2.0 and 3.0 C API, with its
      
                // own Co-Simulation solvers, in place of fmi-export/*.c and cvode_solver.c.
      
                rustFmi := rustRuntime;
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 82 times.

        82
                simrt_c_sources := if rustRuntime then RuntimeSources.simrt_c_runtime_sources else RuntimeSources.simrt_c_sources;
      
                // Only worth carrying if the sources survive into the archive; this build
      
                // links the installed archive either way.
      
          4/6✓ Branch 0 taken 82 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 7 times.
✓ Branch 4 taken 75 times.
✓ Branch 6 taken 7 times.
✗ Branch 7 not taken.

        82
                if rustRuntime and Flags.getConfigEnum(Flags.FMI_SOURCES) <> Flags.FMI_SOURCES_NONE
      
                   and Flags.getConfigEnum(Flags.FMI_FILTER) <> Flags.FMI_BLACKBOX then
      
        7
                  copyFmuRustSources(fmutmp);
      
        7
                  rust_crate_roots := fmuRustCrateRoots(fmutmp + "/sources/", "rust");
      
                else
      
                  rust_crate_roots := {};
      
                end if;
      
                // The simrt c headers are in the include/omc/c directory.
      
        82
                copyFiles(RuntimeSources.simrt_c_headers, source=install_include_omc_c_dir, destination=fmu_tmp_sources_dir);
      
                // The simrt C source files are installed to the folder specified by RuntimeSources.fmu_sources_dir. Copy them from there.
      
        82
                copyFiles(simrt_c_sources, source=install_fmu_sources_dir, destination=fmu_tmp_sources_dir);
      
                /*
      
                * fix issue https://github.com/OpenModelica/OpenModelica/issues/13719
      
                * copy the fmu runtime external solver sources to support source code cross compilation
      
                */
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 82 times.

        82
                if rustRuntime then
      
                  // dgesv and CMinpack are the Rust runtime's own openmodelica_lapack and
      
                  // minpack crates there.
      
                  dgesv_sources := {};
      
                  cminpack_sources := {};
      
                else
      
                  // The dgesv headers are in the RuntimeSources.fmu_sources_dir for now since they are not properly installed in the include folder
      
        ✗
                  copyFiles(RuntimeSources.dgesv_headers, source=install_fmu_sources_dir, destination=fmu_tmp_sources_dir);
      
        ✗
                  copyFiles(RuntimeSources.dgesv_sources, source=install_fmu_sources_dir, destination=fmu_tmp_sources_dir);
      
                  dgesv_sources := RuntimeSources.dgesv_sources;
      
                  // Add CMinpack sources to FMU
      
        ✗
                  copyFiles(RuntimeSources.cminpack_headers, source=install_fmu_sources_dir, destination=fmu_tmp_sources_dir);
      
        ✗
                  copyFiles(RuntimeSources.cminpack_sources, source=install_fmu_sources_dir, destination=fmu_tmp_sources_dir);
      
                  cminpack_sources := RuntimeSources.cminpack_sources;
      
                end if;
      
                // Check if the sundials files are needed.
      
                // The in-FMU CVODE integrator (s:cvode) is a Co-Simulation feature: cvode_solver_fmi_step()
      
                // drives the fmi2 ModelInstance / fmi2DoStep API and cvode_solver.h includes
      
                // fmu2_model_interface.h. OpenModelica only exports FMI 1.0 as Model Exchange (CS export
      
                // requires FMI 2.0, see FMI.canExportFMU); a model-exchange FMU is integrated by the
      
                // importer, and the FMI 1.0 export only ships fmu1_model_interface.h, so copying the
      
                // sundials sources there breaks compilation (fatal error:
      
                // 'fmi-export/fmu2_model_interface.h' file not found). See issue #15838.
      
          3/4✓ Branch 0 taken 82 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 2 times.
✓ Branch 4 taken 80 times.

        82
                if FMUVersion == "1.0" then
      
                  // The in-FMU CVODE integrator does not apply to a model-exchange FMU; warn that the
      
                  // 's:cvode' flag is ignored and do not pull in the sundials sources (they would not
      
                  // compile for FMI 1.0).
      
          2/2✓ Branch 1 taken 1 time.
✓ Branch 2 taken 1 time.

        2
                  if SimCodeUtil.cvodeFmiFlagIsSet(simCode.fmiSimulationFlags) then
      
        1
                    Error.addCompilerWarning("OpenModelica exports FMI 1.0 as Model Exchange only (Co-Simulation export requires FMI 2.0). A model-exchange FMU is integrated by the importer, so the in-FMU CVODE integrator does not apply. The 's:cvode' simulation flag is ignored for this FMI 1.0 export.");
      
                  end if;
      
                  simrt_c_sundials_sources := {};
      
                elseif not rustFmi and SimCodeUtil.cvodeFmiFlagIsSet(simCode.fmiSimulationFlags) then
      
                  // The sundials headers are in the include directory.
      
        ✗
                  copyFiles(RuntimeSources.sundials_headers, source=install_include_omc_dir, destination=fmu_tmp_sources_dir);
      
        ✗
                  copyFiles(RuntimeSources.simrt_c_sundials_sources, source=install_fmu_sources_dir, destination=fmu_tmp_sources_dir);
      
        ✗
                  simrt_c_sundials_sources := RuntimeSources.simrt_c_sundials_sources;
      
                else
      
                  simrt_c_sundials_sources := {};
      
                end if;
      
          3/4✓ Branch 0 taken 7 times.
✓ Branch 1 taken 75 times.
✓ Branch 2 taken 7 times.
✗ Branch 3 not taken.

        82
                simrt_linear_solver_sources := if varInfo.numLinearSystems > 0 and not rustRuntime then RuntimeSources.simrt_linear_solver_sources else {};
      
        82
                copyFiles(simrt_linear_solver_sources, source=install_fmu_sources_dir, destination=fmu_tmp_sources_dir);
      
          3/4✓ Branch 0 taken 2 times.
✓ Branch 1 taken 80 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 2 times.

        82
                simrt_non_linear_solver_sources := if varInfo.numNonLinearSystems > 0 and not rustRuntime then RuntimeSources.simrt_non_linear_solver_sources else {};
      
        82
                copyFiles(simrt_non_linear_solver_sources, source=install_fmu_sources_dir, destination=fmu_tmp_sources_dir);
      
          1/4✗ Branch 0 not taken.
✓ Branch 1 taken 82 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.

        82
                simrt_mixed_solver_sources := if varInfo.numMixedSystems > 0 and not rustRuntime then RuntimeSources.simrt_mixed_solver_sources else {};
      
        82
                copyFiles(simrt_mixed_solver_sources, source=install_fmu_sources_dir, destination=fmu_tmp_sources_dir);
      
                // This fmu export files of OMC are located in a very unexpected place. Right now they are in SimulationRuntime/fmi/export/openmodelica
      
                // and then then they are installed to include/omc/c/fmi-export for some reason. The source, install, and source fmu location
      
                // for these files should be made consistent. For now to avoid modifing things a lot they are left as they are and copied here.
      
          4/6✓ Branch 0 taken 82 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 2 times.
✓ Branch 4 taken 80 times.
✓ Branch 5 taken 2 times.
✗ Branch 6 not taken.

        82
                if FMUVersion == "1.0" and rustFmi then
      
        2
                  copyFiles(RuntimeSources.fmi1_rust_headers, source=install_include_omc_c_dir, destination=fmu_tmp_sources_dir);
      
        2
                  fmi_export_files := {};
      
                elseif FMUVersion == "1.0" then
      
        ✗
                  copyFiles(RuntimeSources.fmi1Files, source=install_include_omc_c_dir, destination=fmu_tmp_sources_dir);
      
        ✗
                  fmi_export_files := RuntimeSources.fmi1Files;
      
                elseif FMUVersion == "3.0" then
      
                  // FMI 3.0 export. fmu3_model_interface.c is built on top of the FMI 2.0
      
                  // ModelInstance and the generated per-base-type get/set helpers, so the
      
                  // FMI 2.0 header (but not the FMI 2.0 interface .c) is required as well.
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 15 times.

        15
                  if not rustFmi then
      
        ✗
                    copyFiles(RuntimeSources.fmi3_sources, source=install_include_omc_c_dir, destination=fmu_tmp_sources_dir);
      
                  end if;
      
        15
                  copyFiles(RuntimeSources.fmi3_headers, source=install_include_omc_c_dir, destination=fmu_tmp_sources_dir);
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 15 times.

        15
                  fmi_export_files := if rustFmi then {} else RuntimeSources.fmi3_sources;
      
                elseif rustFmi then
      
        65
                  copyFiles(RuntimeSources.fmi2_headers, source=install_include_omc_c_dir, destination=fmu_tmp_sources_dir);
      
                  fmi_export_files := {};
      
                else
      
        ✗
                  copyFiles(RuntimeSources.fmi2_sources, source=install_include_omc_c_dir, destination=fmu_tmp_sources_dir);
      
        ✗
                  copyFiles(RuntimeSources.fmi2_headers, source=install_include_omc_c_dir, destination=fmu_tmp_sources_dir);
      
                  fmi_export_files := RuntimeSources.fmi2_sources;
      
                end if;
      
                /*
      
                 * fix issue https://github.com/OpenModelica/OpenModelica/issues/13213
      
                 * copy fmu reference headers directly to FMU sources, to support source code compilation
      
                */
      
                fmi2HeaderFiles := {"fmi/fmi2Functions.h","fmi/fmi2FunctionTypes.h", "fmi/fmi2TypesPlatform.h", "fmi/fmiModelFunctions.h", "fmi/fmiModelTypes.h"};
      
        82
                copyFiles(fmi2HeaderFiles, source=install_include_omc_c_dir, destination=fmu_tmp_sources_dir);
      
                // For FMI 3.0 also copy the FMI 3.0 reference headers into the FMU sources.
      
          3/4✓ Branch 0 taken 82 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 15 times.
✓ Branch 4 taken 67 times.

        82
                if FMUVersion == "3.0" then
      
        15
                  copyFiles({"fmi/fmi3Functions.h","fmi/fmi3FunctionTypes.h","fmi/fmi3PlatformTypes.h"}, source=install_include_omc_c_dir, destination=fmu_tmp_sources_dir);
      
                  // FMI 3.0 Terminals: create the terminalsAndIcons/ directory (the
      
                  // CodegenFMU3 template writes terminalsAndIcons.xml into it) when the
      
                  // model has connector-derived terminals.
      
          2/2✓ Branch 1 taken 8 times.
✓ Branch 2 taken 7 times.

        15
                  if not listEmpty(SimCodeCodegenUtil.getFMI3Terminals(simCode)) then
      
        8
                    Util.createDirectoryTree(fmutmp + "/terminalsAndIcons/");
      
                  end if;
      
                end if;
      
                /*
      
                * fix issue fhttps://github.com/OpenModelica/OpenModelica/issues/13260
      
                * Check if modelicaStandardTables source files are needed
      
                * this is not clear as of now, may be we should copy all the external C sources by default
      
                */
      
        82
                copyFiles(RuntimeSources.modelica_external_c_sources, source=install_include_omc_dir, destination=fmu_tmp_sources_dir);
      
        82
                copyFiles(RuntimeSources.modelica_external_c_headers, source=install_include_omc_dir, destination=fmu_tmp_sources_dir);
      
                modelica_standard_table_sources := RuntimeSources.modelica_external_c_sources;
      
          6/8✓ Branch 1 taken 82 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 80 times.
✓ Branch 5 taken 2 times.
✓ Branch 6 taken 80 times.
✗ Branch 7 not taken.
✓ Branch 9 taken 65 times.
✓ Branch 10 taken 15 times.

        147
                System.writeFile(fmutmp+"/sources/isfmi" + (if FMUVersion=="1.0" then "1" elseif FMUVersion=="3.0" then "3" else "2"), "");
      
          4/4✓ Branch 0 taken 1886 times.
✓ Branch 1 taken 82 times.
✓ Branch 2 taken 1886 times.
✓ Branch 3 taken 82 times.

        1968
                model_gen_files := list(simCode.fileNamePrefix + f for f in RuntimeSources.defaultFileSuffixes);
      
                // I need to see some tests failing or something not working to make sense of what to add here
      
        82
                shared_source_files := List.flatten({fmi_export_files,
      
                                                     simrt_c_sources,
      
                                                     simrt_linear_solver_sources,
      
                                                     simrt_non_linear_solver_sources,
      
                                                     simrt_mixed_solver_sources
      
                                                    });
      
                // check for fmiSources=false or --fmiFilter=blackBox
      
          3/4✓ Branch 1 taken 7 times.
✓ Branch 2 taken 75 times.
✓ Branch 4 taken 7 times.
✗ Branch 5 not taken.

        82
                if Flags.getConfigEnum(Flags.FMI_SOURCES) == Flags.FMI_SOURCES_NONE or Flags.getConfigEnum(Flags.FMI_FILTER) == Flags.FMI_BLACKBOX then
      
                  model_desc_src_files := {}; // set the sourceFiles to empty, to remove the sources in modeldescription.xml
      
                else
      
        49
                  model_desc_src_files := List.flatten({List.sort(model_gen_files, Util.strcmpNoCaseBool),      //  order matters
      
                                                        List.sort(shared_source_files, Util.strcmpNoCaseBool),
      
                                                        List.sort(dgesv_sources, Util.strcmpNoCaseBool),
      
                                                        List.sort(cminpack_sources, Util.strcmpNoCaseBool),
      
                                                        List.sort(simrt_c_sundials_sources, Util.strcmpNoCaseBool),
      
                                                        List.sort(modelica_standard_table_sources, Util.strcmpNoCaseBool),
      
                                                        rust_crate_roots
      
                                            });
      
                end if;
      
        82
                Tpl.tplNoret(function CodegenFMU.translateModel(in_a_FMUVersion=FMUVersion, in_a_FMUType=FMUType, in_a_sourceFiles=model_desc_src_files), simCode);
      
                // FMI 3.0 graphical user annotations (issue #15686 task 9): the template
      
                // above wrote terminalsAndIcons.xml, this adds the icons beside it. Before
      
                // the documentation, which shows the icon it produced.
      
          3/4✓ Branch 0 taken 82 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 15 times.
✓ Branch 4 taken 67 times.

        82
                if FMUVersion == "3.0" then
      
        15
                  CevalScriptBackend.generateFMI3GraphicalRepresentation(simCode.modelInfo.name, fmutmp, simCode.fileNamePrefix);
      
                end if;
      
          2/2✓ Branch 1 taken 8 times.
✓ Branch 2 taken 74 times.

        82
                if writeFMUDocumentation(program, simCode, FMUVersion, fmutmp) then
      
        8
                  ExecStat.execStat("FMU documentation");
      
                end if;
      
                // Add the _part*.c files to the list of source files. We do not know how many of them there are until
      
                // we have called CodegenFMU.translateModel. Which means the list of source files passed to
      
                // CodegenFMU.translateModel above does not include them. Which means they are not listed in the
      
                // modelDescription.xml file. The way to fix that is to separate the generation of modelDescrition.xml
      
                // from CodegenFMU.translateModel. However, modelDescrition.xml wants to use the same GUID as the model code.
      
                // Which means the transateModel call should make its created GUID available outside of it. We can not simply
      
                // return the GUID from it (?) so there needs to be some more restructure needed. However, modelDescrition.xml
      
                // at the moment does does not list all the extra files anyway. So for now we leave it like this and make sure
      
                // the makefile gets them properly at least.
      
        82
                model_all_gen_files := listAppend(model_gen_files, SimCodeUtil.getFunctionIndex());
      
                // Copy CMakeLists.txt.in and replace @FMU_NAME_IN@ with fmu name
      
        82
                System.copyFile(source = install_share_buildproject_dir + "CMakeLists.txt.in",
      
                                destination = fmu_tmp_sources_dir + "CMakeLists.txt");
      
        82
                cmakelistsStr := System.readFile(fmu_tmp_sources_dir + "CMakeLists.txt");
      
                /*
      
                https://github.com/OpenModelica/OpenModelica/issues/12916
      
                use hashed fmu Strings for project Name in cmake to avoid long path issues
      
                */
      
        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@FMU_NAME_HASH_IN@", fileNamePrefixHash);
      
        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@FMU_NAME_IN@", simCode.fileNamePrefix);     // Name with underscored instead of dots
      
        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@FMU_TARGET_NAME@", simCode.fmuTargetName);  // Name with dots
      
                // Include debugging symbols?
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 82 times.

        82
                if Flags.isSet(Flags.GEN_DEBUG_SYMBOLS) then
      
        ✗
                  cmakelistsStr := System.stringReplace(cmakelistsStr, "@CMAKE_BUILD_TYPE@", "Debug");
      
                else
      
        82
                  cmakelistsStr := System.stringReplace(cmakelistsStr, "@CMAKE_BUILD_TYPE@", "Release");
      
                end if;
      
                // Set CMake runtime dependencies level
      
                () := match Flags.getConfigString(Flags.FMU_RUNTIME_DEPENDS)
      
                  local
      
                    SemanticVersion.Version cmakeVersion;
      
                    SemanticVersion.Version minimumVersion;
      
                  case "default" algorithm
      
        82
                    cmakeVersion := SimCodeUtil.getCMakeVersion();
      
                    minimumVersion := SemanticVersion.SEMVER(3, 21, 0, {}, {}); // v3.21.0
      
          1/2✓ Branch 1 taken 82 times.
✗ Branch 2 not taken.

        82
                    if SemanticVersion.compare(minimumVersion, cmakeVersion) <= 0 /* minimumVersion <= cmakeVersion */ then
      
        82
                      cmakelistsStr := System.stringReplace(cmakelistsStr, "@RUNTIME_DEPENDENCIES_LEVEL@", "\"modelica\"");
      
                    else
      
        ✗
                      cmakelistsStr := System.stringReplace(cmakelistsStr, "@RUNTIME_DEPENDENCIES_LEVEL@", "\"none\"");
      
                    end if;
      
                    then();
      
                  case "none" algorithm
      
        ✗
                    cmakelistsStr := System.stringReplace(cmakelistsStr, "@RUNTIME_DEPENDENCIES_LEVEL@", "\"none\"");
      
                    then();
      
                  case "modelica" algorithm
      
        ✗
                    cmakelistsStr := System.stringReplace(cmakelistsStr, "@RUNTIME_DEPENDENCIES_LEVEL@", "\"modelica\"");
      
                    then();
      
                  case "all" algorithm
      
        ✗
                    cmakelistsStr := System.stringReplace(cmakelistsStr, "@RUNTIME_DEPENDENCIES_LEVEL@", "\"all\"");
      
                    then();
      
                  else algorithm
      
        ✗
                    Error.addCompilerError("Unsupported value " + Flags.getConfigString(Flags.FMU_RUNTIME_DEPENDS) + "for compiler flag 'fmuRuntimeDepends'.");
      
                    then();
      
                end match;
      
                // Add external libraries and includes
      
        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@FMI_INTERFACE_HEADER_FILES_DIRECTORY@", "\"" + Settings.getInstallationDirectoryPath() + "/include/omc/c/fmi" + "\"");
      
                // FMI 1.0 (Model Exchange only) never links CVODE into the FMU (see note above where the
      
                // sundials sources are skipped for FMI 1.0); keep NEED_CVODE=OFF so cvode_solver.c and
      
                // sundials_error.c are not compiled. See issue #15838.
      
          4/6✓ Branch 0 taken 82 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 80 times.
✓ Branch 4 taken 2 times.
✓ Branch 5 taken 80 times.
✗ Branch 6 not taken.

        82
                if FMUVersion == "1.0" or rustFmi then
      
        82
                  (needCvode, cvodeDirectory) := ("OFF", "\"\"");
      
                else
      
        ✗
                  (needCvode, cvodeDirectory) := SimCodeUtil.getCmakeSundialsLinkCode(simCode.fmiSimulationFlags);
      
                end if;
      
        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@NEED_CVODE@", needCvode);
      
        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@CVODE_DIRECTORY@", cvodeDirectory);
      
                // --simCodeTarget=C: name the installed archive, which is what this
      
                // installation builds the FMU against. Rebuilding the FMU elsewhere finds
      
                // no such file and falls back to the crates under sources/rust.
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 82 times.

        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@OMC_RUST_SIMULATION_RUNTIME@", if rustRuntime then "ON" else "OFF");
      
          1/2✓ Branch 0 taken 82 times.
✗ Branch 1 not taken.

        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@RUST_SIM_RUNTIME_LIBRARY@",
      
                  if rustRuntime
      
                  then "\"${DOCKER_VOL_DIR}" + Settings.getInstallationDirectoryPath() + "/lib/${OM_LIBRARY_ARCH}/omc/libSimulationRuntimeRust.a\""
      
                  else "\"\"");
      
        82
                (needModelicaExternalC, cmakeCode) := SimCodeUtil.getCmakeLinkLibrariesCode(simCode.makefileParams.libs);
      
        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@COMPILE_MODELICA_EXTERNAL_C@", needModelicaExternalC);
      
        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@FMU_ADDITIONAL_LIBS@", cmakeCode);
      
        82
                cmakelistsStr := System.stringReplace(cmakelistsStr, "@FMU_ADDITIONAL_INCLUDES@", SimCodeUtil.make2CMakeInclude(simCode.makefileParams.includes));
      
        82
                System.writeFile(fmu_tmp_sources_dir + "CMakeLists.txt", cmakelistsStr);
      
                // Note the external include directories of the model. Cross compiling in a
      
                // container needs them next to the external libraries inside the container.
      
                // Written as a dot file so it doesn't end up in the FMU archive.
      
                // See https://github.com/OpenModelica/OpenModelica/issues/9509
      
          4/4✓ Branch 1 taken 1 time.
✓ Branch 2 taken 82 times.
✓ Branch 3 taken 1 time.
✓ Branch 4 taken 82 times.

        83
                System.writeFile(fmutmp + "/.external_include_dirs",
      
                                 stringDelimitList(list(SimCodeUtil.stripIncludeFlag(i) for i in simCode.makefileParams.includes), "\n"));
      
                // Set model define include in the FMI model interface source. The
      
                // interface source includes a version-specific placeholder header
      
                // ("fmu2_dummy_model_defines.h" / "fmu3_dummy_model_defines.h") that is
      
                // replaced here with the generated model-specific "<model>_FMU.h".
      
                // Only for FMI 2.0+. FMI 1.0 includes fmu1_model_interface.c.inc directly into
      
                // the generated <model>_FMU.c (which already has the model defines), so there is
      
                // no standalone fmu2_model_interface.c to patch. See issue #15838.
      
          4/6✓ Branch 0 taken 82 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 80 times.
✓ Branch 4 taken 2 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 80 times.

        82
                if FMUVersion <> "1.0" and not rustFmi then
      
        ✗
                  fmu_dummy_include_defines := (if FMUVersion == "2.0" then "fmu2" else "fmu3") + "_dummy_model_defines.h";
      
        ✗
                  for fmuModelInterfaceFile in (
      
                      if FMUVersion == "3.0"
      
                      then {"fmi-export/fmu3_model_interface.c"}
      
                      else {"fmi-export/fmu2_model_interface.c"}) loop
      
        ✗
                    modelDefinesHeaderStr := System.readFile(fmu_tmp_sources_dir + fmuModelInterfaceFile);
      
        ✗
                    modelDefinesHeaderStr := System.stringReplace(modelDefinesHeaderStr, fmu_dummy_include_defines, "../" + simCode.fileNamePrefix + "_FMU.h");
      
        ✗
                    System.writeFile(fmu_tmp_sources_dir + fmuModelInterfaceFile, modelDefinesHeaderStr);
      
                  end for;
      
                end if;
      
        82
                Tpl.closeFile(Tpl.tplCallWithFailError(
      
                  CodegenFMU.settingsfile,
      
                  simCode,
      
                  txt=Tpl.redirectToFile(Tpl.emptyTxt, fmutmp+"/sources/omc_simulation_settings.h")));
      
              then ();
      
            case (_,"Cpp")
      
              algorithm
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.

        9
                if(Flags.isSet(Flags.HPCOM)) then
      
        ✗
                  Tpl.tplNoret3(CodegenFMUCppHpcom.translateModel, simCode, FMUVersion, FMUType);
      
                else
      
        9
                  Tpl.tplNoret(function CodegenFMUCpp.translateModel(in_a_FMUVersion=FMUVersion, in_a_FMUType=FMUType, in_a_sourceFiles={}), simCode);
      
                  // dump modelInstance.json so the FMU makefile can filter out the
      
                  // requested extra annotations (see flag --fmiExtraAnnotations)
      
          2/4✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
✗ Branch 5 not taken.
✓ Branch 6 taken 9 times.

        9
                  if Flags.getConfigString(Flags.FMI_EXTRA_ANNOTATIONS) <> "" then
      
        ✗
                    System.writeFile(simCode.fileNamePrefix + "_modelInstance.json", ValuesUtil.extractValueString(NFApi.getModelInstance(simCode.modelInfo.name, simCode.modelInfo.name, "", true)));
      
                  end if;
      
                end if;
      
              then ();
      
            else
      
              algorithm
      
        ✗
                str := "Unknown FMU template target: " + target;
      
        ✗
                Error.addMessage(Error.INTERNAL_ERROR, {str});
      
        ✗
              then fail();
      
          end match;
      
        91
          setGlobalRoot(Global.optionSimCode, NONE());
      
        end callTargetTemplatesFMU;
      
        // `svgiconhead` is sized as the generated library documentation sizes it: a
      
        // little larger than the class name it sits beside, not a banner.
      
        protected constant String FMU_DOCUMENTATION_CSS = "
      
          :root { color-scheme: light dark; }
      
          body { margin: 0 auto; padding: 1.5rem; max-width: 50rem; line-height: 1.5;
      
                 font-family: system-ui, -apple-system, Segoe UI, Roboto, sans-serif; }
      
          h1 { font-size: 1.5rem; margin: 0 0 .2rem; }
      
          .svgiconhead { height: 32px; width: 32px; object-fit: contain; vertical-align: middle; }
      
          .fmu-desc { margin: 0 0 1.5rem; font-style: italic; opacity: .8; }
      
          img { max-width: 100%; height: auto; }
      
          table { border-collapse: collapse; }
      
          td, th { border: 1px solid; border-color: color-mix(in srgb, currentColor 30%, transparent);
      
                   padding: .2rem .5rem; }
      
          pre, code { font-family: ui-monospace, Menlo, Consolas, monospace; }
      
        ";
      
        protected function writeFMUDocumentation
      
          "Write the FMU's documentation/ directory under `fmutmp`: a standalone HTML page
      
          built from the model's Documentation annotation
      
          (e.g) annotation(Documentation(info=\"<html> </html>\",
      
                                         revisions=\"<html> </html>\",
      
                                         __OpenModelica_infoHeader = \"<html> </html>\"))
      
          plus the modelica:// images it references, so the page needs nothing outside the
      
          FMU. FMI 3.0 pages also show the icon rendered to terminalsAndIcons/.
      
          False when the model carries no such annotation and nothing was written."
      
          input Absyn.Program program;
      
          input SimCode.SimCode simCode;
      
          input String FMUVersion;
      
          input String fmutmp;
      
          output Boolean written = false;
      
        protected
      
          String info, revisions, infoHeader, docDir, name, page, icon;
      
        algorithm
      
        82
          (info, revisions, infoHeader) := ProgramUtil.getNamedAnnotationExp(simCode.modelInfo.name, program, Absyn.IDENT("Documentation"), SOME(("","","")),Interactive.getDocumentationAnnotationString);
      
          4/6✓ Branch 0 taken 74 times.
✓ Branch 1 taken 8 times.
✓ Branch 2 taken 74 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 74 times.
✗ Branch 5 not taken.

        82
          if (stringEmpty(info) and stringEmpty(revisions) and stringEmpty(infoHeader)) then
      
        74
            return;
      
          end if;
      
        8
          name := Util.escapeModelicaStringToXmlString(AbsynUtil.pathString(simCode.modelInfo.name));
      
          // terminalsAndIcons/ is FMI 3.0 only, and holds an icon only for a model whose
      
          // icon layer had something to draw.
      
          4/6✓ Branch 1 taken 8 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 3 times.
✓ Branch 5 taken 5 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 3 times.

        8
          icon := if FMUVersion == "3.0" and System.regularFileExists(fmutmp + "/terminalsAndIcons/icon.svg")
      
                  then "<img class=\"svgiconhead\" src=\"../terminalsAndIcons/icon.svg\" alt=\"\"> " else "";
      
          1/2✓ Branch 10 taken 8 times.
✗ Branch 11 not taken.

        8
          page := "<!DOCTYPE html>\n<html lang=\"en\">\n<head>\n<meta charset=\"utf-8\">\n"
      
                  + "<meta name=\"viewport\" content=\"width=device-width, initial-scale=1\">\n"
      
                  + "<title>" + name + "</title>\n"
      
                  + "<style>" + FMU_DOCUMENTATION_CSS + "</style>\n"
      
                  + "</head>\n<body>\n"
      
                  + "<h1>" + icon + name + "</h1>\n"
      
                  + (if stringEmpty(simCode.modelInfo.description) then ""
      
                     else "<p class=\"fmu-desc\">" + Util.escapeModelicaStringToXmlString(simCode.modelInfo.description) + "</p>\n")
      
                  + fmuDocumentationSection("", infoHeader)
      
                  + fmuDocumentationSection("Information", info)
      
                  + fmuDocumentationSection("Revisions", revisions)
      
                  + "</body>\n</html>\n";
      
        8
          docDir := fmutmp + "/documentation/";
      
        8
          Util.createDirectoryTree(docDir);
      
        8
          page := copyFMUDocumentationResources(program, page, docDir);
      
          2/4✓ Branch 0 taken 8 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 8 times.
✗ Branch 4 not taken.

        16
          System.writeFile(docDir + (if FMUVersion == "1.0" then "_main.html" else "index.html"), page);
      
          written := true;
      
        end writeFMUDocumentation;
      
        protected function fmuDocumentationSection
      
          "One section of the documentation page: nothing at all when the annotation
      
          string is empty, so a model documenting only `info` gets no dangling Revisions
      
          heading. The strings are whole HTML documents in Modelica; the page they go
      
          into already has its own <html>, so the wrapper is dropped rather than nested."
      
          input String heading "empty for an unheaded section";
      
          input String html;
      
          output String section = "";
      
        protected
      
          String body;
      
          Integer len;
      
        algorithm
      
        24
          body := System.trim(html);
      
          // Modelica writes these as \"<html> ... </html>\"; some models leave the tags off,
      
          // and \"<html></html>\" documents nothing at all.
      
          2/2✓ Branch 2 taken 11 times.
✓ Branch 3 taken 13 times.

        24
          if StringUtil.startsWith(System.tolower(body), "<html>") then
      
        11
            len := stringLength(body);
      
          1/2✓ Branch 0 taken 11 times.
✗ Branch 1 not taken.

        11
            body := if len > 6 then substring(body, 7, len) else "";
      
        11
            len := stringLength(body);
      
          1/2✓ Branch 2 taken 11 times.
✗ Branch 3 not taken.

        11
            if StringUtil.endsWith(System.tolower(body), "</html>") then
      
          1/2✓ Branch 0 taken 11 times.
✗ Branch 1 not taken.

        11
              body := if len > 7 then substring(body, 1, len - 7) else "";
      
            end if;
      
        11
            body := System.trim(body);
      
          end if;
      
          2/2✓ Branch 0 taken 13 times.
✓ Branch 1 taken 11 times.

        24
          if stringEmpty(body) then
      
        13
            return;
      
          end if;
      
          1/2✓ Branch 0 taken 11 times.
✗ Branch 1 not taken.

        11
          section := (if stringEmpty(heading) then "" else "<h2>" + heading + "</h2>\n") + body + "\n";
      
        end fmuDocumentationSection;
      
        protected function copyFMUDocumentationResources
      
          "Copy every modelica:// resource the documentation references into `docDir` and
      
          point the page at the copy, so it displays without the library it came from. The
      
          URI keeps its own path (modelica://Modelica/Resources/Images/x.png becomes
      
          documentation/Modelica/Resources/Images/x.png), which keeps two same-named images
      
          in different libraries apart. Only URIs naming a file are touched, so a
      
          modelica://Some.Class link is left alone."
      
          input Absyn.Program program;
      
          input output String page;
      
          input String docDir;
      
        protected
      
          list<String> uris;
      
          String source, classname, relative, target;
      
        algorithm
      
          // A URI cannot contain any of these unencoded, so tokenizing on them lifts the
      
          // URIs out of the markup without needing to parse it.
      
          6/6✓ Branch 2 taken 1986 times.
✓ Branch 3 taken 5 times.
✓ Branch 4 taken 1991 times.
✓ Branch 5 taken 8 times.
✓ Branch 6 taken 5 times.
✓ Branch 7 taken 8 times.

        1999
          uris := List.uniqueOnTrue(list(u for u guard StringUtil.startsWith(u, "modelica://")
      
                                         in System.strtok(page, "\"'<> \t\n\r")), stringEq);
      
          2/2✓ Branch 0 taken 5 times.
✓ Branch 1 taken 8 times.

        13
          for uri in uris loop
      
            try
      
        5
              (_, classname, relative) := System.uriToClassAndPath(uri);
      
        5
              source := ProgramUtil.getFullPathFromUri(program, uri, false);
      
          2/2✓ Branch 1 taken 4 times.
✓ Branch 2 taken 1 time.

        5
              if System.regularFileExists(source) then
      
        4
                target := classname + relative;
      
        4
                Util.createDirectoryTree(docDir + System.dirname(target));
      
          1/2✓ Branch 2 taken 4 times.
✗ Branch 3 not taken.

        4
                if System.copyFile(source, docDir + target) then
      
        4
                  page := System.stringReplace(page, uri, target);
      
                end if;
      
              end if;
      
            else
      
              // A broken documentation link is not worth failing the export over.
      
            end try;
      
          end for;
      
        end copyFMUDocumentationResources;
      
        protected function callTargetTemplatesXML
      
        "Generate target code by passing the SimCode data structure to templates."
      
          input SimCode.SimCode simCode;
      
          input String target;
      
        algorithm
      
        ✗
          Tpl.tplNoret(CodegenXML.translateModel, simCode);
      
        end callTargetTemplatesXML;
      
        public function translateModel "
      
          Entry point to translate a Modelica model for simulation / FMU / XML.
      
          Called from other places in the compiler."
      
          output Boolean success;
      
          input TranslateModelKind kind;
      
          input output FCore.Cache cache;
      
          input FCore.Graph inEnv;
      
          input Absyn.Path className "path for the model";
      
          input String inFileNamePrefix;
      
          input Boolean runBackend "if true, run the backend as well. This will run SimCode and Codegen as well.";
      
          input Boolean useDAEMode "if true, run the backend in DAEMode.";
      
          input Boolean runSilent "if true, flat modelica code will not be dumped to out stream";
      
          input Option<SimCode.SimulationSettings> inSimSettingsOpt;
      
          input Absyn.FunctionArgs args=Absyn.emptyFunctionArgs "labels for remove terms";
      
          output list<String> outLibs;
      
          output String outFileDir;
      
          output list<tuple<String, Values.Value>> resultValues;
      
        protected
      
          FCore.Cache inCache = cache;
      
          Real timeFrontend=0.0;
      
          DAE.DAElist dae;
      
          FCore.Graph env;
      
          Option<DAE.DAElist> odae;
      
          AvlTreePathFunction.Tree funcs;
      
          list<Option<Integer>> allRoots;
      
          FlatModel flatModel;
      
          FunctionTree funcTree;
      
          UnorderedMap<Absyn.Path, NFFunction.Function> funcMap;
      
          Boolean dumpValidFlatModelicaNF;
      
          String flatString = "", NFFlatString = "";
      
          Boolean restart;
      
          list<String> structuralParameters;
      
        algorithm
      
          // BUILD_MODEL starts only once the translation is through, so clear it too:
      
          // a failing translation would otherwise read an earlier command's tick.
      
        2537
          List.map_0({ClockIndexes.RT_CLOCK_FRONTEND,ClockIndexes.RT_CLOCK_BACKEND,
      
                      ClockIndexes.RT_CLOCK_SIMCODE,ClockIndexes.RT_CLOCK_TEMPLATES,
      
                      ClockIndexes.RT_CLOCK_BUILD_MODEL,ClockIndexes.RT_CLOCK_FMU_BACKEND,
      
                      ClockIndexes.RT_CLOCK_FMU_SIMCODE,ClockIndexes.RT_CLOCK_FMU_TEMPLATES},System.realtimeClear);
      
        2537
          FlagsUtil.setConfigBool(Flags.BUILDING_MODEL, true);
      
        2537
          outLibs := {};
      
        2537
          outFileDir := "";
      
        2537
          resultValues := {};
      
          4/4✓ Branch 0 taken 1262 times.
✓ Branch 1 taken 1275 times.
✓ Branch 3 taken 1237 times.
✓ Branch 4 taken 25 times.

        2537
          dumpValidFlatModelicaNF := not runSilent and Config.flatModelica();
      
          // new backend - also activates new frontend by default
      
          2/2✓ Branch 1 taken 204 times.
✓ Branch 2 taken 2333 times.

        2537
          if Flags.getConfigBool(Flags.NEW_BACKEND) then
      
            // The C++ runtime keeps arrays un-expanded (StatArrayDim members) and cannot
      
            // use the scalarized var layout; the C runtime does not yet support
      
            // non-scalarized arrays. Force simCodeScalarize=false for the C++ target only,
      
            // leaving the default (true) for the C target (issue #15496). Must happen
      
            // before any scalarize-dependent decision in the pipeline.
      
            // Scalarized sim code has one slot per element and cannot grow, so resizable
      
            // arrays are never scalarized.
      
          5/6✓ Branch 1 taken 1 time.
✓ Branch 2 taken 203 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 1 time.
✓ Branch 8 taken 12 times.
✓ Branch 9 taken 191 times.

        204
            if stringEqual(Config.simCodeTarget(), "Cpp") or Flags.getConfigBool(Flags.RESIZABLE_ARRAYS) then
      
        13
              FlagsUtil.setConfigBool(Flags.SIM_CODE_SCALARIZE, false);
      
            end if;
      
            // ToDo: set permanently matching -> SBGraphs
      
        204
            System.realtimeTick(ClockIndexes.RT_CLOCK_FRONTEND);
      
        204
            ExecStat.execStatReset();
      
        204
            (flatModel, funcTree, NFFlatString) := CevalScriptBackend.runFrontEndWorkNF(className, false, dumpValidFlatModelicaNF);
      
        203
            timeFrontend := System.realtimeTock(ClockIndexes.RT_CLOCK_FRONTEND);
      
        203
            ExecStat.execStat("FrontEnd");
      
          2/2✓ Branch 0 taken 193 times.
✓ Branch 1 taken 10 times.

        203
            if runBackend then
      
        193
              funcMap := UnorderedMap.fromLists(FunctionTreeImpl.listKeys(funcTree), FunctionTreeImpl.listValues(funcTree), AbsynUtil.pathHash, AbsynUtil.pathEqual);
      
        193
              (outLibs, outFileDir, resultValues, funcs) := translateModelCallBackendNB(flatModel, funcMap, className, inFileNamePrefix, inSimSettingsOpt, kind);
      
            else
      
        10
              funcs := NFConvertDAE.convertFunctionTree(funcTree);
      
            end if;
      
            // This must be done after calling the backend since it uses the FlatModel,
      
            // and converting it to DAE is destructive.
      
          2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 196 times.

        198
            if dumpValidFlatModelicaNF then
      
        2
              flatString := NFFlatString;
      
            elseif not runSilent then
      
        8
              dae := NFConvertDAE.convertModel(flatModel);
      
        8
              flatString := DAEDump.dumpStr(dae, funcs);
      
            end if;
      
          // old backend
      
          else
      
            // The frontend runs again if the backend asks to evaluate parameters that
      
            // make a coefficient it solved an equation with zero.
      
        2333
            setGlobalRoot(Global.structuralParameters, {});
      
        2333
            ErrorExt.setCheckpoint(getInstanceName());
      
            try
      
        2333
              restart := true;
      
          2/2✓ Branch 0 taken 2334 times.
✓ Branch 1 taken 2028 times.

        4362
              while restart loop
      
                // calculate stuff that we need to create SimCode data structure
      
        2334
                System.realtimeTick(ClockIndexes.RT_CLOCK_FRONTEND);
      
        2334
                ExecStat.execStatReset();
      
        2334
                (cache, env, odae, NFFlatString) := CevalScriptBackend.runFrontEnd(inCache, inEnv, className, false, dumpValidFlatModelicaNF);
      
        2334
                ExecStat.execStat("FrontEnd");
      
          3/4✗ Branch 0 not taken.
✓ Branch 1 taken 2334 times.
✓ Branch 2 taken 294 times.
✓ Branch 3 taken 2040 times.

        2334
                SOME(dae) := odae;
      
          2/2✓ Branch 0 taken 23 times.
✓ Branch 1 taken 2017 times.

        2040
                if dumpValidFlatModelicaNF then
      
        23
                  flatString := NFFlatString;
      
                elseif not runSilent then
      
        936
                  funcs := FCore.getFunctionTree(cache);
      
        936
                  flatString := DAEDump.dumpStr(dae, funcs);
      
                end if;
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2040 times.

        2040
                if Flags.isSet(Flags.SERIALIZED_SIZE) then
      
                  allRoots := {};
      
        ✗
                  for i in 1:300 loop
      
                    try
      
        ✗
                      allRoots := getGlobalRoot(i)::allRoots;
      
                    else
      
                    end try;
      
                  end for;
      
        ✗
                  serializeNotify(allRoots, "All local+global roots (1:300)");
      
        ✗
                  serializeNotify(dae, "FrontEnd DAE");
      
        ✗
                  serializeNotify((env,inEnv,cache,inCache), "FCore.Graph + Cache + Old graph + Old cache");
      
        ✗
                  serializeNotify((SymbolTable.get(),dae,env,inEnv,cache,inCache), "Symbol Table, DAE, Graph, OldGraph, Cache, OldCache");
      
        ✗
                  ExecStat.execStat("Serialize FrontEnd");
      
                end if;
      
        2040
                timeFrontend := System.realtimeTock(ClockIndexes.RT_CLOCK_FRONTEND);
      
          2/2✓ Branch 0 taken 1081 times.
✓ Branch 1 taken 959 times.

        2040
                if runBackend then
      
          2/2✓ Branch 0 taken 9 times.
✓ Branch 1 taken 1072 times.

        1081
                  if useDAEMode then
      
        9
                    (cache, outLibs, outFileDir, resultValues) := translateModelCallBackendOBDAEMode(cache, env, dae, className, inFileNamePrefix, inSimSettingsOpt, args, kind);
      
        9
                    restart := false;
      
                  else
      
        1072
                    (cache, outLibs, outFileDir, resultValues, restart) := translateModelCallBackendOB(kind, cache, env, dae, className, inFileNamePrefix, inSimSettingsOpt, args);
      
                  end if;
      
                else
      
        959
                  restart := false;
      
                end if;
      
          2/2✓ Branch 0 taken 2028 times.
✓ Branch 1 taken 1 time.

        2029
                if restart then
      
        1
                  ErrorExt.rollBack(getInstanceName());
      
        1
                  ErrorExt.setCheckpoint(getInstanceName());
      
                end if;
      
              end while;
      
            else
      
        305
              ErrorExt.delCheckpoint(getInstanceName());
      
        305
              setGlobalRoot(Global.structuralParameters, {});
      
        305
              fail();
      
            end try;
      
        2028
            ErrorExt.delCheckpoint(getInstanceName());
      
        2028
            structuralParameters := getGlobalRoot(Global.structuralParameters);
      
          2/2✓ Branch 0 taken 1 time.
✓ Branch 1 taken 2027 times.

        2028
            if not listEmpty(structuralParameters) then
      
        2
              Error.addMessage(Error.EVALUATED_ZERO_COEFFICIENT, {stringDelimitList(listReverse(structuralParameters), ", ")});
      
        1
              setGlobalRoot(Global.structuralParameters, {});
      
            end if;
      
          end if;
      
        2226
          resultValues := List.appendElt(("timeFrontend", Values.REAL(timeFrontend)), resultValues);
      
        2226
          FlagsUtil.setConfigBool(Flags.BUILDING_MODEL, false);
      
          3/4✓ Branch 0 taken 969 times.
✓ Branch 1 taken 1257 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 969 times.

        2226
          if not stringEmpty(flatString) and runSilent then
      
        ✗
            Error.addInternalError("Flat model string generated but is not being dumped. Please make sure it is not generated if it is not shown."
      
                    , sourceInfo());
      
          elseif stringEmpty(flatString) and not runSilent then
      
        ✗
            Error.addInternalError("Flat model string generated but is empty.", sourceInfo());
      
          else
      
        2226
            print(flatString);
      
          end if;
      
          // The simCode clock ticks on every FMU export and on nothing else.
      
          1/4✗ Branch 1 not taken.
✓ Branch 2 taken 2226 times.
✗ Branch 4 not taken.
✗ Branch 5 not taken.

        2226
          if Flags.isSet(Flags.EXEC_STAT) and System.realtimeNtick(ClockIndexes.RT_CLOCK_FMU_SIMCODE) > 0 then
      
        ✗
            Error.addCompilerNotification("FMU-only work: backend " + fmuOverheadTime(ClockIndexes.RT_CLOCK_FMU_BACKEND)
      
              + ", simCode " + fmuOverheadTime(ClockIndexes.RT_CLOCK_FMU_SIMCODE)
      
              + ", templates " + fmuOverheadTime(ClockIndexes.RT_CLOCK_FMU_TEMPLATES));
      
          end if;
      
          success := true;
      
        end translateModel;
      
        protected function fmuOverheadTime
      
          "Seconds accumulated on one of the RT_CLOCK_FMU_* clocks, 0 if it never ran."
      
          input Integer clockIndex;
      
          output String str;
      
        algorithm
      
        ✗
          str := System.snprintff("%.4g", 20, if System.realtimeNtick(clockIndex) > 0 then System.realtimeAccumulated(clockIndex) else 0.0);
      
        end fmuOverheadTime;
      
        public function translateModelCallBackend
      
          input FlatModel flatModel;
      
          input FunctionTree functions;
      
          input Absyn.Path className;
      
          input String fileNamePrefix;
      
          input Boolean useDAEMode;
      
          input Option<SimCode.SimulationSettings> simSettings;
      
          output list<String> outLibs;
      
          output String outFileDir;
      
          output list<tuple<String, Values.Value>> resultValues;
      
        protected
      
          UnorderedMap<Absyn.Path, NFFunction.Function> func_map;
      
          DAE.DAElist dae;
      
          AvlTreePathFunction.Tree dae_funcs;
      
          FCore.Graph env;
      
          FCore.Cache cache;
      
          String file_name_prefix;
      
        algorithm
      
        ✗
          file_name_prefix := if fileNamePrefix == "<default>" then AbsynUtil.pathString(className) else fileNamePrefix;
      
        ✗
          if Flags.getConfigBool(Flags.NEW_BACKEND) then
      
            // The C++ runtime keeps arrays un-expanded (StatArrayDim members) and cannot
      
            // use the scalarized var layout; the C runtime, on the other hand, does not
      
            // yet support non-scalarized arrays. So force simCodeScalarize=false for the
      
            // C++ target only, leaving the default (true) for the C target (issue #15496).
      
            // Scalarized sim code has one slot per element and cannot grow, so resizable
      
            // arrays are never scalarized.
      
        ✗
            if stringEqual(Config.simCodeTarget(), "Cpp") or Flags.getConfigBool(Flags.RESIZABLE_ARRAYS) then
      
        ✗
              FlagsUtil.setConfigBool(Flags.SIM_CODE_SCALARIZE, false);
      
            end if;
      
        ✗
            func_map := UnorderedMap.fromLists(FunctionTree.listKeys(functions), FunctionTree.listValues(functions), AbsynUtil.pathHash, AbsynUtil.pathEqual);
      
        ✗
            (outLibs, outFileDir, resultValues, _) := translateModelCallBackendNB(flatModel, func_map, className, file_name_prefix, simSettings);
      
          else
      
        ✗
            dae := NFConvertDAE.convertModel(flatModel);
      
        ✗
            dae_funcs := NFConvertDAE.convertFunctionTree(functions);
      
        ✗
            env := FGraph.new("graph", FCore.dummyTopModel);
      
        ✗
            cache := FCore.emptyCache();
      
        ✗
            FCore.setCachedFunctionTree(cache, dae_funcs);
      
        ✗
            if useDAEMode then
      
        ✗
              (cache, outLibs, outFileDir, resultValues) := translateModelCallBackendOBDAEMode(cache, env, dae, className, file_name_prefix, simSettings, Absyn.emptyFunctionArgs);
      
            else
      
        ✗
              (cache, outLibs, outFileDir, resultValues) := translateModelCallBackendOB(TranslateModelKind.NORMAL(), cache, env, dae, className, file_name_prefix, simSettings, Absyn.emptyFunctionArgs);
      
            end if;
      
          end if;
      
        end translateModelCallBackend;
      
        protected function simSettingsSimflags
      
          "Extracts the simulation flag string from the simulation settings, if present.
      
           BackendDAE.ExtraInfo stores only this String (not the SimCode.SimulationSettings
      
           record) so the backend datatype package does not depend on SimCode."
      
          input Option<SimCode.SimulationSettings> inSimSettingsOpt;
      
          output Option<String> simflags;
      
        algorithm
      
          simflags := match inSimSettingsOpt
      
            local String s;
      
            case SOME(SimCode.SIMULATION_SETTINGS(simflags = s)) then SOME(s);
      
            else NONE();
      
          end match;
      
        end simSettingsSimflags;
      
        protected function translateModelCallBackendOB
      
          input TranslateModelKind kind;
      
          input output FCore.Cache cache;
      
          input FCore.Graph inEnv;
      
          input DAE.DAElist inDae;
      
          input Absyn.Path className "path for the model";
      
          input String inFileNamePrefix;
      
          input Option<SimCode.SimulationSettings> inSimSettingsOpt;
      
          input Absyn.FunctionArgs args = Absyn.emptyFunctionArgs "labels for remove terms";
      
          output list<String> outLibs;
      
          output String outFileDir;
      
          output list<tuple<String, Values.Value>> resultValues;
      
          output Boolean restart = false "the backend added parameters that the frontend must evaluate";
      
        protected
      
          Boolean generateFunctions = false;
      
          Real timeSimCode=0.0, timeTemplates=0.0, timeBackend=0.0;
      
          Integer numStructuralParameters = listLength(getGlobalRoot(Global.structuralParameters));
      
        algorithm
      
        1072
          FlagsUtil.setConfigBool(Flags.BUILDING_MODEL, true);
      
          (outLibs, outFileDir) := match inEnv
      
            local
      
              String file_dir, description, fmuType;
      
              list<String> libs;
      
              DAE.DAElist dae;
      
              FCore.Graph graph;
      
              BackendDAE.BackendDAE dlow, initDAE;
      
              Option<BackendDAE.BackendDAE> initDAE_lambda0;
      
              Option<BackendDAE.InlineData> inlineData;
      
              list<BackendDAE.Equation> removedInitialEquationLst;
      
              Option<list<String>> strPreOptModules;
      
              Boolean isFMI2;
      
              BackendDAE.SymbolicJacobians fmiDer;
      
              AvlTreePathFunction.Tree funcs;
      
            // old backend
      
            case graph algorithm
      
        1072
              System.realtimeTick(ClockIndexes.RT_CLOCK_BACKEND);
      
        1072
              dae := DAEUtil.transformationsBeforeBackend(cache, graph, inDae, StateMachineFlatten.stateMachineToDataFlow);
      
        1072
              ExecStat.execStat("Transformations before backend");
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1072 times.

        1072
              if Flags.isSet(Flags.SERIALIZED_SIZE) then
      
        ✗
                serializeNotify(dae, "FrontEnd DAE after transformations");
      
        ✗
                serializeNotify((dae,inDae), "FrontEnd DAE before+after transformations");
      
        ✗
                ExecStat.execStat("Serialize DAE (2)");
      
              end if;
      
        1072
              GCExt.free(inDae);
      
              // inDae := DAE.emptyDae;
      
        1072
              generateFunctions := FlagsUtil.set(Flags.GEN, false);
      
              // We should not need to lookup constants and classes in the backend,
      
              // so let's free up the old graph and just make it the initial environment.
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1072 times.

        1072
              if not Flags.isSet(Flags.BACKEND_KEEP_ENV_GRAPH) then
      
        ✗
                (cache,graph) := Builtin.initialGraph(cache);
      
              end if;
      
        1072
              description := DAEUtil.daeDescription(dae);
      
        1072
              dlow := BackendDAECreate.lower(dae, cache, graph, BackendDAE.EXTRA_INFO(description, inFileNamePrefix, simSettingsSimflags(inSimSettingsOpt)));
      
        1066
              GCExt.free(dae);
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1066 times.

        1066
              if Flags.isSet(Flags.SERIALIZED_SIZE) then
      
        ✗
                serializeNotify(dlow, "BackendDAECreate.lower");
      
        ✗
                ExecStat.execStat("Serialize dlow");
      
              end if;
      
              // FMI 2.0 and 3.0 both provide a ModelStructure with dependencies and
      
              // partial derivatives, so they share the same backend preparation.
      
              (isFMI2,fmuType) := match kind
      
          4/4✓ Branch 2 taken 16 times.
✓ Branch 3 taken 70 times.
✓ Branch 6 taken 13 times.
✓ Branch 7 taken 3 times.

        86
                case TranslateModelKind.FMU(fmuType) then (FMI.isFMIVersion20() or FMI.isFMIVersion30(),fmuType);
      
                else (false,"");
      
              end match;
      
              // FMI 2.0/3.0: enable postOptModule to create alias variables for output states
      
          2/2✓ Branch 0 taken 83 times.
✓ Branch 1 taken 3 times.

        86
              strPreOptModules := if (isFMI2) then SOME("introduceOutputAliases"::BackendDAEUtil.getPreOptModulesString()) else NONE();
      
              // FMI 2.0/3.0: enable postOptModule "introduceOutputRealDerivatives" to set maxOutputDerivativeOrder = 1
      
          6/6✓ Branch 0 taken 83 times.
✓ Branch 1 taken 983 times.
✓ Branch 2 taken 75 times.
✓ Branch 3 taken 8 times.
✓ Branch 5 taken 8 times.
✓ Branch 6 taken 67 times.

        1066
              if (isFMI2 and fmuType == "cs") then
      
        8
                strPreOptModules := SOME("introduceOutputRealDerivatives":: Util.getOption(strPreOptModules));
      
              end if;
      
              //BackendDump.printBackendDAE(dlow);
      
        1066
              (dlow, initDAE, initDAE_lambda0, inlineData, removedInitialEquationLst) := BackendDAEUtil.getSolvedSystem(dlow,inFileNamePrefix,strPreOptModules=strPreOptModules);
      
        1061
              restart := listLength(getGlobalRoot(Global.structuralParameters)) > numStructuralParameters;
      
              // generate derivatives
      
          4/4✓ Branch 0 taken 83 times.
✓ Branch 1 taken 978 times.
✓ Branch 3 taken 80 times.
✓ Branch 4 taken 3 times.

        1061
              if (isFMI2) and not restart and not Flags.isSet(Flags.FMI20_DEPENDENCIES) then
      
                // activate symolic jacobains for fmi 2.0
      
                // to provide dependence information and partial derivatives
      
        80
                System.realtimeTick(ClockIndexes.RT_CLOCK_FMU_BACKEND);
      
        80
                (fmiDer, funcs) := SymbolicJacobian.createFMIModelDerivatives(dlow);
      
        80
                dlow := BackendDAEUtil.setFunctionTree(dlow, funcs);
      
        80
                System.realtimeAccumulate(ClockIndexes.RT_CLOCK_FMU_BACKEND);
      
              else
      
                fmiDer := {};
      
              end if;
      
        1061
              timeBackend := System.realtimeTock(ClockIndexes.RT_CLOCK_BACKEND);
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1061 times.

        1061
              if Flags.isSet(Flags.SERIALIZED_SIZE) then
      
        ✗
                serializeNotify(dlow, "BackendDAE (simulation)");
      
        ✗
                serializeNotify(initDAE, "BackendDAE (initialization)");
      
        ✗
                serializeNotify(initDAE_lambda0, "BackendDAE (lambda0)");
      
        ✗
                serializeNotify((dlow,initDAE,initDAE_lambda0,inlineData,removedInitialEquationLst), "BackendDAE (simulation+initialization+lambda0+inlineData+removedInitialEquationLst)");
      
        ✗
                ExecStat.execStat("Serialize solved system");
      
              end if;
      
              (libs, file_dir, timeSimCode, timeTemplates) := match kind
      
        1
                case _ guard restart then ({}, "", 0.0, 0.0);
      
                case TranslateModelKind.NORMAL()
      
                  algorithm
      
        974
                    (libs, file_dir, timeSimCode, timeTemplates) := generateModelCode(dlow, initDAE, initDAE_lambda0, inlineData, removedInitialEquationLst, SymbolTable.getAbsyn(), className, inFileNamePrefix, inSimSettingsOpt, args,fmiDer);
      
                  then (libs, file_dir, timeSimCode, timeTemplates);
      
                case TranslateModelKind.FMU()
      
                  algorithm
      
        86
                    (libs,file_dir,timeSimCode,timeTemplates) := generateModelCodeFMU(dlow, initDAE, initDAE_lambda0, fmiDer, removedInitialEquationLst, SymbolTable.getAbsyn(), className, FMI.getFMIVersionString(), kind.kind, inFileNamePrefix, kind.targetName, inSimSettingsOpt, kind.translateOnly);
      
                  then (libs, file_dir, timeSimCode, timeTemplates);
      
                case TranslateModelKind.XML()
      
                  algorithm
      
        ✗
                    (libs, file_dir, timeSimCode, timeTemplates) := generateModelCodeXML(dlow, initDAE, initDAE_lambda0, removedInitialEquationLst, SymbolTable.getAbsyn(), className, inFileNamePrefix, inSimSettingsOpt);
      
                  then (libs, file_dir, timeSimCode, timeTemplates);
      
                else
      
                  algorithm
      
        ✗
                    Error.addInternalError("Unknown translateModel kind: " + anyString(kind), sourceInfo());
      
        ✗
                  then fail();
      
              end match;
      
            then (libs, file_dir);
      
          end match;
      
          2/2✓ Branch 0 taken 1 time.
✓ Branch 1 taken 1060 times.

        1061
          if generateFunctions then
      
        1
            FlagsUtil.set(Flags.GEN, true);
      
          end if;
      
        1061
          resultValues := {("timeTemplates", Values.REAL(timeTemplates)),
      
                          ("timeSimCode", Values.REAL(timeSimCode)),
      
                          ("timeBackend", Values.REAL(timeBackend))};
      
        end translateModelCallBackendOB;
      
        public function translateModelCallBackendOBDAEMode
      
        " Entry point to translate a Modelica model for simulation in DAE mode
      
          Called from CevalScriptBackend"
      
          input output FCore.Cache cache;
      
          input FCore.Graph inEnv;
      
          input DAE.DAElist inDae;
      
          input Absyn.Path className "path for the model";
      
          input String inFileNamePrefix;
      
          input Option<SimCode.SimulationSettings> inSimSettingsOpt;
      
          input Absyn.FunctionArgs args "labels for remove terms";
      
          input TranslateModelKind kind = TranslateModelKind.NORMAL() "FMU() to generate an FMU instead of a simulation";
      
          output list<String> outLibs;
      
          output String outFileDir;
      
          output list<tuple<String, Values.Value>> resultValues;
      
        protected
      
          Boolean generateFunctions = false;
      
          Real timeSimCode=0.0, timeTemplates=0.0, timeBackend=0.0;
      
        algorithm
      
          (outLibs, outFileDir) :=
      
          matchcontinue inEnv
      
            local
      
              String file_dir, resstr, description;
      
              list<String> libs;
      
              DAE.DAElist dae;
      
              FCore.Graph graph;
      
              BackendDAE.BackendDAE dlow, initDAE;
      
              Option<BackendDAE.BackendDAE> initDAE_lambda0_option;
      
              list<BackendDAE.Equation> removedInitialEquationLst;
      
              Option<list<String>> strPreOptModules;
      
              Boolean isFMI;
      
            case graph algorithm
      
        9
              System.realtimeTick(ClockIndexes.RT_CLOCK_BACKEND);
      
        9
              dae := DAEUtil.transformationsBeforeBackend(cache, graph, inDae, StateMachineFlatten.stateMachineToDataFlow);
      
        9
              ExecStat.execStat("Transformations before backend");
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.

        9
              if Flags.isSet(Flags.SERIALIZED_SIZE) then
      
        ✗
                serializeNotify(dae, "dae2");
      
        ✗
                ExecStat.execStat("Serialize DAE (2)");
      
              end if;
      
        9
              GCExt.free(inDae);
      
        9
              generateFunctions := FlagsUtil.set(Flags.GEN, false);
      
              // We should not need to lookup constants and classes in the backend,
      
              // so let's free up the old graph and just make it the initial environment.
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.

        9
              if not Flags.isSet(Flags.BACKEND_KEEP_ENV_GRAPH) then
      
        ✗
                (cache,graph) := Builtin.initialGraph(cache);
      
              end if;
      
        9
              description := DAEUtil.daeDescription(dae);
      
        9
              dlow := BackendDAECreate.lower(dae, cache, graph, BackendDAE.EXTRA_INFO(description,inFileNamePrefix,simSettingsSimflags(inSimSettingsOpt)));
      
        9
              GCExt.free(dae);
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.

        9
              if Flags.isSet(Flags.SERIALIZED_SIZE) then
      
        ✗
                serializeNotify(dlow, "dlow");
      
        ✗
                ExecStat.execStat("Serialize dlow");
      
              end if;
      
              // The alias variables FMI 2.0/3.0 report top-level outputs off. Not its
      
              // counterpart introduceOutputRealDerivatives: that makes every Real output a
      
              // state, which in DAE mode changes the residual system.
      
              isFMI := match kind
      
        ✗
                case TranslateModelKind.FMU() then FMI.isFMIVersion20() or FMI.isFMIVersion30();
      
                else false;
      
              end match;
      
        ✗
              strPreOptModules := if isFMI then SOME("introduceOutputAliases"::BackendDAEUtil.getPreOptModulesString()) else NONE();
      
              //BackendDump.printBackendDAE(dlow);
      
        9
              (dlow, initDAE, initDAE_lambda0_option, removedInitialEquationLst) := DAEMode.getEqSystemDAEmode(dlow, inFileNamePrefix, strPreOptModules=strPreOptModules);
      
        9
              ExecStat.execStat("Backend");
      
        9
              timeBackend := System.realtimeTock(ClockIndexes.RT_CLOCK_BACKEND);
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.

        9
              if Flags.isSet(Flags.SERIALIZED_SIZE) then
      
        ✗
                serializeNotify(dlow, "simDAE");
      
        ✗
                serializeNotify(initDAE, "initDAE");
      
        ✗
                serializeNotify(removedInitialEquationLst, "removedInitialEquationLst");
      
        ✗
                ExecStat.execStat("Serialize solved system");
      
              end if;
      
        9
              (libs, file_dir, timeSimCode, timeTemplates) := generateModelCodeDAE(dlow, initDAE, initDAE_lambda0_option, removedInitialEquationLst, SymbolTable.getAbsyn(), className, inFileNamePrefix, inSimSettingsOpt, args, kind);
      
        9
              timeSimCode := System.realtimeTock(ClockIndexes.RT_CLOCK_SIMCODE);
      
        9
              timeTemplates := System.realtimeTock(ClockIndexes.RT_CLOCK_TEMPLATES);
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 9 times.

        9
            then (libs, file_dir);
      
            else algorithm
      
        ✗
              resstr := AbsynUtil.pathStringNoQual(className);
      
        ✗
              resstr := stringAppendList({"SimCode DAEmode: The model ", resstr, " could not be translated"});
      
        ✗
              Error.addMessage(Error.INTERNAL_ERROR, {resstr});
      
        ✗
            then fail();
      
          end matchcontinue;
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 9 times.

        9
          if generateFunctions then
      
        ✗
            FlagsUtil.set(Flags.GEN, true);
      
          end if;
      
        9
          resultValues := {("timeTemplates", Values.REAL(timeTemplates)),
      
                          ("timeSimCode", Values.REAL(timeSimCode)),
      
                          ("timeBackend", Values.REAL(timeBackend))};
      
        end translateModelCallBackendOBDAEMode;
      
        protected function translateModelCallBackendNB
      
          input FlatModel inFlatModel;
      
          input UnorderedMap<Absyn.Path, NFFunction.Function> funcMap;
      
          input Absyn.Path inClassName "path for the model";
      
          input String inFileNamePrefix;
      
          input Option<SimCode.SimulationSettings> inSimSettingsOpt;
      
          input TranslateModelKind kind = TranslateModelKind.NORMAL() "FMU() to generate an FMU instead of a simulation";
      
          output list<String> outLibs;
      
          output String outFileDir;
      
          output list<tuple<String, Values.Value>> resultValues;
      
          output AvlTreePathFunction.Tree oldFunctionTree;
      
        protected
      
          Real timeSimCode=0.0, timeTemplates=0.0, timeBackend=0.0;
      
          NBackendDAE bdae;
      
          Boolean nf_api;
      
        algorithm
      
        193
          FlagsUtil.setConfigBool(Flags.BUILDING_MODEL, true);
      
        193
          nf_api := FlagsUtil.set(Flags.NF_API, false);
      
        193
          System.realtimeTick(ClockIndexes.RT_CLOCK_BACKEND);
      
        193
          bdae := NBackendDAE.lower(inFlatModel, funcMap);
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 193 times.

        193
          if Flags.isSet(Flags.OPT_DAE_DUMP) then
      
        ✗
            print(NBackendDAE.toString(bdae, "(After Lowering)"));
      
          end if;
      
        193
          bdae := NBackendDAE.main(bdae);
      
        188
          timeBackend := System.realtimeTock(ClockIndexes.RT_CLOCK_BACKEND);
      
        188
          ExecStat.execStat("backend");
      
        188
          FlagsUtil.set(Flags.NF_API, nf_api);
      
        188
          (outLibs, outFileDir, timeSimCode, timeTemplates, oldFunctionTree) := generateModelCodeNewBackend(bdae, inClassName, inFileNamePrefix, inSimSettingsOpt, kind);
      
        188
          resultValues := {("timeTemplates", Values.REAL(timeTemplates)),
      
                          ("timeSimCode", Values.REAL(timeSimCode)),
      
                          ("timeBackend", Values.REAL(timeBackend))};
      
        end translateModelCallBackendNB;
      
        protected function generateModelCodeDAE
      
        " Generates code for a model by creating a SimCode structure for the DAEmode
      
          and call the template target generator. "
      
          input BackendDAE.BackendDAE inBackendDAE;
      
          input BackendDAE.BackendDAE inInitDAE;
      
          input Option<BackendDAE.BackendDAE> initDAE_lambda0_option;
      
          input list<BackendDAE.Equation> inRemovedInitialEquationLst;
      
          input Absyn.Program p;
      
          input Absyn.Path className;
      
          input String filenamePrefix;
      
          input Option<SimCode.SimulationSettings> simSettingsOpt;
      
          input Absyn.FunctionArgs args;
      
          input TranslateModelKind kind = TranslateModelKind.NORMAL() "FMU() to generate an FMU instead of a simulation";
      
          output list<String> libs;
      
          output String fileDir;
      
          output Real timeSimCode;
      
          output Real timeTemplates;
      
        protected
      
          constant Boolean debug = false;
      
          list<String> includes, includeDirs,libPaths;
      
          list<SimCodeFunction.Function> functions;
      
          SimCode.SimCode simCode;
      
          list<SimCodeFunction.RecordDeclaration> recordDecls;
      
          Absyn.ComponentRef a_cref;
      
          tuple<Integer, UnorderedMap<DAE.Exp, Integer>, list<DAE.Exp>> literals;
      
          list<DAE.Exp> lits;
      
          Integer numCheckpoints;
      
          list<SimCodeVar.SimVar> tempVars = {};
      
          BackendDAE.BackendDAE emptyBDAE;
      
          BackendDAE.BackendDAE initDAE_lambda0;
      
          SimCode.ModelInfo modelInfo;
      
          SimCode.ExtObjInfo extObjInfo;
      
          SimCode.HashTableCrefToSimVar crefToSimVarHT;
      
          SimCodeFunction.MakefileParams makefileParams;
      
          SimCode.SpatialDistributionInfo spatialInfo;
      
          list<tuple<Integer, tuple<DAE.Exp, DAE.Exp, DAE.Exp>>> delayedExps;
      
          Integer maxDelayedExpIndex;
      
          Integer uniqueEqIndex = 1;
      
          Boolean tmpB;
      
          HashTableCrIListArray.HashTable varToArrayIndexMapping "maps each array-variable to a array of positions";
      
          HashTableCrILst.HashTable varToIndexMapping "maps each variable to an array position";
      
          HashTable.HashTable crefToClockIndexHT;
      
          list<DAE.ComponentRef> discreteModelVars;
      
          list<BackendDAE.TimeEvent> timeEvents;
      
          BackendDAE.ZeroCrossingSet zeroCrossingsSet, sampleZCSet;
      
          BackendDAE.ZeroCrossingSet de_relations;
      
          list<BackendDAE.ZeroCrossing> zeroCrossings, sampleZC, relations;
      
          BackendDAE.Variables daeVars, resVars, algStateVars, auxVars;
      
          list<BackendDAE.Var> varsLst;
      
          Option<SimCode.JacobianMatrix> daeModeSP;
      
          Option<SimCode.DaeModeData> daeModeData;
      
          SimCode.DaeModeConfig daeModeConf;
      
          list<String> matrixnames;
      
          list<list<SimCode.SimEqSystem>> daeEquations;
      
          list<SimCodeVar.SimVar> residualVars, algebraicStateVars, auxiliaryVars;
      
          tuple<Option<BackendDAE.SymbolicJacobian>, BackendDAE.SparsePattern, BackendDAE.SparseColoring, BackendDAE.NonlinearPattern> daeModeJacobian;
      
          Option<BackendDAE.SymbolicJacobian> daeModeJac;
      
          Option<BackendDAE.Jacobian> jacH;
      
          BackendDAE.SparsePattern daeModeSparsity;
      
          BackendDAE.SparseColoring daeModeColoring;
      
          BackendDAE.NonlinearPattern nonlinearPattern;
      
          SimCode.JacobianMatrix symDAESparsPattern;
      
          list<SimCode.JacobianMatrix> symJacs, SymbolicJacs, SymbolicJacsNLS, SymbolicJacsTemp;
      
          list<SimCode.SimEqSystem> initialEquations;
      
          list<SimCode.SimEqSystem> initialEquations_lambda0;
      
          list<SimCode.SimEqSystem> removedInitialEquations;
      
          list<SimCodeVar.SimVar> jacobianSimvars, seedVars;
      
          list<SimCode.SimEqSystem> startValueEquations = {};        // --> updateBoundStartValues
      
          list<SimCode.SimEqSystem> maxValueEquations = {};          // --> updateBoundMaxValues
      
          list<SimCode.SimEqSystem> minValueEquations = {};          // --> updateBoundMinValues
      
          list<SimCode.SimEqSystem> nominalValueEquations = {};      // --> updateBoundNominalValues
      
          list<SimCode.SimEqSystem> parameterEquations = {};         // --> updateBoundParameters
      
          list<SimCode.SimEqSystem> jacobianEquations = {};
      
          Boolean isFMU = false, translateOnly = false;
      
          String FMUVersion = "", FMUType = "", fmuTargetName = "", fullPathPrefix = "";
      
          Option<SimCode.FmiModelStructure> modelStructure = NONE();
      
          Option<SimCode.FmiSimulationFlags> fmiSimulationFlags = NONE();
      
        algorithm
      
          () := match kind
      
            case TranslateModelKind.FMU()
      
              algorithm
      
        ✗
                isFMU := true;
      
        ✗
                FMUVersion := FMI.getFMIVersionString();
      
        ✗
                FMUType := kind.kind;
      
        ✗
                fmuTargetName := kind.targetName;
      
        ✗
                translateOnly := kind.translateOnly;
      
                // Where the C target writes the generated sources.
      
        ✗
                fullPathPrefix := Util.hashFileNamePrefix(filenamePrefix) + ".fmutmp/sources/";
      
              then ();
      
            else ();
      
          end match;
      
        9
          numCheckpoints:=ErrorExt.getNumCheckpoints();
      
          try
      
        9
            StackOverflow.clearStacktraceMessages();
      
        9
            System.realtimeTick(ClockIndexes.RT_CLOCK_SIMCODE);
      
            // +++ create SimCode stuff +++
      
            // create SimCode functions
      
        9
            a_cref := AbsynUtil.pathToCref(className);
      
        9
            fileDir := ProgramUtil.getFileDir(a_cref, p);
      
        9
            (libs, libPaths, includes, includeDirs, recordDecls, functions, literals) := SimCodeUtilShared.createFunctions(p, inBackendDAE.shared.functionTree);
      
            // create external objects
      
        9
            extObjInfo := SimCodeUtil.createExtObjInfo(inBackendDAE.shared);
      
            // create make file params
      
        9
            makefileParams := SimCodeFunctionUtil.createMakefileParams(includeDirs, libs, libPaths, false, false);
      
            //create delay exps
      
        9
            (delayedExps, maxDelayedExpIndex) := SimCodeUtil.extractDelayedExpressions(inBackendDAE);
      
        9
            spatialInfo := SimCodeUtil.extractSpatialDistributionInfo(inBackendDAE);
      
            // created event suff e.g. zeroCrossings, samples, ...
      
        9
            timeEvents := inBackendDAE.shared.eventInfo.timeEvents;
      
            (zeroCrossings,relations,sampleZC) := match inBackendDAE.shared.eventInfo
      
              case BackendDAE.EVENT_INFO(zeroCrossings=zeroCrossingsSet, relations=de_relations, samples=sampleZCSet)
      
        9
              then (ZeroCrossings.toList(zeroCrossingsSet), ZeroCrossings.toList(de_relations), ZeroCrossings.toList(sampleZCSet));
      
            end match;
      
            // initialization stuff
      
            // ********************
      
            // generate equations for initDAE
      
        9
            (initialEquations, uniqueEqIndex, tempVars) := SimCodeUtil.createInitialEquations(inInitDAE, uniqueEqIndex, tempVars);
      
            // generate equations for initDAE_lambda0
      
          3/4✗ Branch 0 not taken.
✓ Branch 1 taken 9 times.
✓ Branch 2 taken 2 times.
✓ Branch 3 taken 7 times.

        9
            if isSome(initDAE_lambda0_option) then
      
        2
              SOME(initDAE_lambda0) := initDAE_lambda0_option;
      
        2
              (initialEquations_lambda0, uniqueEqIndex, tempVars) := SimCodeUtil.createInitialEquations_lambda0(initDAE_lambda0, uniqueEqIndex, tempVars);
      
            else
      
              initialEquations_lambda0 := {};
      
            end if;
      
            // generate equations for removed initial equations
      
        9
            (removedInitialEquations, (uniqueEqIndex, _), tempVars) := SimCodeUtil.createNonlinearResidualEquations(inRemovedInitialEquationLst, (uniqueEqIndex, 0), tempVars, inBackendDAE.shared.functionTree);
      
            //removedInitialEquations := listReverse(removedInitialEquations);
      
        9
            ExecStat.execStat("simCode: created initialization part");
      
            // create parameter equations
      
        9
            (uniqueEqIndex, startValueEquations, _) := BackendDAEUtil.foldEqSystem(inInitDAE, SimCodeUtil.createStartValueEquations, (uniqueEqIndex, {}, inBackendDAE.shared.globalKnownVars));
      
            if debug then ExecStat.execStat("simCode: createStartValueEquations"); end if;
      
        9
            (uniqueEqIndex, nominalValueEquations) := SimCodeUtil.createValueEquationsShared(inBackendDAE.shared, SimCodeUtil.createInitialAssignmentsFromNominal, (uniqueEqIndex, nominalValueEquations));
      
            if debug then ExecStat.execStat("simCode: createNominalValueEquationsShared"); end if;
      
        9
            (uniqueEqIndex, nominalValueEquations) := BackendDAEUtil.foldEqSystem(inBackendDAE, SimCodeUtil.createNominalValueEquations, (uniqueEqIndex, nominalValueEquations));
      
            if debug then ExecStat.execStat("simCode: createNominalValueEquations"); end if;
      
        9
            (uniqueEqIndex, minValueEquations) := SimCodeUtil.createValueEquationsShared(inBackendDAE.shared, SimCodeUtil.createInitialAssignmentsFromMin, (uniqueEqIndex, minValueEquations));
      
            if debug then ExecStat.execStat("simCode: createMinValueEquationsShared"); end if;
      
        9
            (uniqueEqIndex, minValueEquations) := BackendDAEUtil.foldEqSystem(inBackendDAE, SimCodeUtil.createMinValueEquations, (uniqueEqIndex, minValueEquations));
      
            if debug then ExecStat.execStat("simCode: createMinValueEquations"); end if;
      
        9
            (uniqueEqIndex, maxValueEquations) := SimCodeUtil.createValueEquationsShared(inBackendDAE.shared, SimCodeUtil.createInitialAssignmentsFromMax, (uniqueEqIndex, maxValueEquations));
      
            if debug then ExecStat.execStat("simCode: createMaxValueEquationsShared"); end if;
      
        9
            (uniqueEqIndex, maxValueEquations) := BackendDAEUtil.foldEqSystem(inBackendDAE, SimCodeUtil.createMaxValueEquations, (uniqueEqIndex, maxValueEquations));
      
            if debug then ExecStat.execStat("simCode: createMaxValueEquations"); end if;
      
        9
            (uniqueEqIndex, parameterEquations, _) := SimCodeUtil.createParameterEquations(uniqueEqIndex, parameterEquations, inBackendDAE.shared.globalKnownVars);
      
            if debug then ExecStat.execStat("simCode: createParameterEquations"); end if;
      
        9
            discreteModelVars := BackendDAEUtil.foldEqSystem(inBackendDAE, SimCodeUtil.extractDiscreteModelVars, {});
      
            // create DAEmode equations
      
        9
            (daeEquations, uniqueEqIndex, tempVars) := SimCodeUtil.createEquationsfromBackendDAE(inBackendDAE, uniqueEqIndex, tempVars, true, true);
      
            // create model info
      
            // create dummy system where all original variables are created
      
        18
            emptyBDAE := BackendDAE.DAE(BackendDAEUtil.createEqSystem(
      
                                          Util.getOption(inBackendDAE.shared.daeModeData.modelVars))::{},
      
                                        inBackendDAE.shared);
      
            // disable start value calculation, it's only helpful in case of algebraic loops
      
            // and they are not present in DAEmode
      
            // create DAE mode Sparse pattern and TODO: Jacobians
      
            // sparsity pattern generation
      
          1/4✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.
✗ Branch 5 not taken.
✗ Branch 6 not taken.

        9
            if Flags.getConfigString(Flags.GENERATE_DYNAMIC_JACOBIAN) == "symbolic" then
      
              // create symbolic jacobian (like nls systems!)
      
        ✗
              (daeModeJac, daeModeSparsity, daeModeColoring, nonlinearPattern) := listGet(inBackendDAE.shared.symjacs, BackendDAE.SymbolicJacobianAIndex);
      
        ✗
              if isSome(inBackendDAE.shared.dataReconciliationData) then
      
        ✗
                BackendDAE.DATA_RECON(_, _, _, _, jacH) := Util.getOption(inBackendDAE.shared.dataReconciliationData);
      
        ✗
                if isSome(jacH) then
      
                  matrixnames := {"B", "C", "D", "ADJ"};
      
                else
      
                  matrixnames := {"B", "C", "D", "H", "ADJ"};
      
                end if;
      
              else
      
                matrixnames := {"B", "C", "D", "F", "H", "ADJ"};
      
              end if;
      
        ✗
              (daeModeSP, uniqueEqIndex, tempVars) := SimCodeUtil.createSymbolicSimulationJacobian(
      
                inJacobian      = BackendDAE.GENERIC_JACOBIAN(daeModeJac, daeModeSparsity, daeModeColoring, nonlinearPattern),
      
                iuniqueEqIndex  = uniqueEqIndex,
      
                itempvars       = tempVars);
      
        ✗
              tmpB := FlagsUtil.set(Flags.NO_START_CALC, true);
      
        ✗
              modelInfo := SimCodeUtil.createModelInfo(className, p, emptyBDAE, inInitDAE, functions, {}, 0, spatialInfo.maxIndex, fileDir, 0, tempVars);
      
        ✗
              FlagsUtil.set(Flags.NO_START_CALC, tmpB);
      
              //create hash table
      
        ✗
              crefToSimVarHT := SimCodeCodegenUtil.createCrefToSimVarHT(modelInfo);
      
        ✗
              (symJacs, uniqueEqIndex) := SimCodeUtil.createSymbolicJacobianssSimCode({}, crefToSimVarHT, uniqueEqIndex, matrixnames, {});
      
        ✗
              symJacs := listReverse(Util.getOption(daeModeSP) :: symJacs);
      
            else
      
        9
              tmpB := FlagsUtil.set(Flags.NO_START_CALC, true);
      
        9
              modelInfo := SimCodeUtil.createModelInfo(className, p, emptyBDAE, inInitDAE, functions, {}, 0, spatialInfo.maxIndex, fileDir, 0, tempVars);
      
        9
              FlagsUtil.set(Flags.NO_START_CALC, tmpB);
      
        9
              crefToSimVarHT := SimCodeCodegenUtil.createCrefToSimVarHT(modelInfo);
      
          2/4✗ Branch 0 not taken.
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 9 times.

        9
              if isSome(inBackendDAE.shared.dataReconciliationData) then
      
        ✗
                BackendDAE.DATA_RECON(_, _, _, _, jacH) := Util.getOption(inBackendDAE.shared.dataReconciliationData);
      
        ✗
                if isSome(jacH) then
      
                  matrixnames := {"A", "B", "C", "D", "ADJ"};
      
                else
      
                  matrixnames := {"A", "B", "C", "D", "H", "ADJ"};
      
                end if;
      
              else
      
                matrixnames := {"A", "B", "C", "D", "F", "H", "ADJ"};
      
              end if;
      
        9
              (symJacs, uniqueEqIndex) := SimCodeUtil.createSymbolicJacobianssSimCode({}, crefToSimVarHT, uniqueEqIndex, matrixnames, {});
      
            end if;
      
            // collect symbolic jacobians in initialization loops of the overall jacobians
      
            SymbolicJacsNLS := {};
      
        9
            (initialEquations, modelInfo, SymbolicJacsTemp) := SimCodeUtil.addAlgebraicLoopsModelInfo(initialEquations, modelInfo);
      
        9
            SymbolicJacsNLS := listAppend(SymbolicJacsTemp, SymbolicJacsNLS);
      
        9
            (initialEquations_lambda0, modelInfo, SymbolicJacsTemp) := SimCodeUtil.addAlgebraicLoopsModelInfo(initialEquations_lambda0, modelInfo);
      
        9
            SymbolicJacsNLS := listAppend(SymbolicJacsTemp, SymbolicJacsNLS);
      
        9
            (parameterEquations, modelInfo, SymbolicJacsTemp) := SimCodeUtil.addAlgebraicLoopsModelInfo(parameterEquations, modelInfo);
      
        9
            SymbolicJacsNLS := listAppend(SymbolicJacsTemp, SymbolicJacsNLS);
      
            // check for datareconciliation is present and pass the matrixnames
      
            //(_, modelInfo, symJacs) := SimCodeUtil.addAlgebraicLoopsModelInfoSymJacs(inBackendDAE.shared.symjacs, modelInfo);
      
        9
            (SymbolicJacs, modelInfo, SymbolicJacsTemp) := SimCodeUtil.addAlgebraicLoopsModelInfoSymJacs(symJacs, modelInfo);
      
            // collect jacobian equation only for equantion info file
      
        9
            jacobianEquations := SimCodeUtil.collectAllJacobianEquations(SymbolicJacs);
      
            if debug then ExecStat.execStat("simCode: create Jacobian linear code"); end if;
      
        9
            SymbolicJacs := listAppend(listReverse(SymbolicJacsNLS), listAppend(SymbolicJacs, SymbolicJacsTemp));
      
        9
            jacobianSimvars := SimCodeUtil.collectAllJacobianVars(SymbolicJacs);
      
        9
            modelInfo := SimCodeUtil.setJacobianVars(jacobianSimvars, modelInfo);
      
        9
            crefToSimVarHT:= List.fold(jacobianSimvars, HashTableCrefSimVar.addSimVarToHashTable, crefToSimVarHT);
      
        9
            seedVars := SimCodeUtil.collectAllSeedVars(SymbolicJacs);
      
        9
            modelInfo := SimCodeUtil.setSeedVars(seedVars, modelInfo);
      
        9
            crefToSimVarHT := List.fold(seedVars, HashTableCrefSimVar.addSimVarToHashTable, crefToSimVarHT);
      
            // create dae SimVars: residual and algebraic
      
        9
            varsLst := BackendVariable.equationSystemsVarsLst(inBackendDAE.eqs);
      
        9
            daeVars := BackendVariable.listVar(varsLst);
      
            // create residual variables, set index and push them SimCode HashTable
      
        9
            (_, resVars) := BackendVariable.traverseBackendDAEVars(daeVars, BackendVariable.collectVarKindVarinVariables, (BackendVariable.isDAEmodeResVar, BackendVariable.emptyVars()));
      
        9
            (residualVars, _) :=  BackendVariable.traverseBackendDAEVars(resVars, SimCodeUtil.traversingdlowvarToSimvar, ({}, BackendVariable.emptyVars()));
      
        9
            residualVars := SimCodeUtil.rewriteIndex(residualVars, 0);
      
        9
            (residualVars, _) := SimCodeCodegenUtil.setVariableIndexHelper(residualVars, 0, 0);
      
        9
            crefToSimVarHT:= List.fold(residualVars,HashTableCrefSimVar.addSimVarToHashTable,crefToSimVarHT);
      
            // create auxiliary variables, set index and push them SimCode Hash Table
      
        9
            (_, auxVars) := BackendVariable.traverseBackendDAEVars(daeVars, BackendVariable.collectVarKindVarinVariables, (BackendVariable.isDAEmodeAuxVar, BackendVariable.emptyVars()));
      
        9
            (auxiliaryVars, _) :=  BackendVariable.traverseBackendDAEVars(auxVars, SimCodeUtil.traversingdlowvarToSimvar, ({}, BackendVariable.emptyVars()));
      
        9
            auxiliaryVars := List.sort(auxiliaryVars, SimCodeUtil.simVarCompareByCrefSubsAtEndlLexical);
      
        9
            auxiliaryVars := SimCodeUtil.rewriteIndex(auxiliaryVars, 0);
      
        9
            (auxiliaryVars, _) := SimCodeCodegenUtil.setVariableIndexHelper(auxiliaryVars, 0, 0);
      
        9
            crefToSimVarHT:= List.fold(auxiliaryVars,HashTableCrefSimVar.addSimVarToHashTable,crefToSimVarHT);
      
            // create SimCodeVars for algebraic states
      
        9
            algStateVars := BackendVariable.listVar(inBackendDAE.shared.daeModeData.algStateVars);
      
        9
            (algebraicStateVars, _) :=  BackendVariable.traverseBackendDAEVars(algStateVars, SimCodeUtil.traversingdlowvarToSimvar, ({}, BackendVariable.emptyVars()));
      
        9
            algebraicStateVars := SimCodeUtil.sortSimVarsAndWriteIndex(algebraicStateVars, crefToSimVarHT);
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 9 times.

        9
            if isFMU then
      
        ✗
              modelInfo := SimCodeUtil.exportDaeAlgebraicStates(modelInfo, algebraicStateVars);
      
            end if;
      
            // only create sparsity pattern for dae mode data even if it is created with --generateDynamicJacobian=symbolic
      
            // the A matrix will be used symbolically
      
            // (also the A matrix sparsity pattern seems to be faulty so we use this one instead)
      
        9
            daeModeJacobian := listGet(inBackendDAE.shared.symjacs, BackendDAE.SymbolicJacobianAIndex);
      
          2/4✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 9 times.

        9
            ({symDAESparsPattern}, uniqueEqIndex) := SimCodeUtil.createSymbolicJacobianssSimCode({daeModeJacobian}, crefToSimVarHT, uniqueEqIndex, {"daeMode"}, {});
      
            daeModeSP := SOME(symDAESparsPattern);
      
            // copy the sparsity pattern to the A jacobian
      
          1/4✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.
✗ Branch 5 not taken.
✗ Branch 6 not taken.

        9
            if Flags.getConfigString(Flags.GENERATE_DYNAMIC_JACOBIAN) == "symbolic" then
      
        ✗
             SymbolicJacs := list(SimCodeUtil.syncDAEandSimJac(symjac, symDAESparsPattern) for symjac in SymbolicJacs);
      
            end if;
      
            daeModeConf := SimCode.ALL_EQUATIONS();
      
        9
            daeModeData := SOME(SimCode.DAEMODEDATA(daeEquations, daeModeSP, residualVars, algebraicStateVars, auxiliaryVars, daeModeConf));
      
            /* This is a *much* better estimate than the guessed number of equations */
      
        9
            modelInfo := SimCodeUtil.addNumEqns(modelInfo, uniqueEqIndex - listLength(jacobianEquations));
      
            // No FMIDER jacobian: it is an ODE right-hand-side derivative, which a
      
            // DAE-mode model has none of. The specification lets an importer assume a
      
            // dependency on every known instead.
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 9 times.

        9
            if isFMU then
      
        ✗
              System.realtimeTick(ClockIndexes.RT_CLOCK_FMU_SIMCODE);
      
        ✗
              if FMI.isFMIVersion20(FMUVersion) or FMI.isFMIVersion30(FMUVersion) then
      
        ✗
                (_, modelStructure, modelInfo, _, uniqueEqIndex, _) :=
      
                  SimCodeUtil.createFMIModelStructure({}, modelInfo, uniqueEqIndex, inInitDAE, inBackendDAE);
      
              end if;
      
        ✗
              fmiSimulationFlags := SimCodeUtil.createFMISimulationFlags();
      
        ✗
              System.realtimeAccumulate(ClockIndexes.RT_CLOCK_FMU_SIMCODE);
      
            end if;
      
            // update hash table
      
            // mahge: This creates a new crefToSimVarHT discarding everything added upto here
      
            // The updated variable 'numEquations' (by SimCodeUtil.addNumEqns) is not even used in createCrefToSimVarHT :/
      
            // crefToSimVarHT := SimCodeUtil.createCrefToSimVarHT(modelInfo);
      
          3/4✓ Branch 1 taken 2 times.
✓ Branch 2 taken 7 times.
✓ Branch 5 taken 2 times.
✗ Branch 6 not taken.

        9
            if stringEqual(Config.simCodeTarget(), "Cpp") then
      
        2
              (varToArrayIndexMapping, varToIndexMapping) := SimCodeUtilShared.createVarToArrayIndexMapping(modelInfo);
      
        2
              (crefToClockIndexHT, _) := List.fold(listReverse(inBackendDAE.eqs), SimCodeUtil.collectClockedVars, (HashTable.emptyHashTable(), 1));
      
            else
      
        7
              varToArrayIndexMapping := HashTableCrIListArray.emptyHashTable();
      
        7
              varToIndexMapping := HashTableCrILst.emptyHashTable();
      
        7
              crefToClockIndexHT := HashTable.emptyHashTable();
      
            end if;
      
        9
            setGlobalRoot(Global.timeIndependentVars, NONE());
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.

        9
            simCode := SimCode.SIMCODE(
      
              modelInfo                   = modelInfo,
      
              literals                    = {},               // Set by the traversal below...
      
              recordDecls                 = recordDecls,
      
              externalFunctionIncludes    = includes,
      
              generic_loop_calls          = {}, // only used in new backend
      
              localKnownVars              = {},
      
              allEquations                = {},
      
              odeEquations                = {},
      
              algebraicEquations          = {},
      
              clockedPartitions           = {},
      
              initialEquations            = initialEquations,
      
              initialEquations_lambda0    = initialEquations_lambda0,
      
              removedInitialEquations     = removedInitialEquations,
      
              startValueEquations         = startValueEquations,
      
              nominalValueEquations       = nominalValueEquations,
      
              minValueEquations           = minValueEquations,
      
              maxValueEquations           = maxValueEquations,
      
              parameterEquations          = parameterEquations,
      
              removedEquations            = {},
      
              algorithmAndEquationAsserts = {},
      
              equationsForZeroCrossings   = {},
      
              jacobianEquations           = jacobianEquations,
      
              stateSets                   = {},
      
              constraints                 = {},
      
              classAttributes             = {},
      
              zeroCrossings               = FindZeroCrossings.setOperatorZeroCrossingIndices(ZeroCrossings.updateIndices(zeroCrossings)),
      
              relations                   = ZeroCrossings.updateIndices(relations),
      
              timeEvents                  = timeEvents,
      
              discreteModelVars           = discreteModelVars,
      
              extObjInfo                  = extObjInfo,
      
              makefileParams              = makefileParams,
      
              delayedExps                 = SimCode.DELAYED_EXPRESSIONS(delayedExps, maxDelayedExpIndex),
      
              spatialInfo                 = spatialInfo,
      
              jacobianMatrices            = SymbolicJacs,
      
              simulationSettingsOpt       = simSettingsOpt,
      
              fileNamePrefix              = filenamePrefix,
      
              fullPathPrefix              = fullPathPrefix,
      
              fmuTargetName               = fmuTargetName,
      
              hpcomData                   = HpcOmSimCode.emptyHpcomData,
      
              valueReferences             = if isFMU then SimCodeUtil.getValueReferenceMapping(modelInfo) else AvlTreeCRToInt.EMPTY(),
      
              varToArrayIndexMapping      = varToArrayIndexMapping,
      
              varToIndexMapping           = varToIndexMapping,
      
              crefToSimVarHT              = crefToSimVarHT,
      
              crefToClockIndexHT          = crefToClockIndexHT,
      
              backendMapping              = NONE(),
      
              modelStructure              = modelStructure,
      
              fmiSimulationFlags          = fmiSimulationFlags,
      
              partitionData               = SimCode.emptyPartitionData,
      
              daeModeData                 = daeModeData,
      
              inlineEquations             = {},
      
              scalarized                  = true,
      
              fmiFigures                  = {}
      
            );
      
        9
            (simCode, lits) := SimCodeUtil.findSimCodeLiterals(simCode, literals);
      
        9
            simCode.literals := lits;
      
        9
            timeSimCode := System.realtimeTock(ClockIndexes.RT_CLOCK_SIMCODE);
      
        9
            ExecStat.execStat("SimCode");
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.

        9
            if Flags.isSet(Flags.SERIALIZED_SIZE) then
      
        ✗
              serializeNotify(simCode, "SimCode");
      
        ✗
              ExecStat.execStat("Serialize simCode");
      
            end if;
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 9 times.

        9
            if Flags.isSet(Flags.DUMP_SIMCODE) then
      
        ✗
              SimCodeUtil.dumpSimCodeDebug(simCode);
      
            end if;
      
        9
            System.realtimeTick(ClockIndexes.RT_CLOCK_TEMPLATES);
      
          1/2✗ Branch 0 not taken.
✓ Branch 1 taken 9 times.

        9
            if isFMU then
      
        ✗
              callTargetTemplatesFMU(simCode, Config.simCodeTarget(), FMUVersion, FMUType, p, translateOnly);
      
            else
      
        9
              callTargetTemplates(simCode, Config.simCodeTarget());
      
            end if;
      
        9
            timeTemplates := System.realtimeTock(ClockIndexes.RT_CLOCK_TEMPLATES);
      
        9
            ExecStat.execStat("Templates");
      
          1/2✓ Branch 0 taken 9 times.
✗ Branch 1 not taken.

        9
            return;
      
          else
      
        ✗
            setGlobalRoot(Global.stackoverFlowIndex, NONE());
      
        ✗
            ErrorExt.rollbackNumCheckpoints(ErrorExt.getNumCheckpoints()-numCheckpoints);
      
        ✗
            Error.addInternalError("Stack overflow in "+getInstanceName()+"...\n"+stringDelimitList(StackOverflow.readableStacktraceMessages(), "\n"), sourceInfo());
      
            /* Do not fail or we can loop too much */
      
        ✗
            StackOverflow.clearStacktraceMessages();
      
          end try annotation(__OpenModelica_stackOverflowCheckpoint=true);
      
        ✗
          fail();
      
        end generateModelCodeDAE;
      
        protected function serializeNotify<T>
      
          input T data;
      
          input String name;
      
        protected
      
          Real sz,raw_sz,nonSharedStringSize;
      
        algorithm
      
        ✗
          (sz,raw_sz,nonSharedStringSize) := System.getSizeOfData(data);
      
        ✗
          Error.addMessage(Error.SERIALIZED_SIZE, {name, StringUtil.bytesToReadableUnit(sz), StringUtil.bytesToReadableUnit(raw_sz), StringUtil.bytesToReadableUnit(nonSharedStringSize)});
      
        end serializeNotify;
      
        protected function copyFiles
      
          input list<String> files;
      
          input String source, destination;
      
        protected
      
          String f2, d2;
      
        algorithm
      
          2/2✓ Branch 0 taken 12492 times.
✓ Branch 1 taken 753 times.

        13245
          for f in files loop
      
        12492
            f2 := destination+"/"+f;
      
        12492
            d2 := System.dirname(f2);
      
          2/2✓ Branch 1 taken 984 times.
✓ Branch 2 taken 11508 times.

        12492
            if not System.directoryExists(d2) then
      
        984
              Error.assertion(Util.createDirectoryTree(d2), "Failed to create directory " + d2, sourceInfo());
      
            end if;
      
        12492
            Error.assertion(System.copyFile(source + "/" + f, f2), "Failed to copy file " + f + " from " + source + " to " + destination, sourceInfo());
      
          end for;
      
        end copyFiles;
      
        public function copyFmuRustSources
      
          "The Rust half of a `--simCodeTarget=C` source FMU: the crates
      
           libSimulationRuntimeRust is built from, so the FMU rebuilds where OpenModelica
      
           is not installed.
      
           `--fmiSources=full` additionally vendors the crates.io dependencies beside them,
      
           which makes the rebuild work without network access. The vendored tree is ~90 MB
      
           and the same for every FMU, so it is built once into the user's cache and copied
      
           from there. It is deliberately not part of the OpenModelica installation."
      
          input String fmutmp;
      
        protected
      
          String rust_sources_dir, dest, manifest, vendor, cache, lock;
      
        algorithm
      
        7
          rust_sources_dir := Settings.getInstallationDirectoryPath() + RuntimeSources.fmu_rust_sources_dir;
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 7 times.

        7
          if not System.directoryExists(rust_sources_dir) then
      
        ✗
            Error.addCompilerWarning("--fmiSources asked for the sources of a --simCodeTarget=C FMU, but "
      
              + rust_sources_dir + " does not exist. The FMU carries its C sources only and cannot be rebuilt.");
      
        ✗
            return;
      
          end if;
      
        7
          dest := fmutmp + "/sources/rust";
      
        7
          Error.assertion(Util.createDirectoryTree(dest), "Failed to create directory " + dest, sourceInfo());
      
          1/2✗ Branch 1 not taken.
✓ Branch 2 taken 7 times.

        7
          if not System.copyPath(rust_sources_dir, dest) then
      
        ✗
            Error.addInternalError("Failed to copy the Rust runtime sources into " + dest, sourceInfo());
      
        ✗
            return;
      
          end if;
      
        7
          manifest := dest + "/" + RuntimeSources.fmu_rust_manifest;
      
        7
          writeFmuRustWorkspace(manifest);
      
          1/2✓ Branch 1 taken 7 times.
✗ Branch 2 not taken.

        7
          if Flags.getConfigEnum(Flags.FMI_SOURCES) <> Flags.FMI_SOURCES_FULL then
      
        7
            return;
      
          end if;
      
        ✗
          lock := System.dirname(manifest) + "/Cargo.lock";
      
          // Keyed by the lock file: a different dependency set is a different vendor tree.
      
        ✗
          cache := Settings.getHomeDir(runningTestsuite=Testsuite.isRunning()) + "/.openmodelica/fmu-rust-vendor/"
      
                   + intString(stringHashDjb2(if System.regularFileExists(lock) then System.readFile(lock) else ""));
      
        ✗
          if not System.directoryExists(cache) then
      
        ✗
            Error.assertion(Util.createDirectoryTree(cache), "Failed to create directory " + cache, sourceInfo());
      
        ✗
            if 0 <> System.systemCall("cargo vendor --versioned-dirs --manifest-path \"" + manifest + "\" \"" + cache + "\"",
      
                                      outFile=fmutmp + "/resources/cargo-vendor.log") then
      
        ✗
              System.removeDirectory(cache);
      
        ✗
              Error.addCompilerError("--fmiSources=full needs `cargo vendor` to collect the Rust dependencies, and it failed. "
      
                + "See " + fmutmp + "/resources/cargo-vendor.log. Use --fmiSources=slim for an FMU whose rebuild fetches them instead.");
      
        ✗
              return;
      
            end if;
      
          end if;
      
        ✗
          vendor := dest + "/vendor";
      
        ✗
          if not System.copyPath(cache, vendor) then
      
        ✗
            Error.addInternalError("Failed to copy the vendored Rust dependencies into " + vendor, sourceInfo());
      
        ✗
            return;
      
          end if;
      
          // Cargo finds this by walking up from its working directory, which the FMU's
      
          // CMakeLists sets to `sources/rust`; the path in it is relative to that same
      
          // directory, so the FMU stays movable.
      
        ✗
          Error.assertion(Util.createDirectoryTree(dest + "/.cargo"), "Failed to create directory " + dest + "/.cargo", sourceInfo());
      
        ✗
          System.writeFile(dest + "/.cargo/config.toml",
      
            "[source.crates-io]\nreplace-with = \"vendored-sources\"\n\n[source.vendored-sources]\ndirectory = \"vendor\"\n");
      
        end copyFmuRustSources;
      
        protected function fmuRustCrateRoots
      
          "The Rust half of a source FMU's <SourceFiles>: the root of every crate under
      
           `dir` (relative to `sources`), the unit rustc compiles, as a .c file is for C.
      
           The vendored dependencies are left out, as a library a C FMU links would be."
      
          input String sources;
      
          input String dir;
      
          output list<String> roots = {};
      
        algorithm
      
          2/2✓ Branch 4 taken 266 times.
✓ Branch 5 taken 175 times.

        441
          for d in listReverse(List.sort(System.subDirectories(sources + dir), Util.strcmpBool)) loop
      
          2/2✓ Branch 1 taken 168 times.
✓ Branch 2 taken 98 times.

        266
            if not listMember(d, {"vendor", "target", "src", ".cargo"}) then
      
        168
              roots := listAppend(fmuRustCrateRoots(sources, dir + "/" + d), roots);
      
            end if;
      
          end for;
      
          3/4✓ Branch 5 taken 77 times.
✓ Branch 6 taken 98 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 98 times.

        175
          if System.regularFileExists(sources + dir + "/Cargo.toml") and System.regularFileExists(sources + dir + "/src/lib.rs") then
      
        98
            roots := (dir + "/src/lib.rs") :: roots;
      
          end if;
      
        end fmuRustCrateRoots;
      
        protected function writeFmuRustWorkspace
      
          "The FMU's own cargo workspace root, in place of the one the checkout uses.
      
           That one reaches the result-file library and the browser module too, and those
      
           pull in crates an FMU has no use for and does not carry -- `cargo vendor` stops
      
           at the first one it cannot find. This root names `openmodelica_simulation_runtime`
      
           and nothing else, and excludes every crate beside it so cargo does not claim
      
           them as members of it."
      
          input String manifest;
      
        protected
      
          String dir, excludes;
      
          list<String> subdirs;
      
        algorithm
      
        7
          dir := System.dirname(manifest);
      
          6/6✓ Branch 5 taken 7 times.
✓ Branch 6 taken 77 times.
✓ Branch 7 taken 84 times.
✓ Branch 8 taken 7 times.
✓ Branch 9 taken 77 times.
✓ Branch 10 taken 7 times.

        91
          subdirs := List.sort(list(d for d guard System.regularFileExists(dir + "/" + d + "/Cargo.toml")
      
                                    in System.subDirectories(dir)), Util.strcmpBool);
      
          4/4✓ Branch 0 taken 77 times.
✓ Branch 1 taken 7 times.
✓ Branch 2 taken 77 times.
✓ Branch 3 taken 7 times.

        84
          excludes := stringDelimitList(list("  \"" + d + "\"," for d in subdirs), "\n");
      
        7
          System.writeFile(manifest,
      
            "# Generated by OpenModelica: the workspace a source-code FMU builds its Rust\n"
      
            + "# simulation runtime from.\n"
      
            + "[package]\n"
      
            + "name = \"openmodelica_fmu_runtime\"\n"
      
            + "version = \"0.1.0\"\n"
      
            + "edition = \"2024\"\n"
      
            + "\n"
      
            + "[dependencies]\n"
      
            + "# default-features = false drops `standalone`, which an FMU has no use for:\n"
      
            + "# the executable entry points, the result file, --variableFilter and -iif.\n"
      
            + "openmodelica_simulation_runtime = { path = \"openmodelica_simulation_runtime\", default-features = false, features = [\"fmu-lapack\", \"fmu-runtime\"] }\n"
      
            + "\n"
      
            + "# Reached as plain path dependencies; a member would have to belong to this\n"
      
            + "# workspace, and each of them names another root.\n"
      
            + "[workspace]\n"
      
            + "exclude = [\n" + excludes + "\n]\n");
      
        end writeFmuRustWorkspace;
      
        protected function objectFilesOf
      
          "The object files a list of runtime sources compiles to, for the makefile of a
      
           source FMU.
      
           Only .c becomes an object, that being what the generated makefile has a rule for.
      
           The lists also carry files that are shipped but never compiled - headers and the
      
           .inc the FMI 1.0 and 2.0 interfaces include - and those are simply left out.
      
           A C++ source is left out too, but reported, because it is one that would have to
      
           be built and cannot be: the makefile has no rule for it, and the .c to .o
      
           replacement this used to do turned jacobian_colpack.cpp into
      
           jacobian_colpack.opp, an object nothing can build. That went unnoticed because it
      
           only breaks when somebody builds the FMU from its sources with the makefile."
      
          input list<String> sourceFiles;
      
          output list<String> objectFiles = {};
      
        protected
      
          String ext;
      
        algorithm
      
        ✗
          for f in sourceFiles loop
      
            ext := "";
      
        ✗
            for part in System.strtok(f, ".") loop
      
              ext := part; // the last one is the extension
      
            end for;
      
        ✗
            if ext == "c" then
      
              // drop the extension character and put the object one in its place
      
        ✗
              objectFiles := substring(f, 1, stringLength(f) - 1) + "o" :: objectFiles;
      
            elseif ext == "cpp" or ext == "cc" or ext == "cxx" or ext == "c++" then
      
        ✗
              Error.addCompilerWarning("Leaving " + f + " out of the object files of the FMU makefile: "
      
                + "the makefile has no rule for '." + ext + "'.");
      
            end if;
      
          end for;
      
        ✗
          objectFiles := listReverse(objectFiles);
      
        end objectFilesOf;
      
        annotation(__OpenModelica_Interface="backend_main");
      
        end SimCodeMain;