Extend EQC testing for tremor-script

[Licenser]

Describe the problem you are trying to solve

Tremor Script is growing in capabilities and complexity. We started with using an EQC based specification on the language to cover the fundamentals. Tremor Script since then has gained a number of new features that are not cover, we want to increase the coverage of the specification and tests.

Describe the solution you'd like

We want to cover a large number of language features as part of the EQC testing framework. The ideal outcome would be full coverage of all features tremor script offers but it can be approached incrementally and covering a feature at a time.]

This also includes improving the interfacing between Erlang and Rust and testing integration.

An optimal outcome would be to also include the results of these tests in the code coverage.

Milestones:

• Base expression language
• string interpolation
• Records
• Arrays
• merge
• patch
• Match syntax
• Extractors
• comprehensions
• Function library
• Functions
• Fault testing

Notes

The current set of tests and the model can be found here:

https://github.com/tremor-rs/tremor-runtime/tree/main/tremor-script

Additional Material with ideas, helpful context or useful information:

• a rust erlang interface
• EQC documentation
• Some EQC getting started guide
• Slindes from an EQC workshop
• Another quickcheck workshop
• A chapter on EQC with elixir
• Software Testing with QuickCheck
• Testing C Code with EQC
• Testing firmware with EQC
• Model-based testing of data types with side effects

[Licenser]

/cc @diru1100 (for reference)

[me-diru]

Hey @Licenser
Thank you for looping me in
Excited to work on this ^_^

[Licenser]

Oppsie, my bad