选项文件字段

SDV 选项文件包含 SDV 设置。 你可以更改其中一些设置。 其他设置由 SDV 保留。

选项文件中可以更改的字段包括：

SDV_SlamConfig_Maximum_Driver_Size
指定 SDV 在代码) 行方面支持 (的最大驱动程序大小。 默认值为 100K 行代码。

SDV_SlamConfig_Timeout
限制 SDV 验证每个规则所花费的时间。 此项的值是表示秒数的整数。 最小值为 10，最大值为 86400，默认值为 3000 (50 分钟) 。

如果 SDV 在验证规则时超过每个规则的时间限制，它将终止验证，并在命令行输出和静态驱动程序验证程序中报告“主”选项卡上“结果”部分下的超时。

SDV_SlamConfig_Spaceout
限制 SDV 在验证每个规则时可以使用的虚拟内存量。 此条目的值是一个整数，以兆字节 (MB) 单位。 最小值为 100，默认值为 2500 MB (2.5 GB.)

如果 SDV 在验证规则时超出虚拟内存限制，它将终止验证，并在命令行输出和静态驱动程序验证程序中报告“主”选项卡上“结果”部分下的空格。

如果 SDV 报告 空格，请考虑增加 SDV_SlamConfig_Spaceout的值，在 SDV 正在运行时停止计算机上的所有其他进程，或将 SDV 移动到内存较多的计算机。 系统的最佳值大约比系统上的物理内存量少 200 MB。

SDV_SlamConfig_NumberOfThreads
设置验证期间要使用的线程数。 如果值为 0，则将线程数限制为计算机上的处理器数， (这包括超线程处理器) 。 如果该值设置为大于 0 的数字，则该值指定 SDV 在验证期间可以使用的线程数。 增加线程数可能会提高 SDV 的运行时性能，但也可能会增加发生的超时数。 默认值为 0。 如果在使用默认值的多处理器计算机上运行 SDV，SDV 将自动利用其他处理器。