Commit Graph

7 Commits

Author SHA1 Message Date
Ellen Arteca
88a7882615 C FFI support for functions with int args and returns 2022-08-26 00:53:23 +00:00
Ralf Jung
0790f75ae4 make cargo-miri a separate crate in a workspace 2020-05-28 08:53:44 +02:00
Ralf Jung
a5eaa5703c test suite: rely on CARGO_BIN_EXE_ env vars to find Miri binary 2020-04-23 19:20:09 +02:00
Ralf Jung
5f2c74e022 update to vergen 3 2018-10-09 20:17:54 +02:00
Ralf Jung
f925e5dafd cargo miri: show version number 2018-09-16 15:18:18 +02:00
Oliver Schneider
4ce60abd84 Update build.rs 2017-08-09 18:05:34 +02:00
Ralf Jung
de1376f923 Add a build script to inform the binary about its profile, and use that in the test suite 2017-08-03 11:38:00 -07:00