Closed alldefector closed 8 years ago
I was thinking of also using the name @feature_value
here as DimmWitted, but maybe that's a bit ugly?
Yeah, @feature_value
is more accurate and less potentially confusing... We can change it.
Since we agreed on the term, let's then rename it before this one spreads too wide.
Coverage increased (+0.3%) to 93.973% when pulling 157b94ddb80005b77c710f71fad06f0f8c3c7660 on factor_val into e2722bf30115b79cbdfe3a59be697778e9d13440 on master.