weak syncs #27
Annotations
21 errors and 2 warnings
static-analysis:
src/parser/timedAutomata.js#L81
'_$' is defined but never used
|
static-analysis:
src/parser/timedAutomata.js#L88
Unreachable code
|
static-analysis:
src/parser/timedAutomata.js#L274
Unexpected aliasing of 'this' to local variable
|
static-analysis:
src/parser/timedAutomata.js#L274
'tstack' is assigned a value but never used
|
static-analysis:
src/parser/timedAutomata.js#L297
'popStack' is defined but never used
|
static-analysis:
src/parser/timedAutomata.js#L302
'_token_stack:' is defined but never used
|
static-analysis:
src/parser/timedAutomata.js#L311
'a' is defined but never used
|
static-analysis:
src/parser/timedAutomata.js#L312
Unexpected constant condition
|
static-analysis:
src/parser/timedAutomata.js#L408
Unreachable code
|
static-analysis:
src/parser/timedAutomata.js#L736
'YYSTATE' is assigned a value but never used
|
build:
src/view/FreeClausesManipulation.tsx#L40
Argument of type '"freeInput"' is not assignable to parameter of type 'keyof FreeClauseViewData'.
|
build:
src/view/ManipulateSyncDialog.tsx#L24
'synchronizations' is declared but its value is never read.
|
build:
src/view/ManipulateSyncDialog.tsx#L32
'sizeErrorMessage' is declared but its value is never read.
|
build:
src/view/ProcessSelection.tsx#L102
Type 'AutomatonOptionType' is not assignable to type 'string'.
|
build:
src/view/ProcessSelection.tsx#L103
'event' is declared but its value is never read.
|
build:
src/view/SystemSelection.tsx#L106
Type 'SystemOptionType' is not assignable to type 'string'.
|
build:
src/view/UploadButton.tsx#L5
Could not find a declaration file for module '../parser/timedAutomata'. '/home/runner/work/timed-automata-analysis-frontend/timed-automata-analysis-frontend/src/parser/timedAutomata.js' implicitly has an 'any' type.
|
build:
src/view/UploadButton.tsx#L33
Parameter 'parsedData' implicitly has an 'any' type.
|
build:
src/view/UploadButton.tsx#L39
Parameter 'item' implicitly has an 'any' type.
|
build:
src/view/UploadButton.tsx#L50
Parameter 'item' implicitly has an 'any' type.
|
test
Process completed with exit code 1.
|
static-analysis:
src/view/ManipulateSyncDialog.tsx#L24
'synchronizations' is assigned a value but never used. Allowed unused vars must match /^_/u
|
static-analysis:
src/view/ManipulateSyncDialog.tsx#L32
'sizeErrorMessage' is assigned a value but never used. Allowed unused vars must match /^_/u
|