Maybe there are tradeoffs. If the code will never need the same thing again manu...

bluGill 42 days ago | parent | context | favorite | on: Formal Methods: Just Good Engineering Practice? (2...

Maybe there are tradeoffs. If the code will never need the same thing again manual tests are good enough. Most code has things that don't change even as you add new features and so tests are valuable.