test/regression/2023-10-02-test-from-mocked-global.c at main - misonijnik/klee

main

klee

A

test\regression\2023-10-02-test-from-mocked-global.c

1 Complexity
1 Complexity / M
0 Duplication
2 Churn
16 Lines
6 Lines of Code
1 Methods
6 LOC / Method

{{getIssueFilterCount()}}

Autofix is being processed.

Found in

{{::issue.Locations[0].Path}}

Found in

{{::location.Path}}:{{::location.StartLine}}-{{::location.EndLine}} ,

{{::lineNumber}}

No issues found

“

One of my most productive days was throwing away 1000 lines of code.

– Ken Thompson