Getting unclear error: ERROR solver_output.error='' (solver_output.returncode=-4)

[Heavens01]

I installed halmos ad ran a test and then git this output in terminal. Note: i both tried with a venv virtual environment and pipx install halmos, both served up the same issue.

This is the error i'm battling with actually:

Running 1 tests for test/invariant-break/formal-verification/HalmosTest.t.sol:HalmosTest
ERROR    solver_output.error='' (solver_output.returncode=-4)                         ERROR    solver_output.error='' (solver_output.returncode=-4)                         ERROR    solver_output.error='' (solver_output.returncode=-4)                         ERROR    solver_output.error='' (solver_output.returncode=-4)                         ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)
ERROR    solver_output.error='' (solver_output.returncode=-4)                         ERROR    solver_output.error='' (solver_output.returncode=-4)                         [ERROR] check_hellFunc_doesnt_revert_halmos(uint128) (paths: 30, time: 0.87s, bounds: [])
Error queries saved in: /tmp/check_hellFunc_doesnt_revert_halmos-qormnucq-error
Symbolic test result: 0 passed; 1 failed; time: 0.90s
(halmos_environment) root@DESKTOP-OOBDGDE:~/just_test/sc-exploits-minimized#