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
