Command-line flag to change model target or environment #2402
Labels
[C] Feature / Enhancement
A new feature request or enhancement to an existing feature.
T-User
Tag user issues / requests
Requested feature: Command-line flag to change model target or environment
Use case: Proving certain errors don't happen on non-host targets
I have code that does some operations done that I believe could overflow, but only with a 16-bit usize. I wish to support this case, and use kani to check whether it does occur, and when I expect it to. The
cover
ed condition is reported UNREACHABLE on my 64-bit host, as expected.Link to relevant documentation (Rust reference, Nomicon, RFC):
msp430-none-elf
The text was updated successfully, but these errors were encountered: