CHT:CHC: move cCHPOCheckInitializedTest to regression tests in CodeHawk-C

Author: sipma

CodeHawk/CHT/CHC_tests/cchanalyze_tests/txcchanalyze/Makefile

@@ -58,25 +58,21 @@ SOURCES := \
 
 OBJECTS := $(addprefix cmx/,$(SOURCES:%=%.cmx))
 
-all: make_dirs cCHPOCheckInitializedTest cCHPOCheckLocallyInitializedTest cCHPOCheckOutputParameterInitializedTest
+all: make_dirs cCHPOCheckLocallyInitializedTest cCHPOCheckOutputParameterInitializedTest
 
 doc: 
 
 make_dirs:
 	@mkdir -p cmx
 	@mkdir -p cmi
 
-cCHPOCheckInitializedTest: $(OBJECTS) $(CMIS) $(CHLIB)/chlib.cmxa $(CHUTIL)/chutil.cmxa $(ZIPLIB)/zip.cmxa $(TESTLIB)/tchlib.cmxa $(CCHLIB)/cchlib.cmxa $(CCHPRE)/cchpre.cmxa $(CCHANALYZE)/cchanalyze.cmxa cmi/cCHPOCheckInitializedTest.cmi cmx/cCHPOCheckInitializedTest.cmx
-	$(CAMLLINK) -o cCHPOCheckInitializedTest $(OBJECTS) cmx/cCHPOCheckInitializedTest.cmx
-
 cCHPOCheckLocallyInitializedTest: $(OBJECTS) $(CMIS) $(CHLIB)/chlib.cmxa $(CHUTIL)/chutil.cmxa $(ZIPLIB)/zip.cmxa $(TESTLIB)/tchlib.cmxa $(CCHLIB)/cchlib.cmxa $(CCHPRE)/cchpre.cmxa $(CCHANALYZE)/cchanalyze.cmxa cmi/cCHPOCheckLocallyInitializedTest.cmi cmx/cCHPOCheckLocallyInitializedTest.cmx
 	$(CAMLLINK) -o cCHPOCheckLocallyInitializedTest $(OBJECTS) cmx/cCHPOCheckLocallyInitializedTest.cmx
 
 cCHPOCheckOutputParameterInitializedTest: $(OBJECTS) $(CMIS) $(CHLIB)/chlib.cmxa $(CHUTIL)/chutil.cmxa $(ZIPLIB)/zip.cmxa $(TESTLIB)/tchlib.cmxa $(CCHLIB)/cchlib.cmxa $(CCHPRE)/cchpre.cmxa $(CCHANALYZE)/cchanalyze.cmxa cmi/cCHPOCheckOutputParameterInitializedTest.cmi cmx/cCHPOCheckOutputParameterInitializedTest.cmx
 	$(CAMLLINK) -o cCHPOCheckOutputParameterInitializedTest $(OBJECTS) cmx/cCHPOCheckOutputParameterInitializedTest.cmx
 
-run: cCHPOCheckInitializedTest cCHPOCheckLocallyInitializedTest cCHPOCheckOutputParameterInitializedTest
-	./cCHPOCheckInitializedTest
+run: cCHPOCheckLocallyInitializedTest cCHPOCheckOutputParameterInitializedTest
 	./cCHPOCheckLocallyInitializedTest
 	./cCHPOCheckOutputParameterInitializedTest
 
@@ -100,6 +96,5 @@ clean:
 	rm -f *.ml~
 	rm -f *.mli~
 	rm -f Makefile~
-	rm -f cCHPOCheckInitializedTest
 	rm -f cCHPOCheckLocallyInitializedTest
 	rm -f cCHPOCheckOutputParameterInitialized

CodeHawk/CHT/CHC_tests/cchanalyze_tests/txcchanalyze/cCHPOCheckInitializedTest.ml

@@ -1,19 +1,10 @@
 (tests
   (names
-        cCHPOCheckInitializedTest
         cCHPOCheckLocallyInitializedTest
         cCHPOCheckOutputParameterInitializedTest
         cCHPOCheckErrnoWrittenTest
         )
   (deps
-        testinputs/PInitialized/gl_inv_001.cch.tar.gz
-        testinputs/PInitialized/gl_inv_002.cch.tar.gz
-        testinputs/PInitialized/gl_inv_003.cch.tar.gz
-        testinputs/PInitialized/gl_inv_xpr_001.cch.tar.gz
-        testinputs/PInitialized/gl_inv_xpr_002.cch.tar.gz
-        testinputs/PInitialized/gl_inv_xpr_003.cch.tar.gz
-        testinputs/PInitialized/gl_inv_bounded_xpr_001.cch.tar.gz
-        testinputs/PInitialized/gl_stackvar_001.cch.tar.gz
         testinputs/PLocallyInitialized/locally_initialized_gl_inv_001.cch.tar.gz
         testinputs/PLocallyInitialized/locally_initialized_gl_memlval_memref_001.cch.tar.gz
         testinputs/PLocallyInitialized/locally_initialized_rl_xpr_001.cch.tar.gz