trimmer.set for runbench

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

BSD 3-Clause "New" or "Revised" License

26 stars 10 forks source link

Closed shoaibCS closed 4 years ago

caballa commented 4 years ago

What is this? A PR cannot have 900+ commits. You just care about the last three commits. I don't know how you brought all the OCCAM history here ...

caballa commented 4 years ago

Ah you did the PR for master branch. It should be llvm10 branch

caballa commented 4 years ago

I'll close it. Open a new PR. Please make sure if it contains only your three commits and it's for llvm10