Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!brutus.cs.uiuc.edu!psuvax1!psuvax1!ehrlich
From: ehrlich@cs.psu.edu (Daniel Ehrlich)
Newsgroups: comp.lang.prolog
Subject: SB-Prolog on IBM RTs (again)
Message-ID: <EHRLICH.89Sep14102409@shire.cs.psu.edu>
Date: 14 Sep 89 15:24:09 GMT
Sender: news@psuvax1.cs.psu.edu
Organization: Computer Science Department, Penn State University
Lines: 9

Are there any verification test suites available for SB-Prolog?  I know about
the benchmarks, but they are already compiled.  I was looking for something
to exercise the system a little more than these do.  Any pointers would be
appreciated.  Thanks in advance.
--
Dan Ehrlich <ehrlich@shire.cs.psu.edu> | Disclaimer: The opinions expressed are
The Pennsylvania State University      | my own, and should not be attributed
Department of Computer Science         | to anyone else, living or dead.
University Park, PA   16802            |