csmith-project/creduce
View on GitHub ↗ ★ 1,674 C++
C-Reduce, a C and C++ program reducer
5 mentions on Hacker News by 5 people: 1 story, 4 comments · first 2014-05-21 · latest 2024-11-27
20082026
-
…the code or break its behaviour. It seems like a small number of the passes are not specific to C: https://github.com/csmith-project/creduce/blob/master/creduc... `"C" => 1,` means it is only for C. I would guess `pass_lines` is the most…
comment by IshKebab · 2024-11-27 · in You can use C-Reduce for any language -
…and the passes here not tagged with "C"=>1 are used in the not-c mode recommended in the post. https://github.com/csmith-project/creduce/blob/31e855e290970... You can see the pass implementation in files on the left.
comment by evmar · 2024-11-27 · in You can use C-Reduce for any language -
…also ddSMT for SMT solvers that take SMT-LIB2 input.) 0: https://www.st.cs.uni-saarland.de/dd/ 1: https://github.com/csmith-project/creduce
comment by rgovostes · 2024-06-21 · in Chasing a Bug in a SAT Solver -
…could understand the errors better. C-Reduce was developed specifically to address that need. [0] https://github.com/csmith-project/creduce [1] https://github.com/csmith-project/csmith
comment by DonaldPShimoda · 2023-12-27 · in Perses: Syntax-Directed Program Reduction