error: custom attribute panicked
help: message: `#[kani::should_panic]` does not take any arguments currently
error: aborting due to previous error