Searched refs:tautologyp_nboyer (Results 1 - 1 of 1) sorted by relevance

/macosx-10.10.1/JavaScriptCore-7600.1.17/tests/exceptionFuzz/
H A Dearley-boyer.js3444 var tautologyp_nboyer; variable
3559 tautologyp_nboyer = function(sc_x_11, true_lst, false_lst) { function
3586 if (((tautologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_lst))!== false))
3785 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null)));

Completed in 121 milliseconds