Issue #148: work in progress (do not merge), new rule avoid_initstate… #846
Annotations
1 error
|
code-check
Process completed with exit code 1.
|