Solid Sands: SuperTest to improve quality of C language in Silexica’s SLX tool suite
Solid Sands announced that Silexica chose SuperTest to secure the quality of the C language in their tools. The task of compiling C code continues to be plagued with challenges and, for Silexica, this problem increases significantly as their tools instrument, analyze and transform source code with a goal to uncover parallelism. This process must be performed with the utmost care to ensure that the semantics of the C code is not changed. SuperTest provides an anchor to the semantics of the C and C++ languages.
Carefully constructed to verify the requirements of the language standard, SuperTest also contains many tests that not only deal with language semantics per se, but also with the analysis, transformation and code generation steps.