On Wed, Apr 11 2018, "Anthony J. Bentley" <anth...@anjbe.name> wrote:
> Csmith is a tool that can generate random C programs that statically and
> dynamically conform to the C99 standard. It is useful for stress-testing
> compilers, static analyzers, and other tools that process C code. Csmith
> has found bugs in every tool that it has tested, and has been used to find
> and report more than 400 previously unknown compiler bugs.
Nope. We already have ports/devel/csmith; maybe you should coordinate
with Daniel (cc'ed) instead. eg we are now at csmith-2.2.0, and our
port could use https instead of http.
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE