backends/smt2/smtbmc.py at main - Unix-Rose/yosys

main

yosys

C

backends\smt2\smtbmc.py

265 Complexity
7.16 Complexity / M
0 Duplication
6 Churn
2141 Lines
1676 Lines of Code
37 Methods
45.3 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

“

Always code as if the guy who ends up maintaining your code will be a violent psychopath who knows where you live.

– Martin Golding