what4-1.5.1 testsuite failures in stackage lts 22

[juhp]

       Test suite failure for package what4-1.5.1                                                                                   
           abduct:  exited with: ExitFailure 1                                                                                      
           invariant-synthesis:  exited with: ExitFailure 1                                                                         
           template_tests:  exited with: ExitFailure 1

           Tests                                                                                                                    
             testing SAT query for abduction:      FAIL                                                                             
               Exception: user error (Could not find: cvc5)                                                                         
               Use -p '/testing SAT query for abduction/' to rerun this test only.                                                  
             getting 3 abducts using cvc5 offline: FAIL                                                                             
               Exception: cvc5: createProcess: posix_spawnp: does not exist (No such file or directory)                             
               Use -p '/getting 3 abducts using cvc5 offline/' to rerun this test only.
             getting 3 abducts using cvc5 online:  FAIL
               Exception: user error (Could not find: cvc5)
               Use -p '/getting 3 abducts using cvc5 online/' to rerun this test only.

           Tests
             int cvc5 test: FAIL
               Exception: user error (Could not find: cvc5)
               Use -p '/int cvc5 test/' to rerun this test only.
             int z3 test:   OK (0.09s)
             bv cvc5 test:  FAIL
               Exception: user error (Could not find: cvc5)
               Use -p '/bv cvc5 test/' to rerun this test only.

[juhp]

Ah maybe cvc5 should be installed?

[RyanGlScott]

Yes, that's correct.

[juhp]

Okay I will park such a change for nightly, probably not worth it for lts22.

Hope I caught all the failures: there is a lot of stack output