bmw-software-engineering/trlc

Exit code "0" when there are errors

Closed this issue · 0 comments

rsl:

package Foo

type List {
  values String [0 .. 2]
}

type anotherList {
  values String [2 .. *]
}

trlc:

package Foo

List firstList {
  values = ["one", "two", "three"]
}

anotherList secondList {
  values = ["one"]
}

output:

values = ["one", "two", "three"]
                        ^^^^^^^ array-length/foo.trlc:4: error: this array requires at most 2 elements (3 provided)
values = ["one"]
               ^ array-length/foo.trlc:8: error: this array requires at least 2 elements (only 1 provided)
Processed 1 model, 0 checks and 1 requirement file and found 2 errors

expected:
returns exit code "1"
instead:
returns exit code "0"