user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #422 from RalfJung/default-run

Browse source 
Revert "Disable blood letting edge features"
This commit is contained in:
Ralf Jung 2018-08-02 20:11:03 +02:00 • committed by GitHub
commit b784c81e8e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Cargo.toml
View file

@ -1,3 +1,5 @@
cargo-features = ["default-run"]
[package]
authors = ["Scott Olson <scott@solson.me>"]
description = "An experimental interpreter for Rust MIR."
@ -6,6 +8,7 @@ name = "miri"
repository = "https://github.com/solson/miri"
version = "0.1.0"
build = "build.rs"
default-run = "miri"
[[bin]]
doc = false