Searched refs:smt_on (Results 1 – 4 of 4) sorted by relevance
4 int smt_on(void);
58 int smt_on(void) in smt_on() function
411 result = smt_on() > 0 ? 1.0 : 0.0; in expr__get_literal()
156 smt_on() ? "EVENT1" : "EVENT2", in test__expr()