| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | mpff.cpp | 213 ENSURE(fm.is_uint64(a)); in tst_set64()
216 ENSURE(fm.is_uint64(a)); in tst_set64()
220 ENSURE(fm.is_uint64(a)); in tst_set64()
223 ENSURE(fm.is_uint64(a)); in tst_set64()
227 ENSURE(!fm.is_uint64(a)); in tst_set64()
230 ENSURE(!fm.is_uint64(a)); in tst_set64()
234 ENSURE(!fm.is_uint64(a)); in tst_set64()
237 ENSURE(!fm.is_uint64(a)); in tst_set64()
240 ENSURE(fm.is_uint64(a)); in tst_set64()
246 ENSURE(fm.is_uint64(a)); in tst_set64()
[all …]
|
| H A D | rational.cpp | 185 ENSURE(int64_max.is_uint64()); in tst2()
186 ENSURE(!int64_min.is_uint64()); in tst2()
187 ENSURE(rational(0).is_uint64()); in tst2()
188 ENSURE(rational(1).is_uint64()); in tst2()
189 ENSURE(!rational(-1).is_uint64()); in tst2()
190 ENSURE((int64_max + rational(1)).is_uint64()); in tst2()
191 ENSURE(!(int64_min - rational(1)).is_uint64()); in tst2()
194 ENSURE(uint64_max.is_uint64()); in tst2()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | mpff.cpp | 213 ENSURE(fm.is_uint64(a)); in tst_set64()
216 ENSURE(fm.is_uint64(a)); in tst_set64()
220 ENSURE(fm.is_uint64(a)); in tst_set64()
223 ENSURE(fm.is_uint64(a)); in tst_set64()
227 ENSURE(!fm.is_uint64(a)); in tst_set64()
230 ENSURE(!fm.is_uint64(a)); in tst_set64()
234 ENSURE(!fm.is_uint64(a)); in tst_set64()
237 ENSURE(!fm.is_uint64(a)); in tst_set64()
240 ENSURE(fm.is_uint64(a)); in tst_set64()
246 ENSURE(fm.is_uint64(a)); in tst_set64()
[all …]
|
| H A D | rational.cpp | 185 ENSURE(int64_max.is_uint64()); in tst2()
186 ENSURE(!int64_min.is_uint64()); in tst2()
187 ENSURE(rational(0).is_uint64()); in tst2()
188 ENSURE(rational(1).is_uint64()); in tst2()
189 ENSURE(!rational(-1).is_uint64()); in tst2()
190 ENSURE((int64_max + rational(1)).is_uint64()); in tst2()
191 ENSURE(!(int64_min - rational(1)).is_uint64()); in tst2()
194 ENSURE(uint64_max.is_uint64()); in tst2()
|
| /dports/devel/hyperscan/boost_1_75_0/libs/json/test/ |
| H A D | value.cpp | 119 BOOST_TEST(jv2.is_uint64()); in testSpecial()
173 BOOST_TEST(jv2.is_uint64()); in testSpecial()
221 BOOST_TEST(jv2.is_uint64()); in testSpecial()
269 BOOST_TEST(jv2.is_uint64()); in testSpecial()
313 BOOST_TEST(jv2.is_uint64()); in testSpecial()
448 BOOST_TEST(jv.is_uint64()); in testConversion()
453 BOOST_TEST(jv.is_uint64()); in testConversion()
1090 BOOST_TEST(! obj.is_uint64()); in testObservers()
1091 BOOST_TEST(! arr.is_uint64()); in testObservers()
1092 BOOST_TEST(! str.is_uint64()); in testObservers()
[all …]
|
| /dports/devel/notcurses/notcurses-3.0.1/include/ncpp/ |
| H A D | Plot.hh | 19 static constexpr bool is_uint64 = std::is_same_v<TCoord,uint64_t>; member in ncpp::PlotBase
64 …static_assert (is_double || is_uint64, "PlotBase must be parameterized with either 'double' or 'ui… in PlotBase()
79 if constexpr (is_uint64) { in PlotBase()
|
| /dports/devel/simdjson/simdjson-0.9.6/include/simdjson/dom/ |
| H A D | element-inl.h | 90 simdjson_really_inline bool simdjson_result<dom::element>::is_uint64() const noexcept { in is_uint64() function
91 return !error() && first.is_uint64(); in is_uint64()
228 if(simdjson_unlikely(!tape.is_uint64())) { // branch rarely taken in get_uint64()
242 if(tape.is_uint64()) { in get_int64()
265 if(tape.is_uint64()) { in get_double()
326 inline bool element::is_uint64() const noexcept { return is<uint64_t>(); } in is_uint64() function
329 inline bool element::is_number() const noexcept { return is_int64() || is_uint64() || is_double(); } in is_number()
|
| /dports/databases/redisdesktopmanager/RedisDesktopManager-2021.8/3rdparty/simdjson/include/simdjson/dom/ |
| H A D | element-inl.h | 90 simdjson_really_inline bool simdjson_result<dom::element>::is_uint64() const noexcept { in is_uint64() function
91 return !error() && first.is_uint64(); in is_uint64()
228 if(simdjson_unlikely(!tape.is_uint64())) { // branch rarely taken in get_uint64()
242 if(tape.is_uint64()) { in get_int64()
265 if(tape.is_uint64()) { in get_double()
326 inline bool element::is_uint64() const noexcept { return is<uint64_t>(); } in is_uint64() function
329 inline bool element::is_number() const noexcept { return is_int64() || is_uint64() || is_double(); } in is_number()
|
| /dports/games/0ad/0ad-0.0.23b-alpha/source/third_party/jsonspirit/ |
| H A D | json_spirit_value.h | 75 bool is_uint64() const;
362 if( is_uint64() ) in type()
371 bool Value_impl< Config >::is_uint64() const in is_uint64() function
440 if( is_uint64() ) in get_int64()
453 if( !is_uint64() ) in get_uint64()
466 return is_uint64() ? static_cast< double >( get_uint64() ) in get_real()
|
| /dports/security/vault/vault-1.8.2/vendor/github.com/apple/foundationdb/fdbclient/json_spirit/ |
| H A D | json_spirit_value.h | 75 bool is_uint64() const;
362 if( is_uint64() ) in type()
371 bool Value_impl< Config >::is_uint64() const in is_uint64() function
440 if( is_uint64() ) in get_int64()
453 if( !is_uint64() ) in get_uint64()
466 return is_uint64() ? static_cast< double >( get_uint64() ) in get_real()
|
| /dports/net-mgmt/zabbix3-proxy/zabbix-3.0.32/src/zabbix_server/trapper/ |
| H A D | nodecommand.c | 96 FAIL == is_uint64(tmp, &scriptid)) in node_process_command()
103 FAIL == is_uint64(tmp, &hostid)) in node_process_command()
|
| /dports/net-mgmt/zabbix3-java/zabbix-3.0.32/src/zabbix_server/trapper/ |
| H A D | nodecommand.c | 96 FAIL == is_uint64(tmp, &scriptid)) in node_process_command()
103 FAIL == is_uint64(tmp, &hostid)) in node_process_command()
|
| /dports/net-mgmt/zabbix3-server/zabbix-3.0.32/src/zabbix_server/trapper/ |
| H A D | nodecommand.c | 96 FAIL == is_uint64(tmp, &scriptid)) in node_process_command()
103 FAIL == is_uint64(tmp, &hostid)) in node_process_command()
|
| /dports/net-mgmt/zabbix3-agent/zabbix-3.0.32/src/zabbix_server/trapper/ |
| H A D | nodecommand.c | 96 FAIL == is_uint64(tmp, &scriptid)) in node_process_command()
103 FAIL == is_uint64(tmp, &hostid)) in node_process_command()
|
| /dports/net-mgmt/zabbix3-frontend/zabbix-3.0.32/src/zabbix_server/trapper/ |
| H A D | nodecommand.c | 96 FAIL == is_uint64(tmp, &scriptid)) in node_process_command()
103 FAIL == is_uint64(tmp, &hostid)) in node_process_command()
|
| /dports/devel/py-PeachPy/PeachPy-01d1515/peachpy/formats/elf/ |
| H A D | section.py | 105 from peachpy.util import is_uint64, is_uint32
109 assert offset is None or is_uint64(offset)
110 assert address is None or is_uint64(address)
112 assert info is None or is_uint64(info)
113 assert is_uint64(content_size)
|
| /dports/devel/cpprestsdk/cpprestsdk-2.10.16/Release/tests/functional/json/ |
| H A D | json_numbers_tests.cpp | 67 VERIFY_ARE_EQUAL(number >= 0, num.as_number().is_uint64()); in SUITE()
107 VERIFY_IS_TRUE(num.as_number().is_uint64()); in SUITE()
155 … 0 || number > ULLONG_MAX || number != floor(number)) VERIFY_IS_FALSE(num.as_number().is_uint64()); in SUITE()
238 VERIFY_IS_TRUE(num.as_number().is_uint64()); in SUITE()
|
| /dports/net-mgmt/zabbix5-java/zabbix-5.0.19/src/zabbix_agent/logfiles/ |
| H A D | persistent_state.c | 836 if (SUCCEED == is_uint64(tmp, &dev)) in zbx_restore_file_details()
842 if (SUCCEED == is_uint64(tmp, &ino_lo)) in zbx_restore_file_details()
848 if (SUCCEED == is_uint64(tmp, &ino_hi)) in zbx_restore_file_details()
854 if (SUCCEED == is_uint64(tmp, &size)) in zbx_restore_file_details()
860 if (SUCCEED == is_uint64(tmp, &processed_size_tmp)) in zbx_restore_file_details()
881 if (SUCCEED == is_uint64(tmp, &last_block_offset)) in zbx_restore_file_details()
|
| /dports/net-mgmt/zabbix5-frontend/zabbix-5.0.19/src/zabbix_agent/logfiles/ |
| H A D | persistent_state.c | 836 if (SUCCEED == is_uint64(tmp, &dev)) in zbx_restore_file_details()
842 if (SUCCEED == is_uint64(tmp, &ino_lo)) in zbx_restore_file_details()
848 if (SUCCEED == is_uint64(tmp, &ino_hi)) in zbx_restore_file_details()
854 if (SUCCEED == is_uint64(tmp, &size)) in zbx_restore_file_details()
860 if (SUCCEED == is_uint64(tmp, &processed_size_tmp)) in zbx_restore_file_details()
881 if (SUCCEED == is_uint64(tmp, &last_block_offset)) in zbx_restore_file_details()
|
| /dports/net-mgmt/zabbix5-proxy/zabbix-5.0.19/src/zabbix_agent/logfiles/ |
| H A D | persistent_state.c | 836 if (SUCCEED == is_uint64(tmp, &dev)) in zbx_restore_file_details()
842 if (SUCCEED == is_uint64(tmp, &ino_lo)) in zbx_restore_file_details()
848 if (SUCCEED == is_uint64(tmp, &ino_hi)) in zbx_restore_file_details()
854 if (SUCCEED == is_uint64(tmp, &size)) in zbx_restore_file_details()
860 if (SUCCEED == is_uint64(tmp, &processed_size_tmp)) in zbx_restore_file_details()
881 if (SUCCEED == is_uint64(tmp, &last_block_offset)) in zbx_restore_file_details()
|
| /dports/net-mgmt/zabbix54-server/zabbix-5.4.9/src/zabbix_agent/logfiles/ |
| H A D | persistent_state.c | 836 if (SUCCEED == is_uint64(tmp, &dev))
842 if (SUCCEED == is_uint64(tmp, &ino_lo))
848 if (SUCCEED == is_uint64(tmp, &ino_hi))
854 if (SUCCEED == is_uint64(tmp, &size))
860 if (SUCCEED == is_uint64(tmp, &processed_size_tmp))
881 if (SUCCEED == is_uint64(tmp, &last_block_offset))
|
| /dports/net-mgmt/zabbix54-agent/zabbix-5.4.9/src/zabbix_agent/logfiles/ |
| H A D | persistent_state.c | 836 if (SUCCEED == is_uint64(tmp, &dev)) in zbx_restore_file_details()
842 if (SUCCEED == is_uint64(tmp, &ino_lo)) in zbx_restore_file_details()
848 if (SUCCEED == is_uint64(tmp, &ino_hi)) in zbx_restore_file_details()
854 if (SUCCEED == is_uint64(tmp, &size)) in zbx_restore_file_details()
860 if (SUCCEED == is_uint64(tmp, &processed_size_tmp)) in zbx_restore_file_details()
881 if (SUCCEED == is_uint64(tmp, &last_block_offset)) in zbx_restore_file_details()
|
| /dports/net-mgmt/zabbix5-server/zabbix-5.0.19/src/zabbix_agent/logfiles/ |
| H A D | persistent_state.c | 836 if (SUCCEED == is_uint64(tmp, &dev)) in zbx_restore_file_details()
842 if (SUCCEED == is_uint64(tmp, &ino_lo)) in zbx_restore_file_details()
848 if (SUCCEED == is_uint64(tmp, &ino_hi)) in zbx_restore_file_details()
854 if (SUCCEED == is_uint64(tmp, &size)) in zbx_restore_file_details()
860 if (SUCCEED == is_uint64(tmp, &processed_size_tmp)) in zbx_restore_file_details()
881 if (SUCCEED == is_uint64(tmp, &last_block_offset)) in zbx_restore_file_details()
|
| /dports/net-mgmt/zabbix54-proxy/zabbix-5.4.9/src/zabbix_agent/logfiles/ |
| H A D | persistent_state.c | 836 if (SUCCEED == is_uint64(tmp, &dev)) in zbx_restore_file_details()
842 if (SUCCEED == is_uint64(tmp, &ino_lo)) in zbx_restore_file_details()
848 if (SUCCEED == is_uint64(tmp, &ino_hi)) in zbx_restore_file_details()
854 if (SUCCEED == is_uint64(tmp, &size)) in zbx_restore_file_details()
860 if (SUCCEED == is_uint64(tmp, &processed_size_tmp)) in zbx_restore_file_details()
881 if (SUCCEED == is_uint64(tmp, &last_block_offset)) in zbx_restore_file_details()
|
| /dports/net-mgmt/zabbix5-agent/zabbix-5.0.19/src/zabbix_agent/logfiles/ |
| H A D | persistent_state.c | 836 if (SUCCEED == is_uint64(tmp, &dev)) in zbx_restore_file_details()
842 if (SUCCEED == is_uint64(tmp, &ino_lo)) in zbx_restore_file_details()
848 if (SUCCEED == is_uint64(tmp, &ino_hi)) in zbx_restore_file_details()
854 if (SUCCEED == is_uint64(tmp, &size)) in zbx_restore_file_details()
860 if (SUCCEED == is_uint64(tmp, &processed_size_tmp)) in zbx_restore_file_details()
881 if (SUCCEED == is_uint64(tmp, &last_block_offset)) in zbx_restore_file_details()
|