Commits

Paweł Wieczorek committed e88d6f1

removed tests

Comments (0)

Files changed (116)

 CTAGS_CMD=ctags
 
 SRCS= $(shell find source -iname "*.mli" -or -iname "*.ml" -and -not -iname "Autogen.ml")
-TEST_SRCS= $(shell find test -iname "*.mli" -or -iname "*.ml" -and -not -iname "Autogen.ml")
 VERBOSE?=@
-.PHONY: clean ${PROGRAM} runtime test
+.PHONY: clean ${PROGRAM} 
 .SUFFIXES: .cma
 
-all: ${PROGRAM} ${TAGS_FILE} runtime
+all: ${PROGRAM} ${TAGS_FILE} 
 
-${TAGS_FILE}: ${SRCS} ${TEST_SRCS}
-	${CTAGS_CMD} -f ${TAGS_FILE} -R source test
+${TAGS_FILE}: ${SRCS} 
+	${CTAGS_CMD} -f ${TAGS_FILE} -R source 
 
 ${PROGRAM}: ${AUTOGEN}
 	${VERBOSE}${OCAMLBUILD_CMD} source/Bin/${PROGRAM}/${PROGRAM}.native source/Bin/Tmp/Tmp.native 
 
-test: ${AUTOGEN} ${TAGS_FILE}
-	${VERBOSE}${OCAMLBUILD_CMD}  test/Bin/Test/Test.native
-
 ${AUTOGEN}: Makefile ${SRCS}
 	@echo "	AUTOGEN		${AUTOGEN}"
 	${VERBOSE}(DATE=`date`; echo "let current_date = \"$${DATE}\"" > ${AUTOGEN})
 
-runtime:
-	cd runtime && make all
-
 clean:
 	${VERBOSE}${OCAMLBUILD_CMD} src/${PROGRAM}.native -clean
-	cd runtime && make clean
 	rm -f ${TAGS_FILE} ${AUTOGEN}
 
 %.cma: %.ml
 <source/**/*>: package(batteries), package(stringpainter), package(commandtree), thread, package(commandtree)
