Slightly better validationError printing

INTO-CPS-Association · Apr 10, 2024 · 52ee116 · 52ee116
1 parent 111269e
commit 52ee116
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/fmi2/rule-model/Validation.vdmsl b/fmi2/rule-model/Validation.vdmsl
@@ -34,7 +34,7 @@ functions
 	isValidFMIConfiguration: FmiModelDescription | FmiBuildDescription | FmiTerminalsAndIcons +> bool
 	isValidFMIConfiguration(conf) ==
 		if validationError <> nil
-		then /* @Printf("%s\n", validationError) */ false
+		then /* @Printf("%#s\n", validationError) */ false
 
 		elseif is_(conf, FmiModelDescription)
 		then inv_FmiModelDescription'(conf)
@@ -54,7 +54,7 @@ functions
 	isValidFMIConfigurations: [FmiModelDescription] * [FmiBuildDescription] * [FmiTerminalsAndIcons] +> bool
 	isValidFMIConfigurations(model, build, terminals) == allOf
 	([
-		validationError <> nil => /* @Printf("%s\n", validationError) */ false,
+		validationError <> nil => /* @Printf("%#s\n", validationError) */ false,
 
 		model <> nil => inv_FmiModelDescription'(model),
 		build <> nil => inv_FmiBuildDescription'(build),

diff --git a/fmi3/rule-model/Validation.vdmsl b/fmi3/rule-model/Validation.vdmsl
@@ -34,7 +34,7 @@ functions
 	isValidFMIConfiguration: FmiModelDescription | FmiBuildDescription | FmiTerminalsAndIcons +> bool
 	isValidFMIConfiguration(conf) ==
 		if validationError <> nil
-		then /* @Printf("%s\n", validationError) */ false
+		then /* @Printf("%#s\n", validationError) */ false
 
 		elseif is_(conf, FmiModelDescription)
 		then inv_FmiModelDescription'(conf)
@@ -54,7 +54,7 @@ functions
 	isValidFMIConfigurations: [FmiModelDescription] * [FmiBuildDescription] * [FmiTerminalsAndIcons] +> bool
 	isValidFMIConfigurations(model, build, terminals) == allOf
 	([
-		validationError <> nil => /* @Printf("%s\n", validationError) */ false,
+		validationError <> nil => /* @Printf("%#s\n", validationError) */ false,
 
 		model <> nil => inv_FmiModelDescription'(model),
 		build <> nil => inv_FmiBuildDescription'(build),