Files

François 0459c9ff27 removed support of xml and json config.

Changed the evaluation pattern to $|x|.

2026-01-04 15:10:11 +01:00

2026-01-04 15:10:11 +01:00

main.tum

Project restart

2025-12-29 10:46:05 +01:00

param.yaml

2026-01-04 15:10:11 +01:00

post_execution.py

Project restart

2025-12-29 10:46:05 +01:00

README.md

Project restart

2025-12-29 10:46:05 +01:00

Validation

This directory contains the necessary material to run the testium validation.

Here is the documentation on how to configure the validation, run it and check that the results are correct.

Tests

TBD