Integration: exports the fields needed by the prover for integration #112
Annotations
5 errors
|
pkg/schema/constraint/permutation.go#L79
exported: exported method PermutationConstraint.Targets should have comment or be unexported (revive)
|
|
pkg/schema/constraint/range.go#L63
exported: exported method RangeConstraint.Column should have comment or be unexported (revive)
|
|
pkg/schema/constraint/permutation.go#L83
exported: exported method PermutationConstraint.Sources should have comment or be unexported (revive)
|
|
pkg/schema/constraint/range.go#L67
exported: comment on exported method RangeConstraint.Bound should be of the form "Bound ..." (revive)
|
|
|
This job failed
Loading