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)
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information