about summary refs log tree commit diff
path: root/utils/optimin/src/CMakeLists.txt
AgeCommit message (Collapse)Author
2022-05-31remove optiminvanhauser-thc
2021-10-27optimin: fix cmake flagsAdrian Herrera
Disable RTTI. Fixes issue #1133
2021-07-21utils: added optimin corpus minimizerAdrian Herrera