Re: The clueless are commenting on SHDs

On 5/28/25 2:50 PM, Mr Flibble wrote:

Halting an SHD due to analysis is NOT the same as the program being
analysed halting.  Infinite recursion detected through analysis (rather
than running out of simulation resources) DOES NOT MEAN HALTING as far as
the program being analysed is concerned, IT MEANS NON-HALTING.
 /Flibble

And what makes it different?
Remember. Halting is about the actual behavior of the program that was being analysize. That running doesn't have the SHD "aborted", as nothing is looking at it, it is just running.
You have the same error as PO, that you are confusing the actual running of the program, with the partial simulation done by its decider.