error: invalid argument for `#[kani::solver]` attribute, expected one of the supported solvers (e.g. `kissat`) or a SAT solver binary (e.g. `bin="<SAT_SOLVER_BINARY>"`)\
test.rs:\
|\
| #[kani::solver(123)]\
| ^^^^^^^^^^^^^^^^^^^^
error: aborting due to previous error