Merge pull request #42 from kieler/41-crash-when-aadding-uca-with-con… #168
Annotations
4 warnings
|
extension/src-webview/snippets/snippet-module.ts#L25
'isBound' is defined but never used. Allowed unused args must match /^_/u
|
|
extension/src/stpa-formatter.ts#L35
'token' is defined but never used. Allowed unused args must match /^_/u
|
|
test/ltlCreation.ts#L2
'rewire' is defined but never used
|
|
test/ltlCreation.ts#L4
'should' is assigned a value but never used
|
This job succeeded
Loading