We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
git clone git checkout 2080Ti BELLMAN_VERIFIER=gpu BELLMAN_CUSTOM_GPU="GeForce RTX 2080 Ti:4352" BELLMAN_CPU_UTILIZATION=0 CUDA_VISIBLE_DEVICES=0 RUST_LOG=trace cargo test --features gpu -- --exact multiexp::gpu_multiexp_consistency --nocapture
warning: unused import: `std::time::Instant` --> src/gpu/multiexp.rs:14:5 | 14 | use std::time::Instant; | ^^^^^^^^^^^^^^^^^^ | = note: `#[warn(unused_imports)]` on by default warning: unused import: `std::time::Instant` --> src/gpu/multiexp.rs:14:5 | 14 | use std::time::Instant; | ^^^^^^^^^^^^^^^^^^ | = note: `#[warn(unused_imports)]` on by default warning: 1 warning emitted warning: 1 warning emitted Finished test [unoptimized + debuginfo] target(s) in 0.08s Running target/debug/deps/bellperson-c7fae5472aad3398 running 1 test [2021-02-03T09:43:33Z INFO bellperson::gpu::utils] Device: Device { brand: Nvidia, name: "GeForce RTX 2080 Ti", memory: 11554717696, bus_id: 139, platform: Platform(PlatformId(0x7f850c025d70)), device: Device(DeviceId(0x7f850c032050)) } Testing Multiexp for 1024 elements... [2021-02-03T09:43:40Z INFO bellperson::gpu::locks] GPU is available for Multiexp! [2021-02-03T09:43:40Z DEBUG bellperson::gpu::locks] Acquiring GPU lock... [2021-02-03T09:43:40Z DEBUG bellperson::gpu::locks] GPU lock acquired! [2021-02-03T09:43:40Z INFO bellperson::gpu::utils] Adding "GeForce RTX 2080 Ti" to GPU list with 4352 CUDA cores. thread 'multiexp::gpu_multiexp_consistency' panicked at 'attempt to subtract with overflow', src/gpu/multiexp.rs:95:5 stack backtrace: 0: 0x5630cbfefd45 - backtrace::backtrace::libunwind::trace::h14d338b30b3ea0a7 at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 1: 0x5630cbfefd45 - backtrace::backtrace::trace_unsynchronized::h73ea91d74a3fd67f at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 2: 0x5630cbfefd45 - std::sys_common::backtrace::_print_fmt::hd42948c952866e12 at src/libstd/sys_common/backtrace.rs:78 3: 0x5630cbfefd45 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::ha8f928866ff7571e at src/libstd/sys_common/backtrace.rs:59 4: 0x5630cc019c5c - core::fmt::write::he0c1e5f7426d2718 at src/libcore/fmt/mod.rs:1076 5: 0x5630cbfec012 - std::io::Write::write_fmt::hf3afc6cfd57d0033 at src/libstd/io/mod.rs:1537 6: 0x5630cbff24b0 - std::sys_common::backtrace::_print::hfc0110703f3696fd at src/libstd/sys_common/backtrace.rs:62 7: 0x5630cbff24b0 - std::sys_common::backtrace::print::h3f77c6990ddfaa22 at src/libstd/sys_common/backtrace.rs:49 8: 0x5630cbff24b0 - std::panicking::default_hook::{{closure}}::heae49580a8d62d75 at src/libstd/panicking.rs:198 9: 0x5630cbff21fc - std::panicking::default_hook::hecc34e3f729e213c at src/libstd/panicking.rs:217 10: 0x5630cbff2af3 - std::panicking::rust_panic_with_hook::he82f5d0644692441 at src/libstd/panicking.rs:526 11: 0x5630cbff26eb - rust_begin_unwind at src/libstd/panicking.rs:437 12: 0x5630cc017bc1 - core::panicking::panic_fmt::h09c929f06bb87c98 at src/libcore/panicking.rs:85 13: 0x5630cc017b0d - core::panicking::panic::h7ece43057e5422d4 at src/libcore/panicking.rs:50 14: 0x5630cb97c11a - bellperson::gpu::multiexp::calc_chunk_size::hb8f64b88ca686bf8 at src/gpu/multiexp.rs:95 15: 0x5630cb97c632 - bellperson::gpu::multiexp::SingleMultiexpKernel<E>::create::h2977a7ca19f6e7ab at src/gpu/multiexp.rs:114 16: 0x5630cb9831af - bellperson::gpu::multiexp::MultiexpKernel<E>::create::{{closure}}::h76dedb353ddec8e1 at src/gpu/multiexp.rs:244 17: 0x5630cb882522 - core::iter::adapters::map_try_fold::{{closure}}::hd5753d2a861eaa39 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/adapters/mod.rs:840 18: 0x5630cb613481 - core::iter::traits::iterator::Iterator::try_fold::h803d94d9403c82a2 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/traits/iterator.rs:1889 19: 0x5630cb8a3484 - <core::iter::adapters::Map<I,F> as core::iter::traits::iterator::Iterator>::try_fold::hdd1c383149ffd088 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/adapters/mod.rs:866 20: 0x5630cb87a758 - core::iter::traits::iterator::Iterator::find_map::h8eece059959af16d at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/traits/iterator.rs:2264 21: 0x5630cb864135 - <core::iter::adapters::FilterMap<I,F> as core::iter::traits::iterator::Iterator>::next::hf88fb15d7d13d56f at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/adapters/mod.rs:1132 22: 0x5630cb65852e - <alloc::vec::Vec<T> as alloc::vec::SpecExtend<T,I>>::from_iter::hf55def40768cf2f5 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/liballoc/vec.rs:2093 23: 0x5630cb665347 - <alloc::vec::Vec<T> as core::iter::traits::collect::FromIterator<T>>::from_iter::h10e5a1bfcdedb730 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/liballoc/vec.rs:1995 24: 0x5630cb87914a - core::iter::traits::iterator::Iterator::collect::h7c4fa02120544595 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/traits/iterator.rs:1671 25: 0x5630cb981cf4 - bellperson::gpu::multiexp::MultiexpKernel<E>::create::h6c23d493f360f308 at src/gpu/multiexp.rs:242 26: 0x5630cb54c910 - bellperson::multiexp::create_multiexp_kernel::hfd943f129225c659 at src/multiexp.rs:478 27: 0x5630cb912799 - bellperson::gpu::locks::LockedMultiexpKernel<E>::init::h6850c33c191b55d4 at src/gpu/locks.rs:102 28: 0x5630cb913048 - bellperson::gpu::locks::LockedMultiexpKernel<E>::with::h175adb60ef679ecf at src/gpu/locks.rs:123 29: 0x5630cb546f15 - bellperson::multiexp::multiexp::h21e9e52f6079f8f2 at src/multiexp.rs:327 30: 0x5630cb5ca2cb - bellperson::multiexp::gpu_multiexp_consistency::h45ef679fd6884f8b at src/multiexp.rs:526 31: 0x5630cb54d2ba - bellperson::multiexp::gpu_multiexp_consistency::{{closure}}::h9f3da87cb803c9ad at src/multiexp.rs:492 32: 0x5630cb553aee - core::ops::function::FnOnce::call_once::hc4703ce24ef35065 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/ops/function.rs:233 33: 0x5630cbd2441c - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h6633cb15d0d76942 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/liballoc/boxed.rs:1081 34: 0x5630cbd2441c - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h1e20120def172c5c at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panic.rs:318 35: 0x5630cbd2441c - std::panicking::try::do_call::hcc2ec3bbb75e9316 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panicking.rs:348 36: 0x5630cbd2441c - std::panicking::try::h94eaebaaa7dd6f41 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panicking.rs:325 37: 0x5630cbd2441c - std::panic::catch_unwind::h151c07c08497cf8b at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panic.rs:394 38: 0x5630cbd2441c - test::run_test_in_process::hd082de93b1922c89 at src/libtest/lib.rs:541 39: 0x5630cbd2441c - test::run_test::run_test_inner::{{closure}}::h22369c9424e5ab3a at src/libtest/lib.rs:450 40: 0x5630cbcfc396 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0660a89f67243e05 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/sys_common/backtrace.rs:130 41: 0x5630cbd01445 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h8bb2049509aa1add at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/thread/mod.rs:475 42: 0x5630cbd01445 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb49f3484cb9c3dd3 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panic.rs:318 43: 0x5630cbd01445 - std::panicking::try::do_call::ha910a12d1577339b at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panicking.rs:348 44: 0x5630cbd01445 - std::panicking::try::hd8b3d620360e55fa at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panicking.rs:325 45: 0x5630cbd01445 - std::panic::catch_unwind::h475454730ea43154 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panic.rs:394 46: 0x5630cbd01445 - std::thread::Builder::spawn_unchecked::{{closure}}::h2407d9379d805151 at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/thread/mod.rs:474 47: 0x5630cbd01445 - core::ops::function::FnOnce::call_once{{vtable.shim}}::haef9f772dfab225e at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/ops/function.rs:233 48: 0x5630cbff8f6a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::hd2b3bc04af94a84f at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/liballoc/boxed.rs:1081 49: 0x5630cbff8f6a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h1044417e186e567a at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/liballoc/boxed.rs:1081 50: 0x5630cbff8f6a - std::sys::unix::thread::Thread::new::thread_start::h276e6ca033938925 at src/libstd/sys/unix/thread.rs:87 51: 0x7f8514374609 - start_thread 52: 0x7f8514280293 - __clone 53: 0x0 - <unknown> [2021-02-03T09:43:40Z DEBUG bellperson::gpu::locks] GPU lock released! test multiexp::gpu_multiexp_consistency ... FAILED failures: failures: multiexp::gpu_multiexp_consistency test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 68 filtered out error: test failed, to rerun pass '--lib'
The text was updated successfully, but these errors were encountered:
No branches or pull requests
git clone
git checkout 2080Ti
BELLMAN_VERIFIER=gpu BELLMAN_CUSTOM_GPU="GeForce RTX 2080 Ti:4352" BELLMAN_CPU_UTILIZATION=0 CUDA_VISIBLE_DEVICES=0 RUST_LOG=trace cargo test --features gpu -- --exact multiexp::gpu_multiexp_consistency --nocapture
The text was updated successfully, but these errors were encountered: