Closed mristin closed 2 years ago
We replace "null" with "not set" in the invariant descriptions to obtain invariant descriptions which generalize better across different programming languages. For example, "null" is "none" in Python, so this could cause some confusion.
We replace "null" with "not set" in the invariant descriptions to obtain invariant descriptions which generalize better across different programming languages. For example, "null" is "none" in Python, so this could cause some confusion.