generated from amazon-archives/__template_Apache-2.0
-
Notifications
You must be signed in to change notification settings - Fork 134
Open
Labels
[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.
Description
cargo run -p compiletest -- --help
with Kani version: e31d133
I expected to see this happen: Just the help output
Instead, this happened: The help output followed by a panic:
$ cargo run -p compiletest -- --help
Finished dev [unoptimized + debuginfo] target(s) in 0.03s
Running `target/debug/compiletest --help`
Usage: target/debug/compiletest [OPTIONS] [TESTNAME...]
Options:
--compile-lib-path PATH
path to host shared libraries
--run-lib-path PATH
path to target shared libraries
--rustc-path PATH
path to rustc to use for compiling
<snip>
--force-rerun rerun tests even if the inputs are unchanged
-h, --help show this message
--edition EDITION
default Rust edition
thread 'main' panicked at 'explicit panic', tools/compiletest/src/main.rs:158:9
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
Metadata
Metadata
Assignees
Labels
[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.