Path: 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

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