mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,400 Commits 2 Branches 0 Tags 1.4 GiB
a98a68b2cb
Commit Graph

2 Commits

Author SHA1 Message Date
Ralf Jung
58a17026c9 Let -Zmir-emit-validate also control whether miri even acts on the validation commands 2017-08-03 18:13:23 -07:00
Oliver Schneider
fb2d393427 update tests 2017-02-09 10:59:42 +01:00