blob: c6058a0d2a27f016ab5e2bc787056efe22c5458a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
//go:build ignore
// +build ignore
package a
// This test exercises the synthesis of testmain packages for tests.
// The test framework doesn't directly let us perform negative
// assertions (i.e. that TestingQuux isn't called, or that its
// parameter's PTS is empty) so this test is rather roundabout.
import "testing"
func log(f func(*testing.T)) {
// The PTS of f is the set of called tests. TestingQuux is not present.
print(f) // @pointsto command-line-arguments.Test | command-line-arguments.TestFoo
}
func Test(t *testing.T) {
// Don't assert @pointsto(t) since its label contains a fragile line number.
log(Test)
}
func TestFoo(t *testing.T) {
// Don't assert @pointsto(t) since its label contains a fragile line number.
log(TestFoo)
}
func TestingQuux(t *testing.T) {
// We can't assert @pointsto(t) since this is dead code.
log(TestingQuux)
}
func BenchmarkFoo(b *testing.B) {
}
func ExampleBar() {
// Output:
}
// Excludes TestingQuux.
// @calls testing.tRunner -> command-line-arguments.Test
// @calls testing.tRunner -> command-line-arguments.TestFoo
// @calls (*testing.B).runN -> command-line-arguments.BenchmarkFoo
// @calls testing.runExample -> command-line-arguments.ExampleBar
|
