[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-dev] Csmith 2.3.0 Released

Csmith 2.3.0 is released!

Get it from GitHub:

Or if you want the official tarball:
Notable improvements/changes since the previous release:

  + Supports CMake-based builds (in addition to Autoconf-based builds)

  + Refined C++-related command line options:
      + `--lang-cpp` option for generating C++-compatible code now sets certain
        other options automatically (`--match-exact-qualifiers`,
        `--no-vol-struct-union-fields`, and `--no-const-struct-union-fields`)
      + `--cpp11`: generate C++11-compatible code (default: C++03-compatible)
    (Thanks to Natalia Glagoleva!)

  + New miscelleanous code-generation command line options:
      + `--[no-]global-variables`: allow/disallow global variables (default:
      + `--[no-]const-struct-union-fields`: allow/disallow const fields in
        struct and unions types (default: allow)
        (Thanks to Natalia Glagoleva!)
      + `--strict-float`: disallow assignments between floats and integers
        (default: allow)
      + `--fast-execution`: bias generator toward faster programs

  + Removed `--deputy` command-line option, which previously caused Csmith to
    output annotations for Deputy, a dependent type system for C

  + Fixes for choosing the random seed on various platforms

  + Various improvements for compiling under MS Windows

  + Numerous bug fixes


Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX