Skip to content

compiletest --help panics #1219

@zhassan-aws

Description

@zhassan-aws
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

No one assigned

    Labels

    [C] BugThis is a bug. Something isn't working.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions