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

[csmith-project/csmith] a13932: expose more generation controls to command lines

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/csmith

  Commit: a1393291d293adbce3177350cd9959419a7facea
      https://github.com/csmith-project/csmith/commit/a1393291d293adbce3177350cd9959419a7facea
  Author: Xuejun Yang <jxyang@cs.utah.edu>
  Date:   2011-08-08 (Mon, 08 Aug 2011)

  Changed paths:
    M src/CGOptions.cpp
  M src/CGOptions.h
  M src/Expression.cpp
  M src/Expression.h
  M src/Probabilities.cpp
  M src/Probabilities.h
  M src/ProbabilityTable.h
  M src/RandomProgramGenerator.cpp
  M src/StatementAssign.cpp
  M src/StatementAssign.h
  M src/Type.cpp
  M src/VectorFilter.cpp
  M src/VectorFilter.h

  Log Message:
  -----------
  expose more generation controls to command lines

1) add the following command line options to disable/enable side effecting expressions:

  --incr-decr-operators
  --no-incr-decr-operators
  --embedded-assigns
  --no-embedded-assigns
  --comma-operators
  --no-comma-operators

2) add "--max-struct-nested-level" to command line options. And enforce the default limit at 3, i.e. struct in struct in struct.

3) add "more_struct_union_type_prob" to Probabilities. (a finer way to config Csmith through --probability-configuration <file>). Also slightly decrease the chance of having struct/union types in random programs.

4) Add a class DistributionTable to represent more flexible distribution of probabilities than ProbabilityTable in that the sum of individual distributions doesn't have to be 100. With this class we disable/enable entries in the table without painful re-calibration of numbers.


  Commit: f0ba61136ed1d90e5684609f3b6e012fe8c9ef71
      https://github.com/csmith-project/csmith/commit/f0ba61136ed1d90e5684609f3b6e012fe8c9ef71
  Author: Xuejun Yang <jxyang@cs.utah.edu>
  Date:   2011-08-08 (Mon, 08 Aug 2011)

  Changed paths:
    M utah/scripts/john_driver/evaluate_program.pl
  M utah/scripts/john_driver/random_test.pl

  Log Message:
  -----------
  Merge branch 'master' of github.com:csmith-project/csmith


Compare: https://github.com/csmith-project/csmith/compare/a7fe0b7...f0ba611