Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rename checking state variables (#833)
* Rename OV to OriginalValue * Rename UEQ to EquivExprs * Rename G to SameValue * Add spec name comments to ObservedBounds, EquivExprs, SameValue, and OriginalValue
- Loading branch information