test/regression/2023-02-01-replay-test-with-lazy-initialized-objects.c at main - misonijnik/klee

main

klee

A

test\regression\2023-02-01-replay-test-with-lazy-initialized-objects.c

10 Complexity
5 Complexity / M
0 Duplication
3 Churn
52 Lines
36 Lines of Code
2 Methods
18 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

“

All problems in computer science can be solved by another level of indirection, except for the problem of too many layers of indirection.

– David J. Wheeler