Skip to content
Run Tests

Update src/transition_systems/clock_reduction/reduction.rs #183

Sign in to view logs

Update src/transition_systems/clock_reduction/reduction.rs

Update src/transition_systems/clock_reduction/reduction.rs #183

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Tests Ubuntu
1m 18s
1m 18s