Skip to content

inputs-unique-input-constraint-unsat

Description

UNSAT since two inputs are present with same name

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:
            type_default_condition: true
            unique_input_constraint: true
    inputs:
        - one:
              type: string_a
        - one:
              type: string_b
        - three:
              type: string

Expected Error

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

1
Could not solve
Last update: September 5, 2024