restructure testing pipeline

[fabaindaiz]

This pull request introduces significant enhancements and new features to the Black-Box Compiler Tester (BBCTester). The key changes include the addition of configurable test pipelines, new runtime and compiler functionalities, and improvements in test file parsing and handling.

Enhancements to BBCTester:

• Configurable Test Pipelines:

  • Added the ability to configure or modify the steps executed in the test pipeline, allowing BBCTester to be used with different compilers, such as OCaml compilers. (README.md README.mdR6-R15)
  • Introduced new runtime and compiler functionalities, including support for clang and gcc runtimes, and direct output handling. (runtime.ml dev/runtime.mlR1-R96)

• Test File Parsing and Handling:

  • Implemented functions to parse test files, extract relevant sections, and handle errors. (file.ml [1] file.mli [2]
  • Added support for reading and processing test files, including handling different test statuses and expected results. (main.ml [1] main.mli [2]

• Pipeline and Utility Functions:

  • Created a pipeline module to manage the compilation and execution of tests, including handling different types of compilers and runtimes. (pipeline.ml dev/pipeline.mlR1-R33)
  • Added utility functions for string processing, file handling, and capturing stdout from functions. (util.ml dev/util.mlR1-R97)

• Test and Type Definitions:

  • Defined OCaml types for representing test files, statuses, compilers, and runtimes. (type.ml [1] type.mli [2]
  • Added functions to generate and run tests using Alcotest, including support for legacy definitions. (test.ml [1] test.mli [2]

• Library Configuration:

  • Configured the library with dune, specifying the modules and dependencies required for BBCTester. (dune dev/duneR1-R5)

These changes collectively enhance the flexibility, usability, and functionality of BBCTester, making it more adaptable to various compiler testing scenarios.