From: Seyi Chamber <kuforiji98@gmail.com>
Date: Sat, 11 Jan 2025 08:30:14 GMT
Subject: Re: [Outreachy] Blog: Introducing myself as an intern working to convert unit test to use clar
Message-ID: <CAGedMteK9=wYwCoPMGZ5t+FN_ZHOcSGxDenq8fkVM64oGpc4sQ@mail.gmail.com>
In-Reply-To: <CAGedMtd0-m54075w97Z4pQ0wqAjgPRA8+HX5iar0POyuC6-GCA@mail.gmail.com>

Hello everyone, I published a new blog post on my experience
converting the t-hash.c test script to use clar. I would love for you
to check it out and share your thoughts!  Find the link here:
https://seyi-kuforiji-902b48.gitlab.io/posts/first-round-of-unit-tests-conversions-to-clar