Subject: Re: bug#78552: [PATCH] Add baseline pass/fail tests for `ert-test-erts-file'
From: Eli Zaretskii <[email-masked]>
To: Roi Martin <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Sat, 24 May 2025 13:09:30 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

> Cc: Christian Ohler <[email-masked]>
> From: Roi Martin <[email-masked]>
> Date: Thu, 22 May 2025 17:13:54 +0200
> 
> This patch adds tests to verify that the `ert-test-erts-file' function
> can detect both passing a failing test cases.  This provides a baseline
> to test other erts features like test specifications (e.g. `Skip' or
> `Code').  It complements the tests introduced in Bug#76839, which tested
> a bug fix for `Skip'.

Thanks, installed on the master branch, and closing the bug.