diff src/aci2/alr/alr_test/alr_results.txt @ 3:93999a60b835

src/aci2, src/condat2: import of g23m/condat source pieces from TCS211
author Mychaela Falconia <falcon@freecalypso.org>
date Mon, 26 Sep 2016 00:29:36 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/aci2/alr/alr_test/alr_results.txt	Mon Sep 26 00:29:36 2016 +0000
@@ -0,0 +1,250 @@
++----------------------------------------------------------
+| Summary of Test                                          
+| Generated by TapCaller                                   
+| March 17, 2004 - 09:45:11
++----------------------------------------------------------
+
+Author:	MSB
+Hostname:	1
+Title:	ALR
+
+ALR002       Passed              March 17, 2004 - 09:15:17    
+ALR005       Passed              March 17, 2004 - 09:15:21    
+ALR008       Passed              March 17, 2004 - 09:15:25    
+ALR011       Passed              March 17, 2004 - 09:15:28    
+ALR012B      Passed              March 17, 2004 - 09:15:32    
+ALR012C      Passed              March 17, 2004 - 09:15:36    
+ALR015       Passed              March 17, 2004 - 09:15:40    
+ALR017       Passed              March 17, 2004 - 09:15:43    
+ALR018       Passed              March 17, 2004 - 09:15:47    
+ALR019       Passed              March 17, 2004 - 09:15:52    
+ALR019A      Passed              March 17, 2004 - 09:15:56    
+ALR022A      Passed              March 17, 2004 - 09:16:02    
+ALR022B      Passed              March 17, 2004 - 09:16:09    
+ALR022C      Passed              March 17, 2004 - 09:16:16    
+ALR023       Passed              March 17, 2004 - 09:16:20    
+ALR024       Passed              March 17, 2004 - 09:16:23    
+ALR026A      Passed              March 17, 2004 - 09:16:30    
+ALR026B      Passed              March 17, 2004 - 09:16:37    
+ALR027A      Passed              March 17, 2004 - 09:16:43    
+ALR027B      Passed              March 17, 2004 - 09:16:50    
+ALR028       Passed              March 17, 2004 - 09:16:54    
+ALR029       Passed              March 17, 2004 - 09:16:57    
+ALR031       Passed              March 17, 2004 - 09:17:01    
+ALR032       Passed              March 17, 2004 - 09:17:05    
+ALR033       Passed              March 17, 2004 - 09:17:08    
+ALR035       Passed              March 17, 2004 - 09:17:12    
+ALR037       Passed              March 17, 2004 - 09:17:16    
+ALR039       Passed              March 17, 2004 - 09:17:19    
+ALR040       Passed              March 17, 2004 - 09:17:23    
+ALR041       Passed              March 17, 2004 - 09:17:27    
+ALR042       Passed              March 17, 2004 - 09:17:30    
+ALR043       Passed              March 17, 2004 - 09:17:34    
+ALR044       Passed              March 17, 2004 - 09:17:38    
+ALR046B      Passed              March 17, 2004 - 09:17:42    
+ALR046C      Passed              March 17, 2004 - 09:17:45    
+ALR048       Passed              March 17, 2004 - 09:18:19    
+ALR053       Passed              March 17, 2004 - 09:18:53    
+ALR057       Passed              March 17, 2004 - 09:18:56    
+ALR058       Passed              March 17, 2004 - 09:19:00    
+ALR061       Passed              March 17, 2004 - 09:19:04    
+ALR064       Passed              March 17, 2004 - 09:19:07    
+ALR065       Passed              March 17, 2004 - 09:19:11    
+ALR066       Passed              March 17, 2004 - 09:19:15    
+ALR067       Passed              March 17, 2004 - 09:19:18    
+ALR068       Passed              March 17, 2004 - 09:19:22    
+ALR069       Passed              March 17, 2004 - 09:19:26    
+ALR070       Passed              March 17, 2004 - 09:19:29    
+ALR071A      Passed              March 17, 2004 - 09:19:33    
+ALR071B      Passed              March 17, 2004 - 09:19:37    
+ALR071C      Passed              March 17, 2004 - 09:19:40    
+ALR071D      Passed              March 17, 2004 - 09:19:44    
+ALR071E      Passed              March 17, 2004 - 09:19:48    
+ALR071F      Passed              March 17, 2004 - 09:19:52    
+ALR071G      Passed              March 17, 2004 - 09:19:55    
+ALR071H      Passed              March 17, 2004 - 09:19:59    
+ALR071I      Passed              March 17, 2004 - 09:20:03    
+ALR072A      Passed              March 17, 2004 - 09:20:06    
+ALR072B      Passed              March 17, 2004 - 09:20:10    
+ALR072C      Passed              March 17, 2004 - 09:20:14    
+ALR072D      Passed              March 17, 2004 - 09:20:18    
+ALR072E      Passed              March 17, 2004 - 09:20:21    
+ALR073A      Passed              March 17, 2004 - 09:20:25    
+ALR073B      Passed              March 17, 2004 - 09:20:29    
+ALR073C      Passed              March 17, 2004 - 09:20:32    
+ALR073D      Passed              March 17, 2004 - 09:20:36    
+ALR073E      Passed              March 17, 2004 - 09:20:40    
+ALR073F      Passed              March 17, 2004 - 09:20:43    
+ALR074       Passed              March 17, 2004 - 09:20:47    
+ALR075A      Passed              March 17, 2004 - 09:20:51    
+ALR075B      Passed              March 17, 2004 - 09:20:54    
+ALR075C      Passed              March 17, 2004 - 09:20:58    
+ALR075D      Passed              March 17, 2004 - 09:21:02    
+ALR075E      Passed              March 17, 2004 - 09:21:05    
+ALR075F      Passed              March 17, 2004 - 09:21:09    
+ALR075G      Passed              March 17, 2004 - 09:21:13    
+ALR075H      Passed              March 17, 2004 - 09:21:16    
+ALR076       Passed              March 17, 2004 - 09:21:20    
+ALR077A      Passed              March 17, 2004 - 09:21:24    
+ALR077B      Passed              March 17, 2004 - 09:21:27    
+ALR077C      Passed              March 17, 2004 - 09:21:31    
+ALR077D      Passed              March 17, 2004 - 09:21:35    
+ALR077E      Passed              March 17, 2004 - 09:21:38    
+ALR077F      Passed              March 17, 2004 - 09:21:42    
+ALR077G      Passed              March 17, 2004 - 09:21:46    
+ALR077H      Passed              March 17, 2004 - 09:21:50    
+ALR077I      Passed              March 17, 2004 - 09:21:53    
+ALR077J      Passed              March 17, 2004 - 09:21:57    
+ALR078A      Passed              March 17, 2004 - 09:22:01    
+ALR078B      Passed              March 17, 2004 - 09:22:04    
+ALR078C      Passed              March 17, 2004 - 09:22:08    
+ALR078D      Passed              March 17, 2004 - 09:22:12    
+ALR078E      Passed              March 17, 2004 - 09:22:15    
+ALR079       Passed              March 17, 2004 - 09:22:19    
+ALR080A      Passed              March 17, 2004 - 09:22:23    
+ALR080B      Passed              March 17, 2004 - 09:22:26    
+ALR080C      Passed              March 17, 2004 - 09:22:30    
+ALR080D      Passed              March 17, 2004 - 09:22:34    
+ALR080E      Passed              March 17, 2004 - 09:22:37    
+ALR080F      Passed              March 17, 2004 - 09:22:41    
+ALR080G      Passed              March 17, 2004 - 09:22:45    
+ALR080H      Passed              March 17, 2004 - 09:22:48    
+ALR080I      Passed              March 17, 2004 - 09:22:52    
+ALR080J      Passed              March 17, 2004 - 09:22:56    
+ALR080K      Passed              March 17, 2004 - 09:23:00    
+ALR080L      Passed              March 17, 2004 - 09:23:03    
+ALR080M      Passed              March 17, 2004 - 09:23:07    
+ALR080N      Passed              March 17, 2004 - 09:23:11    
+ALR080O      Passed              March 17, 2004 - 09:23:16    
+ALR080P      Passed              March 17, 2004 - 09:23:19    
+ALR080Q      Passed              March 17, 2004 - 09:23:23    
+ALR080R      Passed              March 17, 2004 - 09:23:27    
+ALR081       Passed              March 17, 2004 - 09:23:31    
+ALR082       Passed              March 17, 2004 - 09:23:34    
+ALR086       Passed              March 17, 2004 - 09:23:38    
+ALR089       Passed              March 17, 2004 - 09:23:42    
+ALR095       Passed              March 17, 2004 - 09:23:47    
+ALR100       Passed              March 17, 2004 - 09:23:50    
+ALR1007      Passed              March 17, 2004 - 09:23:59    
+ALR1008      Failed              March 17, 2004 - 09:24:07    
+ALR1009      Failed              March 17, 2004 - 09:24:15    
+ALR101       Passed              March 17, 2004 - 09:24:19    
+ALR1010      Failed              March 17, 2004 - 09:24:21    
+ALR1011      Passed              March 17, 2004 - 09:24:35    
+ALR1012      Passed              March 17, 2004 - 09:24:39    
+ALR150       Passed              March 17, 2004 - 09:24:42    
+ALR152       Passed              March 17, 2004 - 09:24:46    
+ALR153       Passed              March 17, 2004 - 09:24:50    
+ALR154A      Passed              March 17, 2004 - 09:24:53    
+ALR154B      Passed              March 17, 2004 - 09:24:57    
+ALR154C      Passed              March 17, 2004 - 09:25:01    
+ALR154D      Passed              March 17, 2004 - 09:25:04    
+ALR157       Passed              March 17, 2004 - 09:25:41    
+ALR160       Passed              March 17, 2004 - 09:25:45    
+ALR202       Passed              March 17, 2004 - 09:25:48    
+ALR205       Passed              March 17, 2004 - 09:25:52    
+ALR208       Passed              March 17, 2004 - 09:25:56    
+ALR211       Passed              March 17, 2004 - 09:25:59    
+ALR212A      Passed              March 17, 2004 - 09:26:03    
+ALR212B      Passed              March 17, 2004 - 09:26:07    
+ALR212C      Passed              March 17, 2004 - 09:26:11    
+ALR215       Passed              March 17, 2004 - 09:26:14    
+ALR217       Passed              March 17, 2004 - 09:26:18    
+ALR244       Passed              March 17, 2004 - 09:26:22    
+ALR250       Passed              March 17, 2004 - 09:26:27    
+ALR251       Passed              March 17, 2004 - 09:26:32    
+ALR252       Passed              March 17, 2004 - 09:26:37    
+ALR253       Passed              March 17, 2004 - 09:26:42    
+ALR254       Passed              March 17, 2004 - 09:26:48    
+ALR255       Passed              March 17, 2004 - 09:26:53    
+ALR256       Passed              March 17, 2004 - 09:26:58    
+ALR257       Passed              March 17, 2004 - 09:27:03    
+ALR258       Passed              March 17, 2004 - 09:27:08    
+ALR259       Passed              March 17, 2004 - 09:27:13    
+ALR260       Passed              March 17, 2004 - 09:27:19    
+ALR261       Passed              March 17, 2004 - 09:27:24    
+ALR262       Passed              March 17, 2004 - 09:27:29    
+ALR263       Passed              March 17, 2004 - 09:27:34    
+ALR264       Passed              March 17, 2004 - 09:27:39    
+ALR265       Passed              March 17, 2004 - 09:27:44    
+ALR266       Passed              March 17, 2004 - 09:27:50    
+ALR267       Passed              March 17, 2004 - 09:27:55    
+ALR268       Passed              March 17, 2004 - 09:28:00    
+ALR269       Passed              March 17, 2004 - 09:28:05    
+ALR270       Passed              March 17, 2004 - 09:28:13    
+ALR271       Passed              March 17, 2004 - 09:28:22    
+ALR272       Passed              March 17, 2004 - 09:28:30    
+ALR273       Passed              March 17, 2004 - 09:28:39    
+ALR274       Passed              March 17, 2004 - 09:29:16    
+ALR275       Passed              March 17, 2004 - 09:44:34    
+ALR276       Passed              March 17, 2004 - 09:29:55    
+ALR277       Passed              March 17, 2004 - 09:30:32    
+ALR278       Passed              March 17, 2004 - 09:30:40    
+ALR279       Passed              March 17, 2004 - 09:30:50    
+ALR280       Passed              March 17, 2004 - 09:30:58    
+ALR281       Passed              March 17, 2004 - 09:31:07    
+ALR602       Passed              March 17, 2004 - 09:31:11    
+ALR605       Passed              March 17, 2004 - 09:31:15    
+ALR608       Passed              March 17, 2004 - 09:31:18    
+ALR611       Passed              March 17, 2004 - 09:31:22    
+ALR612A      Passed              March 17, 2004 - 09:31:26    
+ALR612B      Passed              March 17, 2004 - 09:31:30    
+ALR615       Passed              March 17, 2004 - 09:31:33    
+ALR617       Passed              March 17, 2004 - 09:31:37    
+ALR644       Passed              March 17, 2004 - 09:31:41    
+ALR650       Passed              March 17, 2004 - 09:32:14    
+ALR651       Passed              March 17, 2004 - 09:32:48    
+ALR652       Passed              March 17, 2004 - 09:32:52    
+ALR653       Passed              March 17, 2004 - 09:32:55    
+ALR654       Passed              March 17, 2004 - 09:32:59    
+ALR655       Passed              March 17, 2004 - 09:33:03    
+ALR700       Passed              March 17, 2004 - 09:33:06    
+ALR701       Passed              March 17, 2004 - 09:33:10    
+ALR800A      Passed              March 17, 2004 - 09:33:14    
+ALR800B      Passed              March 17, 2004 - 09:33:17    
+ALR801B      Passed              March 17, 2004 - 09:33:21    
+ALR801C      Passed              March 17, 2004 - 09:33:25    
+ALR802       Passed              March 17, 2004 - 09:33:31    
+ALR803A      Passed              March 17, 2004 - 09:33:35    
+ALR803B      Passed              March 17, 2004 - 09:33:39    
+ALR803C      Passed              March 17, 2004 - 09:33:42    
+ALR803D      Passed              March 17, 2004 - 09:33:46    
+ALR804       Passed              March 17, 2004 - 09:33:50    
+ALR805       Passed              March 17, 2004 - 09:33:53    
+ALR806       Passed              March 17, 2004 - 09:33:57    
+ALR807       Passed              March 17, 2004 - 09:34:01    
+ALR808       Passed              March 17, 2004 - 09:34:05    
+ALR809       Passed              March 17, 2004 - 09:34:08    
+ALR810       Passed              March 17, 2004 - 09:34:12    
+ALR811       Passed              March 17, 2004 - 09:34:16    
+ALR812       Passed              March 17, 2004 - 09:34:19    
+ALR813       Passed              March 17, 2004 - 09:34:23    
+ALR814       Passed              March 17, 2004 - 09:34:27    
+ALR815       Passed              March 17, 2004 - 09:34:30    
+ALR816       Passed              March 17, 2004 - 09:34:34    
+ALR817       Passed              March 17, 2004 - 09:34:38    
+ALR818       Passed              March 17, 2004 - 09:35:13    
+ALR900       Passed              March 17, 2004 - 09:35:47    
+ALR901       Passed              March 17, 2004 - 09:35:50    
+ALR902       Passed              March 17, 2004 - 09:36:24    
+ALR903       Passed              March 17, 2004 - 09:36:58    
+ALR904       Passed              March 17, 2004 - 09:37:31    
+ALR905       Passed              March 17, 2004 - 09:38:05    
+ALR906       Passed              March 17, 2004 - 09:38:39    
+ALR907       Passed              March 17, 2004 - 09:39:12    
+ALR925       Passed              March 17, 2004 - 09:39:16    
+ALR952       Passed              March 17, 2004 - 09:40:20    
+ALR954       Passed              March 17, 2004 - 09:40:53    
+ALR962       Passed              March 17, 2004 - 09:41:08    
+ALR968       Passed              March 17, 2004 - 09:41:22    
+ALR974       Passed              March 17, 2004 - 09:41:36    
+ALR976       Passed              March 17, 2004 - 09:41:50    
+ALR978       Passed              March 17, 2004 - 09:42:04    
+
+
+ 229 Testcases passed   ( 98%)
+   3 Testcases failed   (  1%)
+   0 Testcases untested (  0%)
+-----------------------------------------------------
+ 232 Testcases processed
+