-<test/**/*>: package(batteries), package(stringpainter), package(commandtree), thread, package(commandtree), package(oUnit)
 <**/*>: annot
 
 true: debug
 "source" : include
-"runtime" : not_hygienic
 "tmp" : not_hygienic
         "source/Compiler";
     ocaml_lib
         ~tag_name:"use_machine"
-        "source/Machine";
-    ocaml_lib
-        ~tag_name:"use_testset"
-        ~dir:"test"
-        "test/TestSet"
+        "source/Machine"
 
 (****************************************************************************************************************
  * Context
 
 
 let define_contexts () =
-    populate_context "source";
-    populate_context "test"
+    populate_context "source"
 
 (****************************************************************************************************************
  * For-packs
     Ocamlbuild_pack.Configuration.parse_string tag_file
 
 let define_tags () =
-    define_forpack_tags "source";
-    define_forpack_tags "test"
+    define_forpack_tags "source"
 
 (****************************************************************************************************************
  * Main

runtime/Makefile

-CC=gcc
-CC_FLAGS=-Wall -O2
-
-AS=as
-AS_FLAGS=
-
-CC_M32=${CC}
-CC_FLAGS_M32=${CC_FLAGS} -m32
-
-AS_M32=${AS}
-AS_FLAGS_M32=${AS_FLAGS} -32
-
-AR=ar
-AR_FLAGS=
-
-all: libprostak32.a
-
-prostak/prostak32.o: prostak/prostak.c
-	${CC_M32} -c ${CC_FLAGS_M32} -o $@ $<
-
-libprostak32.a: prostak/prostak32.o
-	${AR} ${AR_FLAGS} cr $@ $<
-
-clean:
-	rm -f libprostak32.a prostak/prostak32.o

runtime/prostak/prostak.c

-#include <stdio.h>
-#include <stdlib.h>
-
-#define MANGLE_SYMBOL(s) WHILE_##s
-
-#define CALL(s) MANGLE_SYMBOL(s)
-
-extern void MANGLE_SYMBOL(main)(void);
-
-struct exception_handler {
-    void *addr;
-    const char *exception_name;
-    struct exception_handler *next;
-};
-
-
-struct exception_handler *exception_handler = 0;
-
-void
-PROSTAK_uncaught_exception(const char *exception_name)
-{
-    fprintf(stderr, "Uncaught exception: %s\n", exception_name);
-    abort();
-}
-
-void 
-PROSTAK_register_exception_handler(const char *exception_name, void *addr)
-{
-    struct exception_handler *eh = (struct exception_handler*) malloc(sizeof(*exception_handler));
-    eh->addr = addr;
-    eh->exception_name = exception_name;
-    eh->next = exception_handler;
-
-    exception_handler = eh;
-}
-
-void*
-PROSTAK_get_exception_handler(const char *exception_name)
-{
-    struct exception_handler *eh = exception_handler;
-    while (eh != NULL) {
-        if (eh->exception_name == exception_name) {
-            return eh->addr;
-        }
-        eh = eh->next;
-    }
-
-    PROSTAK_uncaught_exception(exception_name);
-    return NULL;
-}
-
-int
-PROSTAK_readint(void)
-{
-    int r;
-    do {
-        printf("> ");
-        fflush(stdout);
-    } while (scanf("%i", &r) != 1);
-    return r;
-}
-
-void
-PROSTAK_writeint(int p_int)
-{
-    printf("%i\n", p_int);
-}
-
-void
-PROSTAK_abort(void)
-{
-    fprintf(stderr, "Abnormal termination\n");
-    abort();
-}
-
-int
-main(int argc, char **argv)
-{
-    CALL(main)();
-    return 0;
-}

test/Bin/Test/Test.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open OUnit
-
-
-let top_test_suite = TestSet.TestRegister.build_top_test_suite ()
-
-
-let _ = run_test_tt_main top_test_suite

test/Bin/Test/_tags

-<*.*>: use_lib, use_util, use_machine, use_lang, use_command, use_compiler, use_testset

test/TestSet.mllib

-TestSet

test/TestSet.mlpack

-Test_Command
-Test_Compiler
-Test_Lang
-Test_Lib
-Test_Machine
-TestRegister
-TestFramework

test/TestSet/TestFramework.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-
-(*********************************************************************************************************************
- *
- ********************************************************************************************************************)
-
-include OUnit
-
-
-(*********************************************************************************************************************
- *
- ********************************************************************************************************************)
-
- let assert_true msg b  = assert_bool msg b
-
- let assert_false msg b = assert_bool msg (not b)
-
-
-(*********************************************************************************************************************
- *
- ********************************************************************************************************************)
-
-module Parametrized = struct
-
-    module Operators = struct
-
-        let (>>:::) name testss =
-            name >::: List.concat testss
-
-    end
-
-    module type TestModule = sig
-        val test_suite : test
-    end
-
-    let from_module m = 
-        let module M = (val m : TestModule) in
-        [M.test_suite]
-
-    let singleton t = [t]
-
-    let parametrized func params =
-        (*assert (List.length params <> 0);*)
-        List.map func params
-
-end
-
-
-(*********************************************************************************************************************
- *
- ********************************************************************************************************************)
-
-module AstEqTestMaker = struct
-
-    module type Signature = sig
-
-        type ast
-
-        val eq : ast -> ast -> bool
-
-        val name : string
-
-        val different_asts : ast list
-
-        val equal_astss : ast list list
-
-    end
-
-    module Make(S : Signature) = struct
-        open Parametrized.Operators
-
-        let test_positive (param1, param2) = S.name ^ " positive test" >:: fun () ->
-            begin
-                assert_true S.name
-                    (S.eq param1 param2);
-                assert_true (S.name ^ " (reversed arguments)")
-                    (S.eq param2 param1) 
-            end
-
-        let test_negative (param1, param2) = S.name ^ " negative test" >:: fun () ->
-            begin
-                assert_false S.name
-                    (S.eq param1 param2);
-                assert_false (S.name ^ " (reversed arguments)")
-                    (S.eq param2 param1) 
-            end
-
-        let negative_params asts : (S.ast * S.ast) list =
-            let g (a,b) = a <> b in
-            List.filter g (List.cartesian_product asts asts)
-
-        let positive_params astss : (S.ast * S.ast) list =
-            let f asts  = List.cartesian_product asts asts in
-            Util.concat_map f astss
-
-        let test_suite = S.name  >>:::
-            [ Parametrized.parametrized test_positive (positive_params S.equal_astss)
-            ; Parametrized.parametrized test_negative (negative_params S.different_asts)
-            ]
-
-    end
-
-end
-
-
-(*********************************************************************************************************************
- *
- ********************************************************************************************************************)
-
-include Parametrized.Operators
-include Parametrized

test/TestSet/TestRegister.ml

-open OUnit
-
-type table = Table of (string, table_entry) Hashtbl.t 
-and  table_entry = (test list ref * table)
-
-
-let test_suites = ref []
-
-let test_suite () = "TestSet" >:::
-    List.rev (!test_suites)
-
-let rec register_at_path test_suite last_node (Table table) = function
-    | [] ->
-        ()
-
-    | node::nodes ->
-        try
-            let (test_suite_ref, subtable) = Hashtbl.find table node in
-            register_at_path test_suite node subtable nodes
-        with _ ->
-            ()
-
-
-let register_test_suite (module_name : string) (test_suite : test) =
-    Printf.printf "Adding %s%!\n" module_name;
-    test_suites := test_suite :: !test_suites
-
-let build_top_test_suite () =
-    test_suite ()
-
-

test/TestSet/Test_Command.mlpack

-Test_About
-Test_EvalCommandMaker
-Test_LangCommandRegister
-Test_License
-Test_MiniML_Commands
-Test_ParserCommandMaker
-Test_Top
-Test_WHILE_Commands

test/TestSet/Test_Command/Test_About.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.About
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.About" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.About" test_suite

test/TestSet/Test_Command/Test_EvalCommandMaker.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.EvalCommandMaker
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.EvalCommandMaker" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.EvalCommandMaker" test_suite

test/TestSet/Test_Command/Test_Lang/Test_CWCPS/Test_Command_Lang_CWCPS_Eval.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.CWCPS.Command_Lang_CWCPS_Eval
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.CWCPS.Command_Lang_CWCPS_Eval" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.CWCPS.Command_Lang_CWCPS_Eval" test_suite

test/TestSet/Test_Command/Test_Lang/Test_CWCPS/Test_Command_Lang_CWCPS_Parse.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.CWCPS.Command_Lang_CWCPS_Parse
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.CWCPS.Command_Lang_CWCPS_Parse" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.CWCPS.Command_Lang_CWCPS_Parse" test_suite

test/TestSet/Test_Command/Test_Lang/Test_Command_Lang_CWCPS.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.Command_Lang_CWCPS
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.Command_Lang_CWCPS" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.Command_Lang_CWCPS" test_suite

test/TestSet/Test_Command/Test_Lang/Test_Command_Lang_MiniML.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.Command_Lang_MiniML
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.Command_Lang_MiniML" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.Command_Lang_MiniML" test_suite

test/TestSet/Test_Command/Test_Lang/Test_Command_Lang_TempLang.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.Command_Lang_TempLang
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.Command_Lang_TempLang" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.Command_Lang_TempLang" test_suite

test/TestSet/Test_Command/Test_Lang/Test_Command_Lang_While.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.Command_Lang_While
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.Command_Lang_While" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.Command_Lang_While" test_suite

test/TestSet/Test_Command/Test_Lang/Test_MiniML/Test_Command_Lang_MiniML_Compile.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.MiniML.Command_Lang_MiniML_Compile
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.MiniML.Command_Lang_MiniML_Compile" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.MiniML.Command_Lang_MiniML_Compile" test_suite

test/TestSet/Test_Command/Test_Lang/Test_MiniML/Test_Command_Lang_MiniML_Eval.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.MiniML.Command_Lang_MiniML_Eval
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.MiniML.Command_Lang_MiniML_Eval" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.MiniML.Command_Lang_MiniML_Eval" test_suite

test/TestSet/Test_Command/Test_Lang/Test_MiniML/Test_Command_Lang_MiniML_Typecheck.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.MiniML.Command_Lang_MiniML_Typecheck
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.MiniML.Command_Lang_MiniML_Typecheck" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.MiniML.Command_Lang_MiniML_Typecheck" test_suite

test/TestSet/Test_Command/Test_Lang/Test_TempLang/Test_Command_Lang_TempLang_Compile.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.TempLang.Command_Lang_TempLang_Compile
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.TempLang.Command_Lang_TempLang_Compile" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.TempLang.Command_Lang_TempLang_Compile" test_suite

test/TestSet/Test_Command/Test_Lang/Test_TempLang/Test_Command_Lang_TempLang_Eval.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.TempLang.Command_Lang_TempLang_Eval
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.TempLang.Command_Lang_TempLang_Eval" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.TempLang.Command_Lang_TempLang_Eval" test_suite

test/TestSet/Test_Command/Test_Lang/Test_TempLang/Test_Command_Lang_TempLang_Parse.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.TempLang.Command_Lang_TempLang_Parse
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.TempLang.Command_Lang_TempLang_Parse" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.TempLang.Command_Lang_TempLang_Parse" test_suite

test/TestSet/Test_Command/Test_Lang/Test_TempLang/Test_Command_Lang_TempLang_Typecheck.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.TempLang.Command_Lang_TempLang_Typecheck
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.TempLang.Command_Lang_TempLang_Typecheck" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.TempLang.Command_Lang_TempLang_Typecheck" test_suite

test/TestSet/Test_Command/Test_Lang/Test_While/Test_Command_Lang_While_Eval.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.While.Command_Lang_While_Eval
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.While.Command_Lang_While_Eval" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.While.Command_Lang_While_Eval" test_suite

test/TestSet/Test_Command/Test_Lang/Test_While/Test_Command_Lang_While_Parse.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Lang.While.Command_Lang_While_Parse
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Lang.While.Command_Lang_While_Parse" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Lang.While.Command_Lang_While_Parse" test_suite

test/TestSet/Test_Command/Test_LangCommandRegister.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.LangCommandRegister
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.LangCommandRegister" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.LangCommandRegister" test_suite

test/TestSet/Test_Command/Test_License.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.License
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.License" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.License" test_suite

test/TestSet/Test_Command/Test_MiniML_Commands.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.MiniML_Commands
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.MiniML_Commands" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.MiniML_Commands" test_suite

test/TestSet/Test_Command/Test_ParserCommandMaker.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.ParserCommandMaker
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.ParserCommandMaker" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.ParserCommandMaker" test_suite

test/TestSet/Test_Command/Test_Top.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.Top
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.Top" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.Top" test_suite

test/TestSet/Test_Command/Test_WHILE_Commands.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Command.WHILE_Commands
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Command.WHILE_Commands" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Command.WHILE_Commands" test_suite

test/TestSet/Test_Compiler.mlpack

-Test_AssemblyCompiler
-Test_WhileX86Compiler

test/TestSet/Test_Compiler/Test_AssemblyCompiler.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Compiler.AssemblyCompiler
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Compiler.AssemblyCompiler" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Compiler.AssemblyCompiler" test_suite

test/TestSet/Test_Compiler/Test_WhileX86Compiler.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Compiler.WhileX86Compiler
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Compiler.WhileX86Compiler" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Compiler.WhileX86Compiler" test_suite

test/TestSet/Test_Lang.mlpack

-Test_Common
-Test_CWCPS
-Test_MiniML
-Test_While
-Test_TAC

test/TestSet/Test_Lang/Test_CWCPS.mlpack

-Test_Analysis
-Test_AnalysisFramework
-Test_AST
-Test_Eval
-Test_Helper
-Test_Parser
-Test_PrettyPrinter
-Test_Transformation
-Test_TransformationFramework

test/TestSet/Test_Lang/Test_CWCPS/Test_AST.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.AST
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.AST" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.AST" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_Analysis.mlpack

-Test_CallGraphOfKnownFunctions
-Test_ClosureNeediness
-Test_SizeSavingAnalysis
-Test_VariableUsageAnalysis

test/TestSet/Test_Lang/Test_CWCPS/Test_Analysis/Test_CallGraphOfKnownFunctions.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.Analysis.CallGraphOfKnownFunctions
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.Analysis.CallGraphOfKnownFunctions" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.Analysis.CallGraphOfKnownFunctions" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_Analysis/Test_ClosureNeediness.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.Analysis.ClosureNeediness
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.Analysis.ClosureNeediness" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.Analysis.ClosureNeediness" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_Analysis/Test_SizeSavingAnalysis.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.Analysis.SizeSavingAnalysis
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.Analysis.SizeSavingAnalysis" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.Analysis.SizeSavingAnalysis" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_Analysis/Test_VariableUsageAnalysis.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.Analysis.VariableUsageAnalysis
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.Analysis.VariableUsageAnalysis" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.Analysis.VariableUsageAnalysis" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_AnalysisFramework.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.AnalysisFramework
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.AnalysisFramework" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.AnalysisFramework" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_Eval.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.Eval
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.Eval" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.Eval" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_Helper.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.Helper
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.Helper" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.Helper" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_Parser.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.Parser
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.Parser" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.Parser" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_PrettyPrinter.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.PrettyPrinter
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.PrettyPrinter" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.PrettyPrinter" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_Transformation.mlpack

-Test_BetaContractionOptimization
-Test_ConditionalJumpsOptimization
-Test_ConstantFoldingOptimization
-Test_EtaConversionTransformation
-Test_Hoisting
-Test_NaiveClosureConversion
-Test_RecordUsageOptimization
-Test_RegisterSpilling
-Test_RemoveDeadCodeOptimization
-Test_UncurryFunctionsTransformation

test/TestSet/Test_Lang/Test_CWCPS/Test_Transformation/Test_BetaContractionOptimization.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.Transformation.BetaContractionOptimization
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.Transformation.BetaContractionOptimization" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.Transformation.BetaContractionOptimization" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_Transformation/Test_ConditionalJumpsOptimization.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.Transformation.ConditionalJumpsOptimization
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.Transformation.ConditionalJumpsOptimization" >:::
-    [
-    ]
-
-let _ = TestRegister.register_test_suite "Lang.CWCPS.Transformation.ConditionalJumpsOptimization" test_suite

test/TestSet/Test_Lang/Test_CWCPS/Test_Transformation/Test_ConstantFoldingOptimization.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-open OUnit
-
-(*********************************************************************************************************************
- * Module Under Test
- ********************************************************************************************************************)
-
-module MUT = Lang.CWCPS.Transformation.ConstantFoldingOptimization
-
-(*********************************************************************************************************************
- * Helpers
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * Tests
- ********************************************************************************************************************)
-
-(*********************************************************************************************************************
- * TestSuite
- ********************************************************************************************************************)
-
-let test_suite = "Lang.CWCPS.Transformation.ConstantFoldingOptimization" >:::