reduce -v test/subjects/codegen/0001.php reduce "-c--run=plugins/tools/debug_zval.la -dump-xml=plugins/tools/debug_zval.la" test/subjects/codegen/0001.php reduce -v 0001.uhir.php reduce -F plugins/tests/limit_assignments.la test/subjects/codegen/bench_simple.php EOL ); } $filename = $arguments[0]; $reduce = new Reduce($filename); $reduce->set_phc("src/phc"); $reduce->set_comment($command_line); $reduce->set_plugin_path($opt_phc_prefix); $reduce->set_run_command_function("myrun"); $reduce->set_debug_function("mydebug"); $reduce->set_dump_function("mydump"); // Checking functions $reduce->set_checking_function("check_against_compiled"); if ($opt_failure) { $reduce->set_checking_function("check_for_failure_string"); } if ($opt_interpret) { $reduce->set_checking_function("check_against_interpreted"); } $input = file_get_contents($filename); // TODO: call this on the first instance if ($opt_command != "") { // TODO use opt_command on the first instance // TODO: use --no-xml-attrs throw new Exception("TODO"); }