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
Sep 6, 2024 - C
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.
create testfiles with csmith and check compiler results. With TAP output
Add a description, image, and links to the csmith topic page so that developers can more easily learn about it.
To associate your repository with the csmith topic, visit your repo's landing page and select "manage topics."