Expand description
An interpreter based one JIT compilation of the StreamIR
Modules§
- csv
- Provides an interface for reading inputs from a csv file and writing verdicts as CSV.
- verdict
- Contains the representation returned by the monitor after evaluating one evaluation cycle. Contains the newly computed stream values and triggers.