Hacker News new | ask | show | jobs
by usr1106 1895 days ago
That's probably correct. But any reasonable execution environment has so many states that doing a full enumeration is infeasible.