26.1.2 (9 February 2026)

Features

  • DVT-24473 New Rule: R.1414 Do not constrain the size of associative arrays

Enhancements

  • DVT-24456 Add parameter to SVTB.29.1.0 and R.1169 to flag failures only in specified scopes

  • DVT-24579 Add parameter to SVTB.27.10.1 to skip flagging local fields that are shadowed in child classes

  • DVT-24581 Add parameter to XVM.2.1.17 and XVM57 to skip classes defined in modules

  • DVT-24582 Add parameter to R.1391 to skip non-deterministic functions

  • DVT-24585 Add parameter to SVTB.15.9 to allow methods that use only non-rand fields

  • DVT-24623 XVM.3.6 Improve handling of macros

Bugfixes

  • DVT-24174 Do not suppress invocation errors when running verissimo.sh -silent

  • DVT-24304 XVM.4.21.1, SVTB.15.4.1.1, SVTB.5.11.2.3 should not fail for macro calls inside initial blocks

  • DVT-24515 Generated Verissimo rulepool XML file should not include rule properties

  • DVT-24583 R.1402 & R.1411 should fail for inline randomization

  • DVT-24621 Use rule names instead of IDs in ruleset documentation TOC

26.1.1 (26 January 2026)

HIGHLIGHTS

NOTEWORTHY

  • 48 new rules

  • Added auto-correct for 18 rules

  • Added predefined labels to Verissimo rules

  • Ability to filter the ruleset documentation based on rule labels and categories

  • Ability to lint projects containing precompiled libraries

  • Add original failure message and match indication in the waivers editor

  • Kit distribution updates:

    • New Linux multiarch kit distributions (x86_64 & aarch64)

    • Renamed kit distribution archives and the root folder inside

Note

Some of the highlights and noteworthy improvements mentioned above were rolled-out in 25.#.# releases for early adopters.

Performance

  • DVT-24455 Speed-up rule XVM.3.6

REMOVED

  • DVT-23700 Remove deprecated dvt_sv_lint_gui.sh and dvt_sv_lint_batch.sh scripts

  • DVT-23777 Remove deprecated bottom-up implementation of rule XVM51b

  • DVT-23778 Remove deprecated XVM component name-pattern from ruleset configuration

  • DVT-24041 Remove obsolete -compare argument of verissimo.sh

DEPRECATED

  • DVT-24476 Deprecate the ability to specify pre-waivers in ruleset XML file

Features

  • DVT-23803 New Linux multiarch kit distributions (x86_64 & aarch64)

  • DVT-24523 New Rule: R.1412 Only use casez

  • DVT-24526 New Rule: R.1413 Case statements must have priority or unique

Enhancements

  • DVT-24230 Renamed kit distribution archives and the root folder inside

  • DVT-24433 Add parameter to R.1369 to skip comparisons with `wrealXState and `wrealZState

  • DVT-24451 & DVT-22180 Add relative path support for verissimo.sh -open_report

Bugfixes

  • DVT-24237 R.1225 False failures for reduction operations

  • DVT-24431 R.1047 False failures for expressions containing `wrealXState and `wrealZState

  • DVT-24518 Fixed NullPointerException in SVTB.1.1.20

  • DVT-24519 XVM.7.2 False failure for an object created using a valid type parameter

  • DVT-24528 R.1362 False failures for randcase items with same weight

  • DVT-24529 R.1050 False failures for additions or subtractions done in macro calls

  • DVT-24532 SVTB.10.16 False failures for conditional ternary operators

  • DVT-24536 R.1152 should fail for package imports in classes and modules

  • DVT-24538 SVTB.4.1.8.1 False failures for packed union types

  • DVT-24546 R.1185 False failures for method arguments with default values

  • DVT-24580 SVTB.1.1.26 False failures and missing failures for final blocks inside interfaces

  • DVT-24594 Fixed NullPointerException in SVTB.1.1.26

  • DVT-24641 Suppress internal UnsupportedOperation exceptions from output of Verissimo batch runs