mr-ma / composition-framework

1 stars 3 forks source link

Add implicit block coverage constraint to the ILP optimization #15

Open mr-ma opened 5 years ago

mr-ma commented 5 years ago

Needs #13

dennisfischer commented 5 years ago

Not implemented. Do we want this? If yes, then this we need to use the same approach as we have for implicit instruction coverage.

mr-ma commented 5 years ago

I'm thinking if we get very low implicit instruction coverage, maybe we could report on implicit block coverage as well. Let's keep this open and see after our first experiments.