<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
</head>
<body>
<div style="font-family:sans-serif"><div style="white-space:normal">
<p dir="auto">The latest tweak was followed by a Jenkins (linux) test failure for clisp on <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">test-encodings.script</code>, with a segmentation fault.</p>

<p dir="auto">I cannot reliably replicate this, and I don't see any reason to assume that this is ASDF's fault, rather than clisp's.</p>

<p dir="auto">I'm not sure that there is anything I can do about this, but thought I would ask for suggestions:</p>

<pre style="background-color:#F7F7F7; border-radius:5px 5px 5px 5px; margin-left:15px; margin-right:15px; max-width:90vw; overflow-x:auto; padding:5px" bgcolor="#F7F7F7"><code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0" bgcolor="#F7F7F7">Test TEST-FILE-ENCODING-U8: should be UTF-8
; Registering system test-file-encoding-u8

*** - handle_fault error2 ! address = 0x55f6cc8871d0 not in [0x55db332bd000,0x55db336926d8) !
SIGSEGV cannot be cured. Fault address = 0x55f6cc8871d0.
GC count: 203
Space collected by GC: 304757408
Run time: 3 915662
Real time: 4 586182
GC time: 0 693431
Permanently allocated: 165368 bytes.
Currently in use: 8753400 bytes.
Free space: 1903262 bytes.
Segmentation fault (core dumped)
Using clisp, test-encodings.script failed
</code></pre>
</div>
</div>
</body>
</html>