Skip to content

artifacts-unique-artifact-constraint-unsat

Description

Unique artifact constraints is UNSAT since two artifacts with same name of same container are present.

Variable Service Template

The variability of the following variable service template shall be resolved.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
tosca_definitions_version: tosca_variability_1_0
topology_template:
    variability:
        options:
            unique_artifact_constraint: true
    node_templates:
        node_one:
            type: node
            artifacts:
                - artifact_one:
                      type: artifact_a
                - artifact_one:
                      type: artifact_b

Expected Error

The following error is expected to be thrown, when resolving variability.

1
Could not solve
Last update: October 14, 2024