- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for TestTermDisjoint (0.16 sec)
-
src/go/types/typeterm_test.go
x := testTerm(args[0]) y := testTerm(args[1]) want := args[2] == "T" if got := x.subsetOf(y); got != want { t.Errorf("%v.subsetOf(%v) = %v; want %v", x, y, got, want) } } } func TestTermDisjoint(t *testing.T) { for _, test := range []string{ "int int F", "~int ~int F", "int ~int F", "int string T", "int ~string T", "int myInt T", "~int ~string T", "~int myInt F",
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Wed Apr 03 18:48:38 UTC 2024 - 5.2K bytes - Viewed (0)