| /dports/devel/adabooch/bc-20160321/tests/ |
| H A D | list_test.adb | 31 procedure Assertion (Cond : Boolean; Message : String); subprogspec
32 procedure Assertion (Cond : Boolean; Message : String) is subprogram
37 end Assertion;
43 Assertion ((Length (L1) = 0),
54 Assertion (Is_Null (L1), "** S08: List is not null");
73 Assertion ((L1 /= T1), "** S21: Lists are equal");
80 Assertion ((T1 /= T2), "** S26: Lists are equal");
103 Assertion ((L1 /= L2), "** S44: Lists are equal");
113 Assertion ((L1 /= T2), "** S50: List are equal");
128 Assertion ((L1 /= L2), "** S58: Lists are equal");
[all …]
|
| H A D | tree_test.adb | 32 procedure Assertion (Cond : Boolean; Message : String); subprogspec
33 procedure Assertion (Cond : Boolean; Message : String) is subprogram
38 end Assertion;
128 Assertion (T2 /= Tt3, "** B17: Trees are equal");
244 Assertion (Tt1 /= T1, "** M27: Trees are equal");
322 Assertion (not Is_Member (T, 'g'),
372 Assertion (T /= T2, "** A35: Trees are equal");
379 Assertion (T /= T2, "** A36: Trees are equal");
383 Assertion (T /= T2, "** A37: Trees are equal");
389 Assertion (T /= T2, "** A39: Trees are equal");
[all …]
|
| H A D | graph_test.adb | 31 end Assertion;
46 Assertion (Is_Null (V1),
48 Assertion (Is_Null (A1),
96 Assertion (V1 = V3,
116 Assertion (V1 /= V3,
157 Assertion (V1 = V2,
160 Assertion (V1 = V3,
276 Assertion (V1 = V3,
296 Assertion (V1 /= V3,
335 Assertion (V1 = V2,
[all …]
|
| H A D | ring_test.adb | 34 procedure Assertion (Cond : Boolean; Message : String); subprogspec
35 procedure Assertion (Cond : Boolean; Message : String) is subprogram
40 end Assertion;
105 Assertion (R1 = R2, "** P25b: Rings are not equal");
116 Assertion (not At_Mark (R2), "** P31: Ring at mark");
118 Assertion (At_Mark (R2), "** P32: Ring not at mark");
126 Assertion (R1 /= R2, "** P37b: Rings are equal");
130 Assertion (At_Mark (R2), "** P40: Ring at mark");
179 Assertion (RUM.Extent (Ring_UM_P2) = 2,
181 Assertion (RB.Available (Ring_B_P1) = 97,
[all …]
|
| H A D | deque_test.adb | 41 end Assertion;
60 Assertion (Length (D1) = 0,
113 Assertion (Location (D2, '1') = 1,
115 Assertion (Location (D2, '2') = 2,
117 Assertion (Location (D2, '4') = 4,
251 Assertion (DB.Front (Deque_B_P1) = '9',
253 Assertion (DB.Length (Deque_B_P2) = 0,
255 Assertion (DD.Front (Deque_D_P1) = '9',
257 Assertion (DD.Length (Deque_D_P2) = 0,
263 Assertion (DU.Length (Deque_U_P2) = 0,
[all …]
|
| H A D | queue_test.adb | 45 end Assertion;
64 Assertion (Length (Q1) = 0,
116 Assertion (Location (Q2, '1') = 1,
118 Assertion (Location (Q2, '2') = 2,
120 Assertion (Location (Q2, '4') = 4,
239 Assertion ((Front (Queue_B_P1) = '9'),
241 Assertion ((Length (Queue_B_P2) = 0),
243 Assertion ((Front (Queue_D_P1) = '9'),
245 Assertion ((Length (Queue_D_P2) = 0),
247 Assertion ((Front (Queue_U_P1) = '9'),
[all …]
|
| H A D | ordered_queue_test.adb | 45 end Assertion;
64 Assertion (Length (Q1) = 0,
116 Assertion (Location (Q2, '1') = 1,
118 Assertion (Location (Q2, '2') = 2,
120 Assertion (Location (Q2, '4') = 4,
224 Assertion ((Front (Queue_B_P1) = '9'),
226 Assertion ((Length (Queue_B_P2) = 0),
228 Assertion ((Front (Queue_D_P1) = '9'),
230 Assertion ((Length (Queue_D_P2) = 0),
232 Assertion ((Front (Queue_U_P1) = '9'),
[all …]
|
| H A D | stack_test.adb | 39 procedure Assertion (Cond : Boolean; Message : String); subprogspec
40 procedure Assertion (Cond : Boolean; Message : String) is subprogram
45 end Assertion;
80 Assertion (not (Is_Empty (S1)), "** P03: Stack is empty");
84 Assertion (Is_Empty (S1), "** P06: Stack is not empty");
98 Assertion (Is_Empty (S1), "** P14: Stack is not empty");
118 Assertion (Is_Empty (S2), "** P29: Stack is not empty");
141 Assertion (S1 = S2, "** P35: Stacks are not equal");
171 Assertion (False, "** I01: Deletion succeeded");
241 Assertion
[all …]
|
| H A D | bag_test.adb | 41 end Assertion;
65 Assertion (Bags.Is_Empty (B1),
67 Assertion (Bags.Extent (B1) = 0,
69 Assertion (Bags.Total_Size (B1) = 0,
77 Assertion (Bags.Total_Size (B1) = 4,
79 Assertion (Bags.Is_Member (B1, '1'),
81 Assertion (Bags.Is_Member (B1, '2'),
83 Assertion (Bags.Is_Member (B1, '3'),
85 Assertion (Bags.Count (B1, '2') = 2,
87 Assertion (Bags.Count (B1, '3') = 1,
[all …]
|
| /dports/devel/msbuild/msbuild-0.06/src/Deprecated/Engine/Shared/UnitTests/ |
| H A D | FileUtilities_Tests.cs | 33 Assertion.AssertEquals(String.Empty, modifier); in TestGetItemSpecModifier()
35 Assertion.AssertNotNull(cache); in TestGetItemSpecModifier()
41 Assertion.AssertNull(cache); in TestGetItemSpecModifier()
45 Assertion.AssertEquals(@"foo\", modifier); in TestGetItemSpecModifier()
46 Assertion.AssertNotNull(cache); in TestGetItemSpecModifier()
50 Assertion.AssertEquals(@"foo\", modifier); in TestGetItemSpecModifier()
51 Assertion.AssertNotNull(cache); in TestGetItemSpecModifier()
59 Assertion.AssertEquals(@"c:\", modifier); in TestGetItemSpecModifier()
62 Assertion.AssertEquals(@"foo", modifier); in TestGetItemSpecModifier()
65 Assertion.AssertEquals(@".txt", modifier); in TestGetItemSpecModifier()
[all …]
|
| H A D | SolutionParser_Tests.cs | 37 Assertion.AssertEquals("Project name", proj.ProjectName); in BasicParseFirstProjectLine()
39 Assertion.AssertEquals("Unique name-GUID", proj.ProjectGuid); in BasicParseFirstProjectLine()
59 Assertion.AssertEquals("Project name", proj.ProjectName); in ParseFirstProjectLineWithDifferentSpacing()
61 Assertion.AssertEquals("Unique name-GUID", proj.ProjectGuid); in ParseFirstProjectLineWithDifferentSpacing()
547 Assertion.AssertEquals(9, solution.Version); in Version9()
561 Assertion.AssertEquals(10, solution.Version); in Version10()
648 Assertion.AssertEquals(3, solution.Projects.Length); in BasicSolution()
729 Assertion.AssertEquals(5, solution.Projects.Length); in SolutionFolders()
813 Assertion.AssertEquals(3, solution.Projects.Length); in SolutionDependencies()
889 Assertion.AssertEquals(1, solution.Projects.Length); in VenusProject()
[all …]
|
| H A D | EscapingUtilities_Tests.cs | 23 Assertion.AssertEquals("", EscapingUtilities.UnescapeAll("")); in Unescape()
24 Assertion.AssertEquals("foo", EscapingUtilities.UnescapeAll("foo")); in Unescape()
28 Assertion.AssertEquals(";", EscapingUtilities.UnescapeAll("%3b")); in Unescape()
30 Assertion.AssertEquals("%3B", EscapingUtilities.UnescapeAll("%253B")); in Unescape()
46 Assertion.AssertEquals("%2a", EscapingUtilities.Escape("*")); in Escape()
47 Assertion.AssertEquals("%3f", EscapingUtilities.Escape("?")); in Escape()
92 Assertion.Assert(!EscapingUtilities.ContainsEscapedWildcards("%4")); in ContainsEscapedWildcards()
95 Assertion.Assert(EscapingUtilities.ContainsEscapedWildcards("%2a")); in ContainsEscapedWildcards()
96 Assertion.Assert(EscapingUtilities.ContainsEscapedWildcards("%2A")); in ContainsEscapedWildcards()
97 Assertion.Assert(EscapingUtilities.ContainsEscapedWildcards("%3F")); in ContainsEscapedWildcards()
[all …]
|
| /dports/devel/msbuild/msbuild-0.06/src/Deprecated/Engine.UnitTests/ |
| H A D | Scanner_Tests.cs | 181 Assertion.Assert(lexer.Advance()); in NumericSingleTokenTests()
186 Assertion.Assert(lexer.Advance()); in NumericSingleTokenTests()
191 Assertion.Assert(lexer.Advance()); in NumericSingleTokenTests()
196 Assertion.Assert(lexer.Advance()); in NumericSingleTokenTests()
201 Assertion.Assert(lexer.Advance()); in NumericSingleTokenTests()
206 Assertion.Assert(lexer.Advance()); in NumericSingleTokenTests()
210 Assertion.Assert(lexer.Advance()); in NumericSingleTokenTests()
214 Assertion.Assert(lexer.Advance()); in NumericSingleTokenTests()
218 Assertion.Assert(lexer.Advance()); in NumericSingleTokenTests()
230 Assertion.Assert(lexer.Advance()); in PropsStringsAndBooleanSingleTokenTests()
[all …]
|
| H A D | PropertyGroup_Tests.cs | 42 Assertion.AssertEquals(6, pg.Count); in ImportOutputProperties()
59 Assertion.AssertEquals(3, pg.Count); in ImportOutputProperties()
62 Assertion.AssertNull(pg["baz"]); in ImportOutputProperties()
64 Assertion.AssertNull(pg["barb"]); in ImportOutputProperties()
119 Assertion.AssertNull(pg["barb"]); in ClonePropertyGroup()
120 Assertion.AssertNull(pg["gaz"]); in ClonePropertyGroup()
145 Assertion.AssertNull(pg["barb"]); in ClonePropertyGroup()
146 Assertion.AssertNull(pg["gaz"]); in ClonePropertyGroup()
154 Assertion.AssertNull(pgsc["gaz"]); in ClonePropertyGroup()
171 Assertion.AssertNull(pg["barb"]); in ClonePropertyGroup()
[all …]
|
| H A D | OnError_Tests.cs | 48 Assertion.Assert("Expected one error because 'Build' failed.", l.ErrorCount==1); in Basic()
120 Assertion.AssertEquals(resource, p.GetEvaluatedProperty("FilesWrittenProperty")); in FailingTaskStillPublishesOutputs()
125 Assertion.AssertEquals(0, p.GetEvaluatedItemsByName("FilesWrittenItem").Count); in FailingTaskStillPublishesOutputs()
126 Assertion.AssertEquals(null, p.GetEvaluatedProperty("FilesWrittenProperty")); in FailingTaskStillPublishesOutputs()
176 Assertion.Assert("Expected one error because 'Build' failed.", l.ErrorCount == 1); in OnErrorSeesPropertiesAndItemsFromFirstTarget()
209 Assertion.Assert("Expected one error because 'Build' failed.", l.ErrorCount==1); in TwoExecuteTargets()
244 Assertion.Assert("Expected one error because 'Build' failed.", l.ErrorCount==1); in TwoOnErrorClauses()
279 Assertion.Assert("Expected one error because 'Build' failed.", l.ErrorCount==1); in DependentTarget()
373 Assertion.Assert("Expected one error because 'Build' failed.", l.ErrorCount == 1); in TrueCondition()
404 Assertion.Assert("Expected one error because 'Build' failed.", l.ErrorCount == 1); in FalseCondition()
[all …]
|
| /dports/devel/msbuild/msbuild-0.06/src/Deprecated/Engine.UnitTests/Compatibility/ |
| H A D | InvalidProjectfileException_Tests.cs | 53 Assertion.AssertEquals(0, invalidProjectFileException.LineNumber); in CtorMessageArity1()
54 Assertion.AssertEquals(0, invalidProjectFileException.ColumnNumber); in CtorMessageArity1()
87 Assertion.AssertEquals(0, invalidProjectFileException.LineNumber); in Ctor_Arity2InnerException()
107 Assertion.AssertEquals(0, invalidProjectFileException.LineNumber); in CtorArity4()
276 Assertion.Assert(returnObj is InvalidProjectFileException); in SerializationBinary()
282 Assertion.AssertEquals(1, outException.LineNumber); in SerializationBinary()
283 Assertion.AssertEquals(2, outException.ColumnNumber); in SerializationBinary()
284 Assertion.AssertEquals(3, outException.EndLineNumber); in SerializationBinary()
285 Assertion.AssertEquals(4, outException.EndColumnNumber); in SerializationBinary()
310 Assertion.Assert(returnObj is InvalidProjectFileException); in SerializationBinaryInnerException()
[all …]
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/testlibrary_tests/ |
| H A D | AssertsTest.java | 57 expectPass(Assertion.LT, 1, 2); in testLessThan()
59 expectFail(Assertion.LT, 2, 2); in testLessThan()
60 expectFail(Assertion.LT, 2, 1); in testLessThan()
66 expectPass(Assertion.LTE, 1, 2); in testLessThanOrEqual()
67 expectPass(Assertion.LTE, 2, 2); in testLessThanOrEqual()
75 expectPass(Assertion.EQ, 1, 1); in testEquals()
97 expectPass(Assertion.GT, 2, 1); in testGreaterThan()
99 expectFail(Assertion.GT, 1, 1); in testGreaterThan()
100 expectFail(Assertion.GT, 1, 2); in testGreaterThan()
121 expectFail(Assertion.NULL, 1); in testNull()
[all …]
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/hotspot/jtreg/testlibrary_tests/ |
| H A D | AssertsTest.java | 57 expectPass(Assertion.LT, 1, 2); in testLessThan()
59 expectFail(Assertion.LT, 2, 2); in testLessThan()
60 expectFail(Assertion.LT, 2, 1); in testLessThan()
66 expectPass(Assertion.LTE, 1, 2); in testLessThanOrEqual()
67 expectPass(Assertion.LTE, 2, 2); in testLessThanOrEqual()
75 expectPass(Assertion.EQ, 1, 1); in testEquals()
97 expectPass(Assertion.GT, 2, 1); in testGreaterThan()
99 expectFail(Assertion.GT, 1, 1); in testGreaterThan()
100 expectFail(Assertion.GT, 1, 2); in testGreaterThan()
121 expectFail(Assertion.NULL, 1); in testNull()
[all …]
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/testlibrary_tests/ |
| H A D | AssertsTest.java | 57 expectPass(Assertion.LT, 1, 2); in testLessThan()
59 expectFail(Assertion.LT, 2, 2); in testLessThan()
60 expectFail(Assertion.LT, 2, 1); in testLessThan()
66 expectPass(Assertion.LTE, 1, 2); in testLessThanOrEqual()
67 expectPass(Assertion.LTE, 2, 2); in testLessThanOrEqual()
75 expectPass(Assertion.EQ, 1, 1); in testEquals()
97 expectPass(Assertion.GT, 2, 1); in testGreaterThan()
99 expectFail(Assertion.GT, 1, 1); in testGreaterThan()
100 expectFail(Assertion.GT, 1, 2); in testGreaterThan()
121 expectFail(Assertion.NULL, 1); in testNull()
[all …]
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/hotspot/jtreg/testlibrary_tests/ |
| H A D | AssertsTest.java | 57 expectPass(Assertion.LT, 1, 2); in testLessThan()
59 expectFail(Assertion.LT, 2, 2); in testLessThan()
60 expectFail(Assertion.LT, 2, 1); in testLessThan()
66 expectPass(Assertion.LTE, 1, 2); in testLessThanOrEqual()
67 expectPass(Assertion.LTE, 2, 2); in testLessThanOrEqual()
75 expectPass(Assertion.EQ, 1, 1); in testEquals()
97 expectPass(Assertion.GT, 2, 1); in testGreaterThan()
99 expectFail(Assertion.GT, 1, 1); in testGreaterThan()
100 expectFail(Assertion.GT, 1, 2); in testGreaterThan()
121 expectFail(Assertion.NULL, 1); in testNull()
[all …]
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/hotspot/jtreg/testlibrary_tests/ |
| H A D | AssertsTest.java | 57 expectPass(Assertion.LT, 1, 2); in testLessThan()
59 expectFail(Assertion.LT, 2, 2); in testLessThan()
60 expectFail(Assertion.LT, 2, 1); in testLessThan()
66 expectPass(Assertion.LTE, 1, 2); in testLessThanOrEqual()
67 expectPass(Assertion.LTE, 2, 2); in testLessThanOrEqual()
75 expectPass(Assertion.EQ, 1, 1); in testEquals()
97 expectPass(Assertion.GT, 2, 1); in testGreaterThan()
99 expectFail(Assertion.GT, 1, 1); in testGreaterThan()
100 expectFail(Assertion.GT, 1, 2); in testGreaterThan()
121 expectFail(Assertion.NULL, 1); in testNull()
[all …]
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/test/lib/testlibrary/ |
| H A D | AssertsTest.java | 55 expectPass(Assertion.LT, 1, 2); in testLessThan()
57 expectFail(Assertion.LT, 2, 2); in testLessThan()
58 expectFail(Assertion.LT, 2, 1); in testLessThan()
64 expectPass(Assertion.LTE, 1, 2); in testLessThanOrEqual()
65 expectPass(Assertion.LTE, 2, 2); in testLessThanOrEqual()
73 expectPass(Assertion.EQ, 1, 1); in testEquals()
95 expectPass(Assertion.GT, 2, 1); in testGreaterThan()
97 expectFail(Assertion.GT, 1, 1); in testGreaterThan()
98 expectFail(Assertion.GT, 1, 2); in testGreaterThan()
119 expectFail(Assertion.NULL, 1); in testNull()
[all …]
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/hotspot/test/testlibrary_tests/ |
| H A D | AssertsTest.java | 56 expectPass(Assertion.LT, 1, 2); in testLessThan()
58 expectFail(Assertion.LT, 2, 2); in testLessThan()
59 expectFail(Assertion.LT, 2, 1); in testLessThan()
65 expectPass(Assertion.LTE, 1, 2); in testLessThanOrEqual()
66 expectPass(Assertion.LTE, 2, 2); in testLessThanOrEqual()
74 expectPass(Assertion.EQ, 1, 1); in testEquals()
96 expectPass(Assertion.GT, 2, 1); in testGreaterThan()
98 expectFail(Assertion.GT, 1, 1); in testGreaterThan()
99 expectFail(Assertion.GT, 1, 2); in testGreaterThan()
120 expectFail(Assertion.NULL, 1); in testNull()
[all …]
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/test/lib/testlibrary/ |
| H A D | AssertsTest.java | 55 expectPass(Assertion.LT, 1, 2); in testLessThan()
57 expectFail(Assertion.LT, 2, 2); in testLessThan()
58 expectFail(Assertion.LT, 2, 1); in testLessThan()
64 expectPass(Assertion.LTE, 1, 2); in testLessThanOrEqual()
65 expectPass(Assertion.LTE, 2, 2); in testLessThanOrEqual()
73 expectPass(Assertion.EQ, 1, 1); in testEquals()
95 expectPass(Assertion.GT, 2, 1); in testGreaterThan()
97 expectFail(Assertion.GT, 1, 1); in testGreaterThan()
98 expectFail(Assertion.GT, 1, 2); in testGreaterThan()
119 expectFail(Assertion.NULL, 1); in testNull()
[all …]
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/hotspot/test/testlibrary_tests/ |
| H A D | AssertsTest.java | 56 expectPass(Assertion.LT, 1, 2); in testLessThan()
58 expectFail(Assertion.LT, 2, 2); in testLessThan()
59 expectFail(Assertion.LT, 2, 1); in testLessThan()
65 expectPass(Assertion.LTE, 1, 2); in testLessThanOrEqual()
66 expectPass(Assertion.LTE, 2, 2); in testLessThanOrEqual()
74 expectPass(Assertion.EQ, 1, 1); in testEquals()
96 expectPass(Assertion.GT, 2, 1); in testGreaterThan()
98 expectFail(Assertion.GT, 1, 1); in testGreaterThan()
99 expectFail(Assertion.GT, 1, 2); in testGreaterThan()
120 expectFail(Assertion.NULL, 1); in testNull()
[all …]
|