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--EXPECT--
13assert_options(): Argument #1 ($option) must be an ASSERT_* constant
14