[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/creduce] bc443b: nokill option for parallel processes, for debuggin...
Branch: refs/heads/oob
Home: https://github.com/csmith-project/creduce
Commit: bc443b1b4092525814271fc43da7519fb7dfb0d7
https://github.com/csmith-project/creduce/commit/bc443b1b4092525814271fc43da7519fb7dfb0d7
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-12-03 (Thu, 03 Dec 2015)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
nokill option for parallel processes, for debugging and fuzzing
Commit: cfadbdbd405142e2cb8915d28dea6f4b0de33514
https://github.com/csmith-project/creduce/commit/cfadbdbd405142e2cb8915d28dea6f4b0de33514
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-12-03 (Thu, 03 Dec 2015)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
Merge branch 'master' into oob
Compare: https://github.com/csmith-project/creduce/compare/3824f439c2f6...cfadbdbd4051