SSoelvsten / bdd-benchmark

Benchmarking Suite for BDD packages
MIT License
11 stars 2 forks source link

Add Initialization time to total #115

Closed SSoelvsten closed 6 months ago

SSoelvsten commented 7 months ago

As in the discussion with Tom, it may in some cases be more reasonable to include the initialization time in the total (other times not). We should include this, if a new compiler flag is set.