A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and code-execution time solutions.
-
Updated
Jul 24, 2025 - C
#
csmith
Here are 4 public repositories matching this topic...
create testfiles with csmith and check compiler results. With TAP output
c testing tap compiler script gcc fuzzing test-anything-protocol mit-license tcc tinycc csmith owcc openwatcom-v2
-
Updated
Jan 28, 2023 - Shell
Minimalistic generator of Standard ML programs.
-
Updated
Apr 15, 2026 - Kotlin
Add this topic to your repo
To associate your repository with the csmith topic, visit your repo's landing page and select "manage topics."