The SEDs for most functions were not correct, making it hard to reason about the program. For example, contains-only-numeric polluted the stack with a regex that later had to be dropped in various places. The behavior was correct, but confusing.
The SEDs for most functions were not correct, making it hard to reason about the program. For example, contains-only-numeric polluted the stack with a regex that later had to be dropped in various places. The behavior was correct, but confusing.