From 0ec046ccd6b7be2996acff52ec8fce9f057469ee Mon Sep 17 00:00:00 2001 From: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com> Date: Tue, 5 Sep 2023 17:12:04 -0400 Subject: [PATCH] Update toolchain to `nightly-2023-09-05` (#2734) --- cprover_bindings/src/irep/to_irep.rs | 12 ++++++------ rust-toolchain.toml | 2 +- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/cprover_bindings/src/irep/to_irep.rs b/cprover_bindings/src/irep/to_irep.rs index 904221a0a85a..41c501896cd1 100644 --- a/cprover_bindings/src/irep/to_irep.rs +++ b/cprover_bindings/src/irep/to_irep.rs @@ -509,16 +509,16 @@ impl goto_program::Symbol { SymbolValues::None => Irep::nil(), }, location: self.location.to_irep(mm), - /// Unique identifier, same as key in symbol table `foo::x` + // Unique identifier, same as key in symbol table `foo::x` name: self.name, - /// Only used by verilog + // Only used by verilog module: self.module.unwrap_or("".into()), - /// Local identifier `x` + // Local identifier `x` base_name: self.base_name.unwrap_or("".into()), - /// Almost always the same as base_name, but with name mangling can be relevant + // Almost always the same as `base_name`, but with name mangling can be relevant pretty_name: self.pretty_name.unwrap_or("".into()), - /// Currently set to C. Consider creating a "rust" mode and using it in cbmc - /// https://github.com/model-checking/kani/issues/1 + // Currently set to C. Consider creating a "rust" mode and using it in cbmc + // https://github.com/model-checking/kani/issues/1 mode: self.mode.to_string().into(), // global properties diff --git a/rust-toolchain.toml b/rust-toolchain.toml index baf276b7656b..020d7e01cce1 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -2,5 +2,5 @@ # SPDX-License-Identifier: Apache-2.0 OR MIT [toolchain] -channel = "nightly-2023-09-02" +channel = "nightly-2023-09-05" components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]