Add TerminateSOL method #1338
Annotations
2 errors
lint:
bmc/sol.go#L42
ineffectual assignment to err (ineffassign)
|
lint
issues found
|