[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 14:00 +0100
+author: A. Maroneze (Frama-C), V. Yaglamunov & M. Beemster (Solid Sands)
+date: 2022-11-16 17:00 +0100
 categories: collaboration undefined-behavior
 title: "SuperTest and Frama-C: a Clash of Titans"
 ---
@@ -37,7 +37,7 @@ It has never seen any implementation that is free of error.
 That is not to say that there are no good implementations. It is just
 that in the corners of the C language there are things that you can easily
 trip over. Another difficult issue to get right is the precision of
-diagnostics. Some errors in Frama-C were to be expected.
+diagnostics. Thus, some errors in Frama-C were to be expected as well.
 
 From Frama-C's previous experience with test suites and benchmarks, at least
 _some_ semantic bugs in SuperTest were to be expected: given a sufficiently