Skip to content
Snippets Groups Projects
Commit 28b78ab0 authored by Michele Chiari's avatar Michele Chiari
Browse files

Fix error message.

parent 4deb9b10
Branches
No related tags found
No related merge requests found
......@@ -282,7 +282,7 @@ def ed_all_SoftwareComponents_deployed(solver: Solver, smtsorts: SMTSorts, inter
if sc_name:
return f"Software component '{sc_name}' is not deployed to any abstract infrastructure node."
else:
return "A software component has not been deployed to any node."
return "A software component is not deployed to any abstract infrastructure node."
def ed_all_infrastructure_elements_deployed(solver: Solver, smtsorts: SMTSorts, intermediate_model: IntermediateModel) -> str:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment