[blog] add post about SuperTest collaboration

_posts/2022-11-16-supertest-solidsands.md

 ---
 layout: post
 author: Frama-C Team & Solid Sands
-date: 2022-11-16 12:00 +0100
+date: 2022-11-16 14:00 +0100
 categories: collaboration undefined-behavior
 title: "SuperTest and Frama-C: a Clash of Titans"
 ---
 
+*This post has been co-written with [Solid Sands](https://solidsands.com/);
+it is also available at the
+[Solid Sands blog](https://solidsands.com/supertest-and-frama-c-a-clash-of-titans).*
+
 Some time ago, the Frama-C team entered into a partner agreement with
 [Solid Sands](https://solidsands.com/) to make use of
 [SuperTest](https://solidsands.com/products/supertest), a very thorough test