Skip to content

String comparisons invariants

Jump to bottom
Juan Carlos Alonso Valenzuela edited this page Jan 12, 2025 · 2 revisions

This section enumerates all the invariants of the String comparisons category. Please refer to Section 5.5 Invariant list of the Daikon user manual for a description of each one of these invariants.

  1. daikon.inv.binary.twoString.StringEqual
  2. daikon.inv.binary.twoString.StdString$SubString
  3. daikon.inv.binary.twoSequence.PairwiseStringEqual
  4. daikon.inv.binary.twoSequence.SeqSeqStringEqual
Clone this wiki locally