Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 11 May 1994 18:47:47 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA19803; Wed, 11 May 1994 11:36:02 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from grolsch-2.cs.ubc.ca by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA19799; Wed, 11 May 1994 11:36:00 -0600 Received: by grolsch.cs.ubc.ca id AA11744 (5.65c/IDA-1.3.5 for info-hol@leopard.cs.byu.edu); Wed, 11 May 1994 10:36:55 -0700 X400-Received: by mta cs.ubc.ca in /PRMD=/ADMD=/C=/; Relayed; Wed, 11 May 1994 10:36:53 UTC-0700 X400-Received: by /PRMD=ca/ADMD=/C=/; Relayed; Wed, 11 May 1994 10:36:53 UTC-0700 Date: Wed, 11 May 1994 10:36:53 UTC-0700 X400-Originator: donat@cs.ubc.ca X400-Recipients: non-disclosure:; X400-Content-Type: P2-1984 (2) X400-Mts-Identifier: [/PRMD=ca/ADMD=/C=/;940511103653] Content-Identifier: 1338 Conversion: Prohibited From: Michael Donat To: info-hol@leopard.cs.byu.edu Message-Id: <"1338*donat@cs.ubc.ca"@MHS> Subject: running out of "invocation history" with AKCL/HOL202 Mime-Version: 1.0 (Generated by Ean X.400 to MIME gateway) I have a test case generation package that is suffering from too little "invocation history" (I'm guessing this is akin to stack space). The package reaches this boundary due to the very large formulae it manipulates. Does anyone know how I can increase this space in AKCL? BTW... the package would also run out of "cons space" under HOL201, but I haven't run into this problem under HOL202. thanks, Michael Donat University of British Columbia Department of Computer Science 2366 Main Mall Vancouver, B.C. Canada V6T 1Z4