Searched refs:findExe (Results 1 – 1 of 1) sorted by relevance
112 private function findExe(string $exeDir, string $name): ?string function in action_plugin_mizarverifiabledocs348 $exe = $this->findExe($paths['exe'], 'miz2prel');374 $makeenv = $this->findExe($paths['exe'], 'makeenv');388 $verifier = $this->findExe($paths['exe'], 'verifier');