lurette 0.12 Tue, 20 Nov 2001 14:37:37 +0100 by jahier

Parent-Version:      0.11
Version-Log:

Add a version of sut_idl_stub.ml in interface for testing purposes.

Project-Description: Lurette

.lurette.prcs_aux

@@ -32,4 +32,5 @@
 (TAGS 5673 1006182545 21_TAGS 1.5)
 (vrai.c 1405 1006183551 30_vrai.c 1.1)
 (lurette.ml 5245 1006263320 12_lurette.ml 1.7)
+(interface/sut_idl_stub.ml 338 1006263457 34_sut_idl_st 1.1)
 (edge.c 1693 1006263320 32_edge.c 1.1)

interface/sut_idl_stub.ml

+(* 
+** This file was manually written for unit testing of get_ml_type
+** (through an assertion). 
+*)
+
+
+external sut_init : unit -> unit
+	= "camlidl_sut_idl_stub_sut_init"
+
+external sut_step : int -> bool -> bool * float
+	= "camlidl_sut_idl_stub_sut_step"
+
+external sut_try : int -> bool -> bool * float
+	= "camlidl_sut_idl_stub_sut_try"
+

lurette.prj

 ;; -*- Prcs -*-
 (Created-By-Prcs-Version 1 3 3)
 (Project-Description "Lurette")
-(Project-Version lurette 0 11)
-(Parent-Version lurette 0 10)
+(Project-Version lurette 0 12)
+(Parent-Version lurette 0 11)
 (Version-Log "
-Fixing bugs. Now it can runs sut that have several inputs and outputs.
+Add a version of sut_idl_stub.ml in interface for testing purposes.
 ")
 (New-Version-Log "")
-(Checkin-Time "Tue, 20 Nov 2001 14:35:20 +0100")
+(Checkin-Time "Tue, 20 Nov 2001 14:37:37 +0100")
 (Checkin-Login jahier)
 (Populate-Ignore ())
 (Project-Keywords)
@@ -55,6 +55,7 @@ Fixing bugs. Now it can runs sut that have several inputs and outputs.
   (vrai.h (lurette/31_vrai.h 1.1 644))
   (edge.c (lurette/32_edge.c 1.1 640))
   (edge.h (lurette/33_edge.h 1.1 640))
+  (interface/sut_idl_stub.ml (lurette/34_sut_idl_st 1.1 644))