Skip to content

Commit

Permalink
Update toolchain to nightly-2023-09-05
Browse files Browse the repository at this point in the history
  • Loading branch information
adpaco-aws committed Sep 5, 2023
1 parent 1a4bd9d commit 96a3773
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 7 deletions.
12 changes: 6 additions & 6 deletions cprover_bindings/src/irep/to_irep.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion rust-toolchain.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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"]

0 comments on commit 96a3773

Please sign in to comment.