Lines Matching refs:reducer
15 #include "source/reduce/reducer.h"
194 Reducer reducer(kEnv);
196 reducer.SetMessageConsumer(kMessageConsumer);
197 reducer.SetInterestingnessFunction(
201 reducer.AddReductionPass(
203 reducer.AddReductionPass(
216 Reducer::ReductionResultStatus status = reducer.Run(
514 Reducer reducer(kEnv);
516 reducer.SetInterestingnessFunction(InterestingWhileIMulReachable);
517 reducer.AddDefaultReductionPasses();
518 reducer.SetMessageConsumer(kMessageConsumer);
531 Reducer::ReductionResultStatus status = reducer.Run(
538 Reducer reducer(kEnv);
540 reducer.SetInterestingnessFunction(InterestingWhileSDivReachable);
541 reducer.AddDefaultReductionPasses();
542 reducer.SetMessageConsumer(kMessageConsumer);
555 Reducer::ReductionResultStatus status = reducer.Run(
577 Reducer reducer(kEnv);
580 reducer.SetInterestingnessFunction(
584 reducer.AddDefaultReductionPasses();
585 reducer.SetMessageConsumer(kMessageConsumer);
600 // Instruct the reducer to only target function 13.
605 Reducer::ReductionResultStatus status = reducer.Run(