xref: /PHP-7.3/ext/readline/tests/bug72538.phpt (revision 782352c5)
1--TEST--
2Bug #72538 (readline_redisplay crashes php)
3--SKIPIF--
4<?php if (!extension_loaded("readline")) die("skip");
5if (READLINE_LIB != "libedit") die("skip libedit only");
6if (!function_exists("readline_redisplay")) die("skip readline_redisplay not available");
7?>
8--FILE--
9<?php
10
11readline_redisplay();
12
13?>
14okey
15--EXPECT--
16okey
17