-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
sonar(tools): long tail, 1 single finding
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:lowSonar impact severity: lowSonar impact severity: lowtech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#276 In Zafnok/code-equivalency;sonar(Dockerfile): long tail, 1 single finding
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:lowSonar impact severity: lowSonar impact severity: lowtech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#275 In Zafnok/code-equivalency;sonar(src/Equiv.Cli/LoweringCensus.cs): 2 findings
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:lowSonar impact severity: lowSonar impact severity: lowtech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#274 In Zafnok/code-equivalency;sonar(tools/corpus/seeder/SyntaxMutator.cs): 4 findings
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:mediumSonar impact severity: mediumSonar impact severity: mediumtech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#273 In Zafnok/code-equivalency;sonar(S4136): Method overloads should be grouped together
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:lowSonar impact severity: lowSonar impact severity: lowtech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#272 In Zafnok/code-equivalency;sonar(S1192): String literals should not be duplicated
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:lowSonar impact severity: lowSonar impact severity: lowtech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#271 In Zafnok/code-equivalency;sonar(S3776): Cognitive Complexity of methods should not be too high
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:highSonar impact severity: highSonar impact severity: hightech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#270 In Zafnok/code-equivalency;sonar(S3358): Ternary operators should not be nested [src/Equiv.Frontend.CSharp/, 24 findings]
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:mediumSonar impact severity: mediumSonar impact severity: mediumtech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#269 In Zafnok/code-equivalency;sonar(S3358): Ternary operators should not be nested [src/Equiv.Frontend.CSharp/, 5 findings]
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:mediumSonar impact severity: mediumSonar impact severity: mediumtech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#268 In Zafnok/code-equivalency;sonar(tests/Equiv.TestSupport/IrGen.cs): 2 findings
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:lowSonar impact severity: lowSonar impact severity: lowtech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#207 In Zafnok/code-equivalency;sonar(src/Equiv.Verify.Z3/ModelDecoder.cs): 2 findings
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:highSonar impact severity: highSonar impact severity: hightech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#206 In Zafnok/code-equivalency;sonar(S3358): Ternary operators should not be nested
sonarFiled from the SonarQube Cloud backlogFiled from the SonarQube Cloud backlogsonar:mediumSonar impact severity: mediumSonar impact severity: mediumtech-debtQuality debt, not a feature or a bugQuality debt, not a feature or a bugStatus: Open.#204 In Zafnok/code-equivalency;