Skip to main content

TensorRT-LLM Engine Invariants

Library version: 0.21.0
Anchor frozen at: 2026-05-06T20:35:47+02:00

Summary: 3 proposed invariants, 3 validation-confirmed cases.

Invariants by extraction source​

Static miner (AST analysis) (3)​

  • tensorrt_raises_max_ngram_size_le_0_positive_values [error] — LookaheadDecodingConfig.validate_positive_values raises when max_ngram_size <= 0 (via raise Value...
  • tensorrt_raises_max_verification_set_size_le_0_positive_values [error] — LookaheadDecodingConfig.validate_positive_values raises when max_verification_set_size <= 0 (via ...
  • tensorrt_raises_max_window_size_le_0_positive_values [error] — LookaheadDecodingConfig.validate_positive_values raises when max_window_size <= 0 (via raise Valu...