GitHub repository: karineek/CsmithEdge
Primary language: C
Description: 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.