Well, it is hideously expensive to do on bigger pieces of code. And I'd imagine ...

		ilyt on Jan 12, 2023 \| parent \| context \| favorite \| on: A corrupt file led to the FAA ground stoppage – al... Well, it is hideously expensive to do on bigger pieces of code. And I'd imagine you can still get the spec you verify against wrong