Support for removing functions specified by the user

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

shoaibCS commented 4 years ago

support for removing functions specified by the user

caballa commented 4 years ago

Please create a different PR for trimmer.set

caballa commented 4 years ago

The last two commits c0fcbba and 63bcde2 should be squashed together

caballa commented 4 years ago

@shoaibCS : what is the status of this PR? You need to resolve some conflics

shoaibCS commented 4 years ago

@shoaibCS : what is the status of this PR? You need to resolve some conflicts

@caballa : I have resolved the two conflicts. can you kindly tell if everything is fine and then accept the pull request? Thanks!