Skip to content
Snippets Groups Projects
Select Git revision
  • 22eea5163c51cb5bf65386248444858c2744c504
  • master default protected
  • rust
  • extract-fix-master
  • extract-fix
  • extract-fix-1.0.0
6 results

why3session.xml

Blame
  • Cargo.toml 339 B
    [package]
    name = "runner"
    version = "0.1.0"
    authors = ["Per Lindgren <per.lindgren@ltu.se>"]
    edition = "2018"
    
    # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
    
    [dependencies]
    probe-rs = { path = "../../probe-rs/probe-rs", version = "0.3.0" }
    ktest = { path = "../ktest", version = "0.1.0" }