<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br id="lineBreakAtBeginningOfMessage"><div><br><blockquote type="cite"><div>On Nov 12, 2024, at 1:09 AM, Marco Antoniotti <marcoxa@gmail.com> wrote:</div><br class="Apple-interchange-newline"><div><p><defanged_div dir="auto">Hi</defanged_div></p><defanged_div><p><defanged_div dir="auto"><br></defanged_div></p><defanged_div><p><defanged_div dir="auto">Just a question about “test semantics “.</defanged_div></p><defanged_div><p><defanged_div dir="auto"><br></defanged_div></p><defanged_div><p><defanged_div dir="auto">Are all level 0 tests in a specification performed, or as soon as one succeeded the next ones are discarded?</defanged_div></p><defanged_div><p><defanged_div dir="auto"><br></defanged_div></p><defanged_div><p><defanged_div dir="auto">Cf., the “pdf” specification.</defanged_div></p></defanged_div></defanged_div></defanged_div></defanged_div></defanged_div></defanged_div></div></blockquote><br></div><div>I test is considered successful if it matches and it prints something. If it does not print something then the next level is checked until a level matches and it prints something. If something matches and it prints, then the rest of the magic entry is consulted until it is fully consumed at then processing stops (unless -k is specified).</div><div><br></div><div>christos</div><br></body></html>