Don't let the fuzzer change max_execution_time

This commit is contained in:
Alexander Kuzmenkov 2020-09-01 18:51:46 +03:00
parent 9cf2a38eb8
commit 0b70abe542

View File

@ -2,6 +2,15 @@
<profiles>
<default>
<max_execution_time>10</max_execution_time>
<!--
Don't let the fuzzer change this setting (I've actually seen it
do this before).
-->
<constraints>
<max_execution_time>
<max>10</max>
</max_execution_time>
</constraints>
</default>
</profiles>
</yandex>