Skip to content

Commit 6fbf771

Browse files
phiwuuphiwuu
authored
Always print statistics (#134)
The statistics numbers are always printed, regardless of the command line argument `--brief`. That is, the tool always prints a message like this at the end: `Processed 1 model and 1 requirement file and found no issues` When admins integrate TRLC as a voting job into their CI they want to get feedback if the tool finished without sudden termination (possibly caused by the CI system).
1 parent 4d88708 commit 6fbf771

File tree

211 files changed

+258
-45
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

211 files changed

+258
-45
lines changed

‎CHANGELOG.md‎

Lines changed: 4 additions & 0 deletions

‎tests-system/array-length/output.brief‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,3 @@
11
array-length/foo.trlc:4:27: trlc error: this array requires at most 2 elements (3 provided)
22
array-length/foo.trlc:8:18: trlc error: this array requires at least 2 elements (only 1 provided)
3+
Processed 1 model and 1 requirement file and found 2 errors

‎tests-system/array-membership-1/output.brief‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,3 +4,4 @@ array-membership-1/foo.trlc:22:12: trlc check warning: 42 is not in array
44
array-membership-1/foo.trlc:22:12: trlc check warning: 42 is in array
55
array-membership-1/foo.trlc:34:12: trlc check warning: 42 is not in array
66
array-membership-1/foo.trlc:34:12: trlc check warning: 42 is in array
7+
Processed 1 model and 1 requirement file and found 6 warnings

‎tests-system/array-membership-2/output.brief‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
11
array-membership-2/foo.rsl:9:3: trlc error: expected expression of type Builtin_String, got Builtin_Integer instead
2+
Processed 1 model and 0 requirement files and found 1 error

‎tests-system/array-membership-3/output.brief‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
11
array-membership-3/foo.rsl:10:3: trlc error: unknown symbol kitten
2+
Processed 1 model and 0 requirement files and found 1 error

‎tests-system/arrays-1/output.brief‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
11
arrays-1/example.trlc:8:10: trlc check error: potato
2+
Processed 1 model and 1 requirement file and found 1 error

‎tests-system/arrays-2/output.brief‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
11
arrays-2/example.rsl:8:4: trlc error: expression 'arr' has type Integer, which is not an array
2+
Processed 1 model and 0 requirement files and found 1 error

‎tests-system/base-types/output.brief‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
11
base-types/instances.trlc:10:27: trlc check error: int must be 42
2+
Processed 1 model and 1 requirement file and found 1 error

‎tests-system/bazel-dirs/output.brief‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Processed 1 model and 0 requirement files and found no issues

‎tests-system/bug-69/output.brief‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
11
bug-69/foo.trlc:21:5: trlc error: expected reference of type RE, but Tiger is of type R
2+
Processed 1 model and 1 requirement file and found 1 error

0 commit comments

Comments
 (0)