# An explicitly configured missing Bash server fails verification instead of disappearing from coverage.
! exec semedit verify --file scripts/check.sh --bash-bin missing-bash-language-server --trust-workspace
stdout '"status":"failed"'
stdout 'executable file not found'

-- scripts/check.sh --
#!/bin/sh
printf 'ready\n'