From fa226f978424e1ca7fa5ccc6ed5b308b74a2060e Mon Sep 17 00:00:00 2001 From: ratiud Date: Sat, 28 Dec 2024 22:20:06 +0100 Subject: [PATCH] fixed the build --- .../models/com.fasten.assurance.build.mps | 101 ++++++++++++++++++ 1 file changed, 101 insertions(+) diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps index 4a3b3250..d8615653 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps @@ -3234,6 +3234,104 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7682,6 +7780,9 @@ + + +