-
Notifications
You must be signed in to change notification settings - Fork 1
Specific values invariants
Juan Carlos Alonso Valenzuela edited this page May 22, 2023
·
1 revision
This section enumerates all the invariants of the Specific values category. Please refer to Section 5.5 Invariant list of the Daikon user manual for a description of each one of these invariants.
- daikon.inv.unary.scalar.OneOfScalar
- daikon.inv.unary.scalar.OneOfFloat
- daikon.inv.unary.string.OneOfString
- daikon.inv.unary.sequence.OneOfSequence
- daikon.inv.unary.sequence.OneOfFloatSequence
- daikon.inv.unary.stringsequence.OneOfStringSequence
- daikon.inv.unary.sequence.EltOneOf
- daikon.inv.unary.sequence.EltOneOfFloat
- daikon.inv.unary.stringsequence.EltOneOfString