Liste des Groupes | Revenir à theory |
On 11/13/2024 4:58 AM, Mikko wrote:On 2024-11-12 13:58:03 +0000, olcott said:On 11/12/2024 1:12 AM, joes wrote:Am Mon, 11 Nov 2024 10:35:57 -0600 schrieb olcott:It is not the same DDD as the DDD under test.On 11/11/2024 10:25 AM, joes wrote:>Am Mon, 11 Nov 2024 08:58:02 -0600 schrieb olcott:On 11/11/2024 4:54 AM, Mikko wrote:On 2024-11-09 14:36:07 +0000, olcott said:On 11/9/2024 7:53 AM, Mikko wrote:When DDD calls a simulator that aborts, that simulator returns toDDD emulated by HHH does not reach its "return" instruction finalThe actual computation itself does involve HHH emulating itselfWhich is what you are doing: you pretend that DDD calls some other
emulating DDD. To simply pretend that this does not occur seems
dishonest.
HHH that doesn’t abort.
halt state whether HHH aborts its emulation or not.
DDD, which then halts.
Yes, exactly. In particular, the one that calls the aborting HHH.If the DDD under the test is not the same as DDD then the test isThe DDD under test IS THE INPUT DDD
performed incorrectly and the test result is not valid.
Les messages affichés proviennent d'usenet.