GitHub Actions run
Instrumentation
12 days ago 04cfa42 MichaReiser:fixpoint-maybe-changed-after-run-away pull_requestCompare
Base
Search a run
Head
Comparefix: Runaway for unchanged queries participating in cycle
#981
MichaReiser:fixpoint-maybe-changed-after-run-away
12 days ago
Benchmarks
accumulator
benches/accumulator.rs::benches::accumulator::accumulator3.3 ms
amortized[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[SupertypeInput]3.1 µs
many_tracked_structs
benches/incremental.rs::benches::many_tracked_structs::many_tracked_structs8.8 µs
mutating[10]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[10]14.2 µs
mutating[30]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[30]15.1 µs
new[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs::new[InternedInput]4.6 µs
amortized[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[InternedInput]2.2 µs
mutating[20]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[20]14.9 µs
converge_diverge
benches/dataflow.rs::benches::dataflow::converge_diverge130.5 µs
amortized[Input]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[Input]2.3 µs
new[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs::new[SupertypeInput]16.4 µs
new[Input]
benches/compare.rs::benches::inputs::Mutating Inputs::new[Input]10.3 µs