| /dports/devel/tla/tla-1.3.5/src/hackerlab/tests/char-tests/ |
| H A D | unit-str.c | 71 invariant (str_length (0) == 0); in main()
72 invariant (str_length ("") == 0); in main()
73 invariant (str_length ("a") == 1); in main()
74 invariant (str_length ("abc") == 3); in main()
75 invariant (str_length ("abcd") == 4); in main()
76 invariant (str_length ("abcde") == 5); in main()
83 invariant (str_length_n (0, 5) == 0); in main()
104 invariant (!str_cmp (0, "")); in main()
105 invariant (!str_cmp ("", 0)); in main()
110 invariant (str_cmp ("a", 0) == 1); in main()
[all …]
|
| /dports/databases/percona56-client/percona-server-5.6.51-91.0/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/percona-pam-for-mysql/percona-server-5.6.51-91.0/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/percona57-server/percona-server-5.7.36-39/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/percona57-client/percona-server-5.7.36-39/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/percona56-server/percona-server-5.6.51-91.0/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/mariadb104-server/mariadb-10.4.24/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/mariadb104-client/mariadb-10.4.24/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/mariadb105-client/mariadb-10.5.15/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/mariadb103-client/mariadb-10.3.34/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0);
93 invariant(r == 0);
117 invariant(r == 0);
141 invariant(r == 0);
164 invariant(r == 0);
187 invariant(r == 0);
237 invariant(r == 0);
266 invariant(r == 0);
294 invariant(r == 0);
328 invariant(fd >= 0);
[all …]
|
| /dports/databases/mariadb103-server/mariadb-10.3.34/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/mariadb105-server/mariadb-10.5.15/storage/tokudb/PerconaFT/ft/tests/ |
| H A D | ft-bfe-query.cc | 74 invariant(r == 0); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
[all …]
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/platform/ |
| H A D | decimal128_dummy.cpp | 40 invariant(false); in Decimal128()
44 invariant(false); in Decimal128()
50 invariant(false); in Decimal128()
54 invariant(false); in Decimal128()
58 invariant(false); in getValue()
62 invariant(false); in toAbs()
66 invariant(false); in toInt()
70 invariant(false); in toInt()
74 invariant(false); in toLong()
78 invariant(false); in toLong()
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/CodeGen/AMDGPU/ |
| H A D | merge-sbuffer-load.mir | 4 # CHECK: S_BUFFER_LOAD_DWORDX2_IMM %0, 0, 0 :: (dereferenceable invariant load (s64), align 4)
13 …%1:sreg_32_xm0_xexec = S_BUFFER_LOAD_DWORD_IMM %0:sgpr_128, 0, 0 :: (dereferenceable invariant loa…
14 …%2:sreg_32_xm0_xexec = S_BUFFER_LOAD_DWORD_IMM %0:sgpr_128, 4, 0 :: (dereferenceable invariant loa…
21 # CHECK: S_BUFFER_LOAD_DWORDX4_IMM %0, 0, 0 :: (dereferenceable invariant load (s128), align 4)
39 # CHECK: S_BUFFER_LOAD_DWORDX8_IMM %0, 0, 0 :: (dereferenceable invariant load (s256), align 4)
61 # CHECK: S_BUFFER_LOAD_DWORDX8_IMM %0, 0, 0 :: (dereferenceable invariant load (s256), align 4)
83 # CHECK: S_BUFFER_LOAD_DWORDX8_IMM %0, 0, 0 :: (dereferenceable invariant load (s256), align 8)
92 … %2:sgpr_64 = S_BUFFER_LOAD_DWORDX2_IMM %0:sgpr_128, 8, 0 :: (dereferenceable invariant load (s64))
93 … %3:sgpr_64 = S_BUFFER_LOAD_DWORDX2_IMM %0:sgpr_128, 0, 0 :: (dereferenceable invariant load (s64))
101 # CHECK: S_BUFFER_LOAD_DWORDX8_IMM %0, 0, 0 :: (dereferenceable invariant load (s256), align 16)
[all …]
|
| /dports/devel/tla/tla-1.3.5/src/hackerlab/tests/fmt-tests/ |
| H A D | unit-cvt.c | 282 invariant ((cvt_long_to_decimal (nbuf, -1) == 2) in main()
284 invariant ((cvt_long_to_HEX (nbuf, -1) == 2) in main()
286 invariant ((cvt_long_to_hex (nbuf, -1) == 2) in main()
288 invariant ((cvt_long_to_octal (nbuf, -1) == 2) in main()
315 invariant (cvt_ulong_to_HEX_n (nbuf, 32, 123, &needed) == 0 in main()
318 invariant (cvt_ulong_to_HEX_n (nbuf, 1, 123, &needed) == -1 in main()
321 invariant (cvt_long_to_HEX_n (nbuf, 32, -123, &needed) == 0 in main()
324 invariant (cvt_long_to_HEX_n (nbuf, 1, -123, &needed) == -1 in main()
327 invariant (cvt_ulong_to_hex_n (nbuf, 32, 123, &needed) == 0 in main()
330 invariant (cvt_ulong_to_hex_n (nbuf, 1, 123, &needed) == -1 in main()
[all …]
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/concurrency/ |
| H A D | locker_noop.h | 51 invariant(false); in getClientState()
55 invariant(false); in getId()
59 invariant(false); in getThreadId()
63 invariant(false); in lockGlobal()
67 invariant(false); in lockGlobalBegin()
71 invariant(false); in lockGlobalComplete()
75 invariant(false); in lockMMAPV1Flush()
79 invariant(false); in unlockGlobal()
83 invariant(false); in downgradeGlobalXtoSForMMAPV1()
91 invariant(false); in inAWriteUnitOfWork()
[all …]
|
| /dports/databases/percona56-client/percona-server-5.6.51-91.0/storage/tokudb/PerconaFT/locktree/tests/ |
| H A D | wfg_test.cc | 60 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_nodes()
61 invariant(!ve->nodes_visited[txnid]); in visit_nodes()
69 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_edges()
83 invariant(ve.nodes_visited[i]); in verify_only_nodes_012_exist()
85 invariant(!ve.nodes_visited[i]); in verify_only_nodes_012_exist()
115 invariant(g.node_exists(0)); in test_add_cycle_exists()
116 invariant(g.node_exists(1)); in test_add_cycle_exists()
118 invariant(g.node_exists(0)); in test_add_cycle_exists()
119 invariant(g.node_exists(1)); in test_add_cycle_exists()
120 invariant(g.node_exists(2)); in test_add_cycle_exists()
[all …]
|
| /dports/databases/percona-pam-for-mysql/percona-server-5.6.51-91.0/storage/tokudb/PerconaFT/locktree/tests/ |
| H A D | wfg_test.cc | 60 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_nodes()
61 invariant(!ve->nodes_visited[txnid]); in visit_nodes()
69 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_edges()
83 invariant(ve.nodes_visited[i]); in verify_only_nodes_012_exist()
85 invariant(!ve.nodes_visited[i]); in verify_only_nodes_012_exist()
115 invariant(g.node_exists(0)); in test_add_cycle_exists()
116 invariant(g.node_exists(1)); in test_add_cycle_exists()
118 invariant(g.node_exists(0)); in test_add_cycle_exists()
119 invariant(g.node_exists(1)); in test_add_cycle_exists()
120 invariant(g.node_exists(2)); in test_add_cycle_exists()
[all …]
|
| /dports/databases/percona57-server/percona-server-5.7.36-39/storage/tokudb/PerconaFT/locktree/tests/ |
| H A D | wfg_test.cc | 60 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_nodes()
61 invariant(!ve->nodes_visited[txnid]); in visit_nodes()
69 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_edges()
83 invariant(ve.nodes_visited[i]); in verify_only_nodes_012_exist()
85 invariant(!ve.nodes_visited[i]); in verify_only_nodes_012_exist()
115 invariant(g.node_exists(0)); in test_add_cycle_exists()
116 invariant(g.node_exists(1)); in test_add_cycle_exists()
118 invariant(g.node_exists(0)); in test_add_cycle_exists()
119 invariant(g.node_exists(1)); in test_add_cycle_exists()
120 invariant(g.node_exists(2)); in test_add_cycle_exists()
[all …]
|
| /dports/databases/percona57-client/percona-server-5.7.36-39/storage/tokudb/PerconaFT/locktree/tests/ |
| H A D | wfg_test.cc | 60 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_nodes()
61 invariant(!ve->nodes_visited[txnid]); in visit_nodes()
69 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_edges()
83 invariant(ve.nodes_visited[i]); in verify_only_nodes_012_exist()
85 invariant(!ve.nodes_visited[i]); in verify_only_nodes_012_exist()
115 invariant(g.node_exists(0)); in test_add_cycle_exists()
116 invariant(g.node_exists(1)); in test_add_cycle_exists()
118 invariant(g.node_exists(0)); in test_add_cycle_exists()
119 invariant(g.node_exists(1)); in test_add_cycle_exists()
120 invariant(g.node_exists(2)); in test_add_cycle_exists()
[all …]
|
| /dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/storage/tokudb/PerconaFT/locktree/tests/ |
| H A D | wfg_test.cc | 60 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_nodes()
61 invariant(!ve->nodes_visited[txnid]); in visit_nodes()
69 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_edges()
83 invariant(ve.nodes_visited[i]); in verify_only_nodes_012_exist()
85 invariant(!ve.nodes_visited[i]); in verify_only_nodes_012_exist()
115 invariant(g.node_exists(0)); in test_add_cycle_exists()
116 invariant(g.node_exists(1)); in test_add_cycle_exists()
118 invariant(g.node_exists(0)); in test_add_cycle_exists()
119 invariant(g.node_exists(1)); in test_add_cycle_exists()
120 invariant(g.node_exists(2)); in test_add_cycle_exists()
[all …]
|
| /dports/databases/percona56-server/percona-server-5.6.51-91.0/storage/tokudb/PerconaFT/locktree/tests/ |
| H A D | wfg_test.cc | 60 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_nodes()
61 invariant(!ve->nodes_visited[txnid]); in visit_nodes()
69 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_edges()
83 invariant(ve.nodes_visited[i]); in verify_only_nodes_012_exist()
85 invariant(!ve.nodes_visited[i]); in verify_only_nodes_012_exist()
115 invariant(g.node_exists(0)); in test_add_cycle_exists()
116 invariant(g.node_exists(1)); in test_add_cycle_exists()
118 invariant(g.node_exists(0)); in test_add_cycle_exists()
119 invariant(g.node_exists(1)); in test_add_cycle_exists()
120 invariant(g.node_exists(2)); in test_add_cycle_exists()
[all …]
|
| /dports/databases/mariadb104-server/mariadb-10.4.24/storage/tokudb/PerconaFT/locktree/tests/ |
| H A D | wfg_test.cc | 60 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_nodes()
61 invariant(!ve->nodes_visited[txnid]); in visit_nodes()
69 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_edges()
83 invariant(ve.nodes_visited[i]); in verify_only_nodes_012_exist()
85 invariant(!ve.nodes_visited[i]); in verify_only_nodes_012_exist()
115 invariant(g.node_exists(0)); in test_add_cycle_exists()
116 invariant(g.node_exists(1)); in test_add_cycle_exists()
118 invariant(g.node_exists(0)); in test_add_cycle_exists()
119 invariant(g.node_exists(1)); in test_add_cycle_exists()
120 invariant(g.node_exists(2)); in test_add_cycle_exists()
[all …]
|
| /dports/databases/mariadb104-client/mariadb-10.4.24/storage/tokudb/PerconaFT/locktree/tests/ |
| H A D | wfg_test.cc | 60 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_nodes()
61 invariant(!ve->nodes_visited[txnid]); in visit_nodes()
69 invariant(txnid < WFG_TEST_MAX_TXNID); in visit_edges()
83 invariant(ve.nodes_visited[i]); in verify_only_nodes_012_exist()
85 invariant(!ve.nodes_visited[i]); in verify_only_nodes_012_exist()
115 invariant(g.node_exists(0)); in test_add_cycle_exists()
116 invariant(g.node_exists(1)); in test_add_cycle_exists()
118 invariant(g.node_exists(0)); in test_add_cycle_exists()
119 invariant(g.node_exists(1)); in test_add_cycle_exists()
120 invariant(g.node_exists(2)); in test_add_cycle_exists()
[all …]
|