From Newsgroup: comp.theory
On 10/30/2025 1:52 PM, Chris M. Thomasson wrote:
For a .5 probability, my system should take 3 iterations for it to fin. Check this out... It's fuzzed and drives itself. Keep line 30 in mind.
You can explore a different probability... :^)
[...]
Have you (Olcott) played around with my fuzzer in BASIC? It reminds me
of your HHH in a sense... Think if the user or fuzzer kept on saying
"YES", over and over again. It keeps bumping the halt path. But it waits
for a no halt path to be non-zero for the actual sim to fin. So, you can
say the intention was to halt, but not all paths have been hit. Should
it insert a false input (something other than YES) that triggers an all
paths hit condition?
On the flip side. If a user says anything other than "YES" over and over
again (aka non-halt), well, this is different... We cannot just insert a "YES", right? This is similar to how you say DD is non-halting, but in reality, its both halting and non-halting?
--- Synchronet 3.21a-Linux NewsLink 1.2