Skip to content

String comparisons invariants

Juan Carlos Alonso Valenzuela edited this page May 22, 2023 · 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
Clone this wiki locally