Skip to content

spot.ltsmin.require('divine') should check the exit status

Currently it does

            if shutil.which("divine") == None:
                print("divine not available", file=sys.stderr)
                sys.exit(77)
            out = subprocess.check_output(['divine', 'compile', '--help'],
                                          stderr=subprocess.STDOUT)
            if b'LTSmin' not in out:
                print("divine available but no support for LTSmin",
                       file=sys.stderr)
                sys.exit(77)

However if divine compile --help terminates with a non-zero exit code (as in the current version of divine), this triggers an exception and that causes our tests to fail instead of being skipped.

Reported by @xlauko.