Home
last modified time | relevance | path

Searched refs:Verify (Results 1 – 25 of 4967) sorted by relevance

12345678910>>...199

/dports/math/yacas/yacas-1.9.1/tests/
H A Dpredicates.yts6 Verify(IsList(a),False);
8 Verify(IsAtom(a),True);
46 Verify(.1<2,True);
47 Verify(0.1<2,True);
48 Verify(.3<2,True);
49 Verify(.1>2,False);
51 Verify(.3>2,False);
53 Verify(2<.1,False);
55 Verify(2<.3,False);
56 Verify(2>.1,True);
[all …]
H A Darithmetic.yts4 Verify(3 + 2 , 5);
5 Verify(3-7, -4);
7 Verify(5 ^ 2 , 25);
41 Verify(4!,24);
56 Verify(1*a,a);
57 Verify(a*1,a);
58 Verify(0*a,0);
59 Verify(a*0,0);
62 Verify(2+3,5);
63 Verify(2*3,6);
[all …]
H A Dnumbers.yts1 Verify( CatalanNumber(6), 132 );
2 Verify( CatalanNumber(10), 16796 );
6 Verify(IntLog(23^45, 67), 33);
8 Verify(IntLog(1, 67), 0);
9 Verify(IntLog(2, 67), 0);
10 Verify(IntLog(0, 67), 0);
13 Verify(IntLog(256^8, 4), 32);
18 Verify(261! - 261*260!, 0);
21 Verify(Repunit(3), 111 );
113 Verify(x1, Random());
[all …]
H A Dlists.yts23 Verify(NrArgs(Cos(x)),1);
37 Verify(l,{2,3});
39 Verify(l,{1,2,3});
41 Verify(l,{2,2,3});
44 Verify(l,{1,2});
46 Verify(l,{1,2,3});
48 Verify(l,{1,2,3});
76 Verify(Length({}),0);
80 Verify({a,b,c}[2],b);
122 Verify(hash, {});
[all …]
H A Dlinalg.yts4 Verify(LeviCivita({1,2,3}),1);
24 Verify(l X m, {0,0,1});
29 Verify(l . m, 0);
30 Verify(m . n, 0);
31 Verify(n . l, 0);
33 Verify(l . l, 1);
45 Verify( a . b , 20);
48 Verify(aa,Hold(aa));
55 Verify( a . b , 20);
63 Verify(Identity(4),
[all …]
H A Dio.yts14 Verify(IsError(), False);
17 Verify(IsError(), False);
20 Verify(IsError(), False);
28 Verify(IsError(), True);
32 Verify(IsError(), True);
42 Verify(IsError(), False);
53 Verify(IsError(), True);
58 Verify(IsError(), True);
63 Verify(IsError(), True);
68 Verify(IsError(), True);
[all …]
H A Dcalculus.yts2 Verify(Sin(ArcSin(a)),a);
3 Verify(Cos(ArcCos(a)),a);
7 //Verify(ArcSin(Sin(a)),a);
8 //Verify(ArcCos(Cos(a)),a);
11 Verify(Tan(Pi),0);
32 Verify(Re(2+I*3),2);
33 Verify(Im(2+I*3),3);
40 Verify(D(x) a,0);
41 Verify(D(x) x,1);
42 Verify(D(x) (x+x),2);
[all …]
H A Dregress.yts4 Verify(N(Sin(a)),Sin(a));
6 Verify(Cos(0),1);
29 Verify(A<0,A<0);
30 Verify(A>0,A>0);
84 Verify(3! !, 720);
121 Verify(Gcd(0,0),1);
122 Verify(Gcd({0}),1);
199 Verify(0|1, 1);
200 Verify(0&1, 0);
201 Verify(0%1, 0);
[all …]
H A Dsums.yts54 Verify(Add({1}), 1);
55 Verify(Add({}), 0);
57 Verify(Add(1), 1);
69 Verify(Min(0,1),0);
71 Verify(Min({x}), x);
72 Verify(Min(x), x);
212 pj := FlatCopy(pju0); Verify(tlc(pj,2,4), pc24); Verify(pj, pj50);
213 pj := FlatCopy(pju0); Verify(tlc(pj,3,5), pc35); Verify(pj, pj51);
214 pj := FlatCopy(pju0); Verify(tlc(pj,4,6), pc46); Verify(pj, pj52);
215 pj := FlatCopy(pju0); Verify(tlc(pj,5,7), pc57); Verify(pj, pj53);
[all …]
H A Dmatrixpower.yts7 //Verify(MatrixPower(,),);
8 Verify(MatrixPower(a,0),Hold(MatrixPower(a,0)));
9 Verify(MatrixPower(a,n),Hold(MatrixPower(a,n)));
10 Verify(MatrixPower({a},0),Hold(MatrixPower({a},0)));
11 Verify(MatrixPower({a},n),Hold(MatrixPower({a},n)));
12 Verify(MatrixPower({{a}},0),{{1}});
13 Verify(MatrixPower({{a}},1),{{a}});
14 Verify(MatrixPower({{a}},-1),{{1/a}});
16 Verify(MatrixPower({{a}},10),{{a^10}});
17 Verify(MatrixPower({{a}},-10),{{1/a^10}});
[all …]
H A Ddot.yts9 Verify(Dot({},{}),0);
10 Verify(Dot({},a),Hold(Dot({},a)));
11 Verify(Dot(a,{}),Hold(Dot(a,{})));
12 Verify(Dot({a},{}),Hold(Dot({a},{})));
14 Verify(Dot({a},{b}),a*b);
17 Verify(Dot({a,b},{c,d}),a*c+b*d);
22 Verify(Dot({1,2,3},{4,5,6}),32);
25 Verify(Dot({{}},{}),{0});
27 Verify(Dot({{},{}},{}),{0,0});
28 Verify(Dot({{a}},{b}),{a*b});
[all …]
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Dynamic.Runtime/tests/Dynamic.Other/
H A DConformance.dynamic.interaction.cs17 public class Verify class
64 Verify.FirstCalled = true; in InstanceMethod()
70 Verify.FirstCalled = true; in StaticMethod()
94 Verify.FirstCalled = true; in operator +()
144 Verify.FirstCalled = true; in InstanceMethod()
150 Verify.FirstCalled = true; in StaticMethod()
174 Verify.FirstCalled = true; in operator +()
224 Verify.FirstCalled = true; in InstanceMethod()
230 Verify.FirstCalled = true; in StaticMethod()
254 Verify.FirstCalled = true; in operator +()
[all …]
/dports/mail/bogofilter-sqlite/bogofilter-1.2.5/trio/
H A Dregression.c107 Verify
320 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
332 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
334 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
338 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
346 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
350 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
352 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
380 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
461 nerrors += Verify(__FILE__, __LINE__, "1", in VerifyFormatting()
[all …]
/dports/mail/bogofilter-lmdb/bogofilter-1.2.5/trio/
H A Dregression.c107 Verify
320 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
332 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
334 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
338 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
346 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
350 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
352 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
380 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
461 nerrors += Verify(__FILE__, __LINE__, "1", in VerifyFormatting()
[all …]
/dports/mail/bogofilter/bogofilter-1.2.5/trio/
H A Dregression.c107 Verify
320 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
332 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
334 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
338 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
346 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
350 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
352 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
380 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
461 nerrors += Verify(__FILE__, __LINE__, "1", in VerifyFormatting()
[all …]
/dports/mail/bogofilter-kc/bogofilter-1.2.5/trio/
H A Dregression.c107 Verify
320 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
332 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
334 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
338 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
346 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
350 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
352 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormatting()
380 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormatting()
461 nerrors += Verify(__FILE__, __LINE__, "1", in VerifyFormatting()
[all …]
/dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/mysql-test/suite/x/r/
H A Dcrud_overlaps_expr.result17 Verify [Operator "overlaps" returns value 1]
19 Verify [Operator "overlaps" returns value 0]
23 Verify [Operator "overlaps" returns value 1]
25 Verify [Operator "overlaps" returns value 0]
29 Verify [Operator "overlaps" returns value 1]
31 Verify [Operator "overlaps" returns value 0]
33 Verify [Operator "overlaps" returns value 1]
35 Verify [Operator "overlaps" returns value 0]
39 Verify [Operator "overlaps" returns value 1]
41 Verify [Operator "overlaps" returns value 0]
[all …]
H A Dcompression_level_zstd_server.result6 Verify ZSTD_STREAM at level 1
17 Verify ZSTD_STREAM at level 2
28 Verify ZSTD_STREAM at level 3
39 Verify ZSTD_STREAM at level 4
50 Verify ZSTD_STREAM at level 5
61 Verify ZSTD_STREAM at level 6
72 Verify ZSTD_STREAM at level 7
83 Verify ZSTD_STREAM at level 8
94 Verify ZSTD_STREAM at level 9
105 Verify ZSTD_STREAM at level 10
[all …]
H A Dcompression_level_zstd_client.result6 Verify ZSTD_STREAM at level 1
15 Verify ZSTD_STREAM at level 2
24 Verify ZSTD_STREAM at level 3
33 Verify ZSTD_STREAM at level 4
42 Verify ZSTD_STREAM at level 5
51 Verify ZSTD_STREAM at level 6
60 Verify ZSTD_STREAM at level 7
69 Verify ZSTD_STREAM at level 8
78 Verify ZSTD_STREAM at level 9
87 Verify ZSTD_STREAM at level 10
[all …]
H A Dcompression_level_lz4_server.result6 Verify LZ4_MESSAGE at level 0
17 Verify LZ4_MESSAGE at level 1
28 Verify LZ4_MESSAGE at level 2
39 Verify LZ4_MESSAGE at level 3
50 Verify LZ4_MESSAGE at level 4
61 Verify LZ4_MESSAGE at level 5
72 Verify LZ4_MESSAGE at level 6
83 Verify LZ4_MESSAGE at level 7
94 Verify LZ4_MESSAGE at level 8
105 Verify LZ4_MESSAGE at level 9
[all …]
H A Dcompression_level_obsolete_zstd_client.result5 Verify ZSTD_STREAM at level 1
14 Verify ZSTD_STREAM at level 2
23 Verify ZSTD_STREAM at level 3
32 Verify ZSTD_STREAM at level 4
41 Verify ZSTD_STREAM at level 5
50 Verify ZSTD_STREAM at level 6
59 Verify ZSTD_STREAM at level 7
68 Verify ZSTD_STREAM at level 8
77 Verify ZSTD_STREAM at level 9
86 Verify ZSTD_STREAM at level 10
[all …]
/dports/devel/trio/trio-1.16/
H A Dregression.c126 Verify
354 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormattingIntegers()
366 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
368 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
372 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
380 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormattingIntegers()
384 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
386 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
426 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormattingFloats()
507 nerrors += Verify(__FILE__, __LINE__, "1", in VerifyFormattingFloats()
[all …]
/dports/mail/fetchmailconf/fetchmail-6.4.28/trio/
H A Dregression.c107 Verify
310 nerrors += Verify(__FILE__, __LINE__, "42", in VerifyFormattingIntegers()
318 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormattingIntegers()
330 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
332 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
336 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
344 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormattingIntegers()
348 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
350 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
390 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormattingFloats()
[all …]
/dports/mail/fetchmail/fetchmail-6.4.28/trio/
H A Dregression.c107 Verify
310 nerrors += Verify(__FILE__, __LINE__, "42", in VerifyFormattingIntegers()
318 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormattingIntegers()
330 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
332 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
336 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
344 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormattingIntegers()
348 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
350 nerrors += Verify(__FILE__, __LINE__, "", in VerifyFormattingIntegers()
390 nerrors += Verify(__FILE__, __LINE__, "0", in VerifyFormattingFloats()
[all …]
/dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/mysql-test/suite/group_replication/r/
H A Dgr_show_global_and_session_variables.result13 # Test#2: Verify group replication related variables at GLOBAL scope.
99 # Test#3: Verify group replication related variables at SESSION scope.
103 # Test#4: Verify GLOBAL and SESSION variables
133 include/assert.inc [Verify GLOBAL value of group_replication_group_name]
134 include/assert.inc [Verify GLOBAL value of group_replication_group_name]
135 include/assert.inc [Verify SESSION value of group_replication_group_name]
136 include/assert.inc [Verify SESSION value of group_replication_group_name]
209 include/assert.inc [Verify GLOBAL value of group_replication_ssl_mode]
210 include/assert.inc [Verify GLOBAL value of group_replication_ssl_mode]
211 include/assert.inc [Verify SESSION value of group_replication_ssl_mode]
[all …]

12345678910>>...199