Article View: comp.lang.misc
Article #4081Re: HALTING PROBLEM
From: Raul Rockwell
Date: Sat, 01 Jun 1991 12:57
Date: Sat, 01 Jun 1991 12:57
18 lines
964 bytes
964 bytes
Piet van Oostrum:
------------------------------ test.c ------------------------------------
<same declaration of does_terminate>
main()
{
if does_terminate("test.c")
while (1);
}
------------------------------------------------------------------------
So what is the result of the command
halting test.c
?????
Segmentation fault - core dumped
;-)
Raul Rockwell
Technical Details
Message-ID:
<ROCKWELL.91Jun1075720@socrates.umd.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!zaphod.mps.ohio-state.edu!wuarchive!udel!haven.umd.edu!socrates.umd.edu!socrates!rockwellReferences:
<1991May31.130751.12364@cs.ruu.nl>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!zaphod.mps.ohio-state.edu!wuarchive!udel!haven.umd.edu!socrates.umd.edu!socrates!rockwell From: rockwell@socrates.umd.edu (Raul Rockwell) Newsgroups: comp.lang.misc Subject: Re: HALTING PROBLEM Message-ID: <ROCKWELL.91Jun1075720@socrates.umd.edu> Date: 1 Jun 91 12:57:20 GMT References: <1991May31.130751.12364@cs.ruu.nl> Sender: rockwell@socrates.umd.edu (Raul Rockwell) Organization: Traveller Lines: 18 In-Reply-To: piet@cs.ruu.nl's message of 31 May 91 13: 07:51 GMT