1--TEST--
2assert_options() - unknown assert option.
3
4--FILE--
5<?php
6try {
7    assert_options(1000);
8} catch (\ValueError $e) {
9    echo $e->getMessage();
10}
11?>
12--EXPECTF--
13Deprecated: Function assert_options() is deprecated since 8.3 in %s on line %d
14assert_options(): Argument #1 ($option) must be an ASSERT_* constant
15