Serge Barral 0f1d876aed Return both simulation and scheduler at init

2024-11-15 16:52:24 +01:00

..

main.rs

Report panics as errors + identify panicking model

2024-11-13 19:40:58 +01:00

model_scheduling.rs

Return both simulation and scheduler at init

2024-11-15 16:52:24 +01:00

simulation_clock_sync.rs

Return both simulation and scheduler at init

2024-11-15 16:52:24 +01:00

simulation_deadlock.rs

Return both simulation and scheduler at init

2024-11-15 16:52:24 +01:00

simulation_panic.rs

Return both simulation and scheduler at init

2024-11-15 16:52:24 +01:00

simulation_scheduling.rs

Return both simulation and scheduler at init

2024-11-15 16:52:24 +01:00

simulation_timeout.rs

Return both simulation and scheduler at init

2024-11-15 16:52:24 +01:00