basicIndexedTest | Test.SDP.Indexed, Test.SDP |
basicIndexTest | Test.SDP.Index |
basicLinearTest | Test.SDP.Linear, Test.SDP |
basicSetTest | Test.SDP.Set, Test.SDP |
basicSplitTest | Test.SDP.Split, Test.SDP |
Blind | |
1 (Data Constructor) | Test.SDP.Arbitrary |
2 (Type/Class) | Test.SDP.Arbitrary |