Checks usage of github.com/stretchr/testify.
Tests are also program code and the requirements for them should not differ much from the requirements for the code under tests đ
We should try to maintain the consistency of tests, increase their readability, reduce the chance of bugs and speed up the search for a problem.
testify is the most popular Golang testing framework* in recent years. But it has a terrible ambiguous API in places, and the purpose of this linter is to protect you from annoying mistakes.
Most checkers are stylistic, but checkers like error-is-as, require-error, expected-actual, float-compare are really helpful.
_* JetBrains "The State of Go Ecosystem" reports 2021 and 2022._
$ go install github.com/Antonboom/testifylint@latest
$ testifylint -h
$ testifylint ./...
$ testifylint --fix ./...
Fixing with golangci-lint
is currently unavailable due to
golangci/golangci-lint#1779.
Be aware that there may be unused imports after the fix, run go fmt
.
# Enable all checkers.
$ testifylint --enable-all ./...
# Enable specific checkers only.
$ testifylint --disable-all --enable=empty,error-is-as ./...
# Disable specific checkers only.
$ testifylint --enable-all --disable=empty,error-is-as ./...
# Checkers configuration.
$ testifylint --bool-compare.ignore-custom-types ./...
$ testifylint --expected-actual.pattern=^wanted$ ./...
$ testifylint --formatter.check-format-string --formatter.require-f-funcs ./...
$ testifylint --go-require.ignore-http-handlers ./...
$ testifylint --require-error.fn-pattern="^(Errorf?|NoErrorf?)$" ./...
$ testifylint --suite-extra-assert-call.mode=require ./...
https://golangci-lint.run/usage/linters/#testifylint
Name | Enabled By Default | Autofix |
---|---|---|
blank-import | â | â |
bool-compare | â | â |
compares | â | â |
contains | â | â |
empty | â | â |
encoded-compare | â | â |
error-is-as | â | đ¤ |
error-nil | â | â |
expected-actual | â | â |
float-compare | â | â |
formatter | â | đ¤ |
go-require | â | â |
len | â | â |
negative-positive | â | â |
nil-compare | â | â |
regexp | â | â |
require-error | â | â |
suite-broken-parallel | â | â |
suite-dont-use-pkg | â | â |
suite-extra-assert-call | â | â |
suite-subtest-run | â | â |
suite-thelper | â | â |
useless-assert | â | â |
â ď¸ Also look at open for contribution checkers
â
import (
"testing"
_ "github.com/stretchr/testify"
_ "github.com/stretchr/testify/assert"
_ "github.com/stretchr/testify/http"
_ "github.com/stretchr/testify/mock"
_ "github.com/stretchr/testify/require"
_ "github.com/stretchr/testify/suite"
)
â
import (
"testing"
)
Autofix: false.
Enabled by default: true.
Reason: testify
doesn't do any init()
magic, so these imports as _
do nothing and considered useless.
â
assert.Equal(t, false, result)
assert.EqualValues(t, false, result)
assert.Exactly(t, false, result)
assert.NotEqual(t, true, result)
assert.NotEqualValues(t, true, result)
assert.False(t, !result)
assert.True(t, result == true)
// And other variations...
â
assert.True(t, result)
assert.False(t, result)
Autofix: true.
Enabled by default: true.
Reason: Code simplification.
Also bool-compare
supports user defined types like
type Bool bool
And fixes assertions via casting variable to builtin bool
:
var predicate Bool
â assert.Equal(t, false, predicate)
â
assert.False(t, bool(predicate))
To turn off this behavior use the --bool-compare.ignore-custom-types
flag.
â
assert.True(t, a == b)
assert.True(t, a != b)
assert.True(t, a > b)
assert.True(t, a >= b)
assert.True(t, a < b)
assert.True(t, a <= b)
assert.False(t, a == b)
// And so on...
â
assert.Equal(t, a, b)
assert.NotEqual(t, a, b)
assert.Greater(t, a, b)
assert.GreaterOrEqual(t, a, b)
assert.Less(t, a, b)
assert.LessOrEqual(t, a, b)
Autofix: true.
Enabled by default: true.
Reason: More appropriate testify
API with clearer failure message.
If a
and b
are pointers then assert.Same
/NotSame
is required instead,
due to the inappropriate recursive nature of assert.Equal
(based on
reflect.DeepEqual).
â
assert.True(t, strings.Contains(a, "abc123"))
assert.False(t, !strings.Contains(a, "abc123"))
assert.False(t, strings.Contains(a, "abc123"))
assert.True(t, !strings.Contains(a, "abc123"))
â
assert.Contains(t, a, "abc123")
assert.NotContains(t, a, "abc123")
Autofix: true.
Enabled by default: true.
Reason: Code simplification and more appropriate testify
API with clearer failure message.
â
assert.Len(t, arr, 0)
assert.Equal(t, 0, len(arr))
assert.EqualValues(t, 0, len(arr))
assert.Exactly(t, 0, len(arr))
assert.LessOrEqual(t, len(arr), 0)
assert.GreaterOrEqual(t, 0, len(arr))
assert.Less(t, len(arr), 0)
assert.Greater(t, 0, len(arr))
assert.Less(t, len(arr), 1)
assert.Greater(t, 1, len(arr))
assert.Zero(t, len(arr))
assert.Empty(t, len(arr))
assert.NotEqual(t, 0, len(arr))
assert.NotEqualValues(t, 0, len(arr))
assert.Less(t, 0, len(arr))
assert.Greater(t, len(arr), 0)
assert.Positive(t, len(arr))
assert.NotZero(t, len(arr))
assert.NotEmpty(t, len(arr))
â
assert.Empty(t, arr)
assert.NotEmpty(t, err)
Autofix: true.
Enabled by default: true.
Reason: More appropriate testify
API with clearer failure message.
â
assert.Equal(t, `{"foo": "bar"}`, body)
assert.EqualValues(t, `{"foo": "bar"}`, body)
assert.Exactly(t, `{"foo": "bar"}`, body)
assert.Equal(t, expectedJSON, resultJSON)
assert.Equal(t, expBodyConst, w.Body.String())
assert.Equal(t, fmt.Sprintf(`{"value":"%s"}`, hexString), result)
assert.Equal(t, "{}", json.RawMessage(resp))
assert.Equal(t, expJSON, strings.Trim(string(resultJSONBytes), "\n")) // + Replace, ReplaceAll, TrimSpace
assert.Equal(t, expectedYML, conf)
â
assert.JSONEq(t, `{"foo": "bar"}`, body)
assert.YAMLEq(t, expectedYML, conf)
Autofix: true.
Enabled by default: true.
Reason: Protection from bugs and more appropriate testify
API with clearer failure message.
encoded-compare
detects JSON-style string constants (usable in fmt.Sprintf
also) and JSON-style/YAML-style named
variables. If variable is converted to json.RawMessage
, then it is considered JSON unconditionally.
When fixing, encoded-compare
removes unnecessary conversions to []byte
, string
, json.RawMessage
and calls of
strings.Replace
, strings.ReplaceAll
, strings.Trim
, strings.TrimSpace
, and adds a conversion to string
when
needed.
â
assert.Error(t, err, errSentinel) // Typo, errSentinel hits `msgAndArgs`.
assert.NoError(t, err, errSentinel)
assert.True(t, errors.Is(err, errSentinel))
assert.False(t, errors.Is(err, errSentinel))
assert.True(t, errors.As(err, &target))
â
assert.ErrorIs(t, err, errSentinel)
assert.NotErrorIs(t, err, errSentinel)
assert.ErrorAs(t, err, &target)
Autofix: partially.
Enabled by default: true.
Reason: In the first two cases, a common mistake that leads to hiding the incorrect wrapping of sentinel errors.
In the rest cases â more appropriate testify
API with clearer failure message.
Also error-is-as
repeats go vet
's
errorsas check
logic, but without autofix.
â
assert.Nil(t, err)
assert.Empty(t, err)
assert.Zero(t, err)
assert.Equal(t, nil, err)
assert.EqualValues(t, nil, err)
assert.Exactly(t, nil, err)
assert.ErrorIs(t, err, nil)
assert.NotNil(t, err)
assert.NotEmpty(t, err)
assert.NotZero(t, err)
assert.NotEqual(t, nil, err)
assert.NotEqualValues(t, nil, err)
assert.NotErrorIs(t, err, nil)
â
assert.NoError(t, err)
assert.Error(t, err)
Autofix: true.
Enabled by default: true.
Reason: More appropriate testify
API with clearer failure message.
â
assert.Equal(t, result, expected)
assert.Equal(t, result, len(expected))
assert.Equal(t, len(resultFields), len(expectedFields))
assert.EqualExportedValues(t, resultObj, User{Name: "Rob"})
assert.EqualValues(t, result, 42)
assert.Exactly(t, result, int64(42))
assert.JSONEq(t, result, `{"version": 3}`)
assert.InDelta(t, result, 42.42, 1.0)
assert.InDeltaMapValues(t, result, map[string]float64{"score": 0.99}, 1.0)
assert.InDeltaSlice(t, result, []float64{0.98, 0.99}, 1.0)
assert.InEpsilon(t, result, 42.42, 0.0001)
assert.InEpsilonSlice(t, result, []float64{0.9801, 0.9902}, 0.0001)
assert.IsType(t, result, (*User)(nil))
assert.NotEqual(t, result, "expected")
assert.NotEqualValues(t, result, "expected")
assert.NotSame(t, resultPtr, &value)
assert.Same(t, resultPtr, &value)
assert.WithinDuration(t, resultTime, time.Date(2023, 01, 12, 11, 46, 33, 0, nil), time.Second)
assert.YAMLEq(t, result, "version: '3'")
â
assert.Equal(t, expected, result)
assert.Equal(t, len(expected), result)
assert.Equal(t, len(expectedFields), len(resultFields))
assert.EqualExportedValues(t, User{Name: "Rob"}, resultObj)
assert.EqualValues(t, 42, result)
// And so on...
Autofix: true.
Enabled by default: true.
Reason: A common mistake that makes it harder to understand the reason of failed test.
The checker considers the expected value to be a basic literal, constant, or variable whose name matches the pattern
(--expected-actual.pattern
flag).
It is
planned to change the order of assertion arguments to
more natural (actual, expected) in v2
of testify
.
â
assert.Equal(t, 42.42, result)
assert.EqualValues(t, 42.42, result)
assert.Exactly(t, 42.42, result)
assert.True(t, result == 42.42)
assert.False(t, result != 42.42)
â
assert.InEpsilon(t, 42.42, result, 0.0001) // Or assert.InDelta
Autofix: false.
Enabled by default: true.
Reason: Do not forget about floating point rounding issues.
This checker is similar to the floatcompare linter.
â
assert.ElementsMatch(t, certConfig.Org, csr.Subject.Org, "organizations not equal")
assert.Error(t, err, fmt.Sprintf("Profile %s should not be valid", test.profile))
assert.Errorf(t, err, fmt.Sprintf("test %s", test.testName))
assert.Truef(t, targetTs.Equal(ts), "the timestamp should be as expected (%s) but was %s", targetTs)
// And other go vet's printf checks...
â
assert.ElementsMatchf(t, certConfig.Org, csr.Subject.Org, "organizations not equal")
assert.Errorf(t, err, "Profile %s should not be valid", test.profile)
assert.Errorf(t, err, "test %s", test.testName)
assert.Truef(t, targetTs.Equal(ts), "the timestamp should be as expected (%s) but was %s", targetTs, ts)
Autofix: partially.
Enabled by default: true.
Reason: Code simplification, protection from bugs, following the "Go Way".
The formatter
checker has the following features:
Detecting unnecessary fmt.Sprintf
in assertions. Somewhat reminiscent of the
staticcheck's S1028 check.
Validating consistency of assertions format strings and corresponding arguments, using a patched fork of go vet
's
printf analyzer. To
disable this feature, use --formatter.check-format-string=false
flag.
Requirement of the f-assertions (e.g. assert.Equalf) if format string is used. Disabled by default, use
--formatter.require-f-funcs
flag to enable.
This helps follow Go's implicit convention "Printf-like functions must end with f
" and sets the stage for moving to
v2
of testify
. In this way the checker resembles the goprintffuncname
linter (included in golangci-lint).
Also, verbs in the format string of f-assertions are highlighted by an IDE, e.g. GoLand:
[!CAUTION]
--formatter.require-f-funcs
requires f-assertions, even if there are no variable-length variables, i.e. it requiresrequire.NoErrorf
for both these cases:require.NoErrorf(t, err, "unexpected error") require.NoErrorf(t, err, "unexpected error for sid: %v", sid)
To understand this behavior, please read the reference below.
go func() {
conn, err = lis.Accept()
require.NoError(t, err) â
if assert.Error(err) { â
assert.FailNow(t, msg) â
}
}()
Autofix: false.
Enabled by default: true.
Reason: Incorrect use of functions.
This checker is a radically improved analogue of go vet
's
testinggoroutine check.
The point of the check is that, according to the documentation,
functions leading to t.FailNow
(essentially to runtime.GoExit
) must only be used in the goroutine that runs the
test.
Otherwise, they will not work as declared, namely, finish the test function.
You can disable the go-require
checker and continue to use require
as the current goroutine finisher, but this could
lead
Typically, any assertions inside goroutines are a marker of poor test architecture. Try to execute them in the main goroutine and distribute the data necessary for this into it (example).
Also a bad solution would be to simply replace all require
in goroutines with assert
(like
here)
â this will only mask the problem.
The checker is enabled by default, because testinggoroutine
is enabled by default in go vet
.
In addition, the checker warns about require
in HTTP handlers (functions and methods whose signature matches
http.HandlerFunc), because handlers run in a separate
service goroutine
that services the HTTP connection. Terminating these goroutines can lead to undefined behaviour and difficulty debugging
tests. You can turn off the check using the --go-require.ignore-http-handlers
flag.
P.S. Look at testify's issue, related to assertions in the goroutines.
â
assert.Equal(t, 42, len(arr))
assert.Equal(t, len(arr), 42)
assert.EqualValues(t, 42, len(arr))
assert.EqualValues(t, len(arr), 42)
assert.Exactly(t, 42, len(arr))
assert.Exactly(t, len(arr), 42)
assert.True(t, 42 == len(arr))
assert.True(t, len(arr) == 42)
assert.Equal(t, value, len(arr))
assert.EqualValues(t, value, len(arr))
assert.Exactly(t, value, len(arr))
assert.True(t, len(arr) == value)
assert.Equal(t, len(expArr), len(arr))
assert.EqualValues(t, len(expArr), len(arr))
assert.Exactly(t, len(expArr), len(arr))
assert.True(t, len(arr) == len(expArr))
â
assert.Len(t, arr, 42)
assert.Len(t, arr, value)
assert.Len(t, arr, len(expArr))
Autofix: true.
Enabled by default: true.
Reason: More appropriate testify
API with clearer failure message.
[!CAUTION] The checker ignores assertions in which length checking is not a priority, e.g.
assert.Equal(t, len(arr), value)
â
assert.Less(t, a, 0)
assert.Greater(t, 0, a)
assert.True(t, a < 0)
assert.True(t, 0 > a)
assert.False(t, a >= 0)
assert.False(t, 0 <= a)
assert.Greater(t, a, 0)
assert.Less(t, 0, a)
assert.True(t, a > 0)
assert.True(t, 0 < a)
assert.False(t, a <= 0)
assert.False(t, 0 >= a)
â
assert.Negative(t, a)
assert.Positive(t, a)
Autofix: true.
Enabled by default: true
Reason: More appropriate testify
API with clearer failure message.
Typed zeros (like int8(0)
, ..., uint64(0)
) are also supported.
â
assert.Equal(t, nil, value)
assert.EqualValues(t, nil, value)
assert.Exactly(t, nil, value)
assert.NotEqual(t, nil, value)
assert.NotEqualValues(t, nil, value)
â
assert.Nil(t, value)
assert.NotNil(t, value)
Autofix: true.
Enabled by default: true.
Reason: Protection from bugs and more appropriate testify
API with clearer failure message.
Using untyped nil
in the functions above along with a non-interface type does not make sense:
assert.Equal(t, nil, eventsChan) // Always fail.
assert.NotEqual(t, nil, eventsChan) // Always pass.
The right way:
assert.Equal(t, (chan Event)(nil), eventsChan)
assert.NotEqual(t, (chan Event)(nil), eventsChan)
But in the case of Equal
, NotEqual
and Exactly
type conversion approach still doesn't work for the function type.
The best option here is to just use Nil
/ NotNil
(see details).
â
assert.Regexp(t, regexp.MustCompile(`\[.*\] DEBUG \(.*TestNew.*\): message`), out)
assert.NotRegexp(t, regexp.MustCompile(`\[.*\] TRACE message`), out)
â
assert.Regexp(t, `\[.*\] DEBUG \(.*TestNew.*\): message`, out)
assert.NotRegexp(t, `\[.*\] TRACE message`, out)
Autofix: true.
Enabled by default: true.
Reason: Code simplification.
â
assert.Error(t, err) // s.Error(err), s.Assert().Error(err)
assert.ErrorIs(t, err, io.EOF)
assert.ErrorAs(t, err, &target)
assert.EqualError(t, err, "end of file")
assert.ErrorContains(t, err, "end of file")
assert.NoError(t, err)
assert.NotErrorIs(t, err, io.EOF)
â
require.Error(t, err) // s.Require().Error(err), s.Require().Error(err)
require.ErrorIs(t, err, io.EOF)
require.ErrorAs(t, err, &target)
// And so on...
Autofix: false.
Enabled by default: true.
Reason: Such "ignoring" of errors leads to further panics, making the test harder to debug.
testify/require allows to stop test execution when a test fails.
By default require-error
only checks the *Error*
assertions, presented above.
You can set --require-error.fn-pattern
flag to limit the checking to certain calls (but still from the list above).
For example, --require-error.fn-pattern="^(Errorf?|NoErrorf?)$"
will only check Error
, Errorf
, NoError
,
and NoErrorf
.
Also, to minimize false positives, require-error
ignores:
if
condition;if-else[-if]
block, if there is an assertion in any if
condition;http.Handler
);NoError
assertions.func (s *MySuite) SetupTest() {
s.T().Parallel() â
}
// And other hooks...
func (s *MySuite) TestSomething() {
s.T().Parallel() â
for _, tt := range cases {
s.Run(tt.name, func() {
s.T().Parallel() â
})
s.T().Run(tt.name, func(t *testing.T) {
t.Parallel() â
})
}
}
Autofix: true.
Enabled by default: true.
Reason: Protection from undefined behaviour.
v1
of testify
doesn't support suite's parallel tests and subtests.
Depending on case using of t.Parallel()
leads to
So, testify
's maintainers recommend discourage parallel tests inside suite.
func (s *MySuite) TestSomething() {
â assert.Equal(s.T(), 42, value)
â
s.Equal(42, value)
}
Autofix: true.
Enabled by default: true.
Reason: More simple and uniform code.
By default, the checker wants you to remove unnecessary Assert()
calls:
func (s *MySuite) TestSomething() {
â s.Assert().Equal(42, value)
â
s.Equal(42, value)
}
But sometimes, on the contrary, people want consistency with s.Assert()
and s.Require()
:
func (s *MySuite) TestSomething() {
// ...
â
s.Require().NoError(err)
s.Equal(42, value)
â
s.Require().NoError(err)
s.Assert().Equal(42, value)
}
You can enable such behavior through --suite-extra-assert-call.mode=require
.
Autofix: true.
Enabled by default: true, in the remove
mode.
Reason: More simple or uniform code.
func (s *MySuite) TestSomething() {
â
s.T().Run("subtest", func(t *testing.T) {
assert.Equal(t, 42, result)
})
â
s.Run("subtest", func() {
s.Equal(42, result)
})
}
Autofix: false.
Enabled by default: true.
Reason: Protection from undefined behavior.
According to testify
documentation, s.Run
should
be used for running subtests. This call (among other things) initializes the suite with a fresh instance of t
and
protects tests from undefined behavior (such as data races).
Autofix is disabled because in the most cases it requires rewriting the assertions in the subtest and can leads to dead code.
The checker is especially useful in combination with suite-dont-use-pkg.
â
func (s *RoomSuite) assertRoomRound(roundID RoundID) {
s.Equal(roundID, s.getRoom().CurrentRound.ID)
}
â
func (s *RoomSuite) assertRoomRound(roundID RoundID) {
s.T().Helper()
s.Equal(roundID, s.getRoom().CurrentRound.ID)
}
Autofix: true.
Enabled by default: false.
Reason: Consistency with non-suite test helpers. Explicit markup of helper methods.
s.T().Helper()
call is not important actually because testify
prints full Error Trace
anyway.
The checker rather acts as an example of a checkers.AdvancedChecker.
The checker guards against assertion of the same variable:
assert.Contains(t, tt.value, tt.value)
assert.ElementsMatch(t, tt.value, tt.value)
assert.Equal(t, tt.value, tt.value)
assert.EqualExportedValues(t, tt.value, tt.value)
// And other assert functions...
assert.True(t, num > num)
assert.True(t, num < num)
assert.True(t, num >= num)
assert.True(t, num <= num)
assert.True(t, num == num)
assert.True(t, num != num)
assert.False(t, num > num)
assert.False(t, num < num)
assert.False(t, num >= num)
assert.False(t, num <= num)
assert.False(t, num == num)
assert.False(t, num != num)
And against these meaningless assertions:
assert.Empty(t, "")
assert.False(t, false)
assert.Implements(t, (*any)(nil), new(Conn))
assert.Negative(t, -42)
assert.Nil(t, nil)
assert.NoError(t, nil)
assert.NotEmpty(t, "value")
assert.NotZero(t, 42)
assert.NotZero(t, "value")
assert.Positive(t, 42)
assert.True(t, true)
assert.Zero(t, 0)
assert.Zero(t, "")
assert.Zero(t, nil)
Autofix: false.
Enabled by default: true.
Reason: Protection from bugs and dead code.
Linter does not automatically handle the "evolution" of changes. And in some cases may be dissatisfied with your code several times, for example:
assert.True(err == nil) // compares: use assert.Equal
assert.Equal(t, err, nil) // error-nil: use assert.NoError
assert.NoError(t, err) // require-error: for error assertions use require
require.NoError(t, err)
Please contribute if you have ideas on how to make this better.
The second version of testify
promises more "pleasant" API and
makes some above checkers irrelevant.
In this case, the possibility of supporting v2
in the linter is not excluded.
But at the moment it looks like we
are extremely far
from v2
. Related milestone here.