rust-toolchain « betree « src « tests - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/tests/src/betree/rust-toolchain

blob: 9460b1a822f68275be1fbc7429f8d1f5e56fbeda (plain)

1
2
3

[toolchain]
channel = "nightly-2023-06-02"
components = [ "rustc-dev", "llvm-tools-preview" ]