Expand description
Crate implementing common functionalities for all Verifier applications (console and GUI)
Following functionalities are provided
- runner::Runner provides the possibility to run all the verifications
extractprovides the functionalities to extract the zip files- run_information::RunInformation stores all the information about the current running
- report provides the possibility to report the actual stituation
Modules§
Structs§
- Extract
Data SetResults - RunInformation
- This structure contains all the information about the actual run.
- RunParallel
- Strategy to run the tests concurrently
- RunSequential
- Strategy to run the tests sequentially
- Runner
- Structure defining the runner
- Runner
Error - Error during the runner
- Runner
Information - Information of the runner, that can be used to know some information about the runner.
- Verification
RunInformation - Srtucture to collect the information of the run of a verification