Handle missing `(include ...)` files without REPL panic
#876Comparing
copilot/fix-repl-panic-on-include-failure
(c643f7b
) withmain
(629b0b2
)+7%
- Improvement
- 1
- Untouched
- 49
- Skipped
- 190
Benchmarks
240 total
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs+7%
28.6 ms26.8 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs+4%
351.7 µs337.4 µs
tests[repro-665-set-union]
benches/ci_benchmarking.rs+3%
982.1 ms955.4 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs+3%
138.4 ms134.8 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs+1%
7.8 s7.7 s
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs+1%
280.3 ms278.5 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
79 ms78.7 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs0%
209.5 ms209 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.7 s1.7 s
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs0%
286 ms285.3 ms
tests[herbie]
benches/ci_benchmarking.rs0%
187.3 ms186.9 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
127.3 ms127.2 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs0%
539.6 µs539 µs
tests[typeinfer]
benches/ci_benchmarking.rs0%
128 ms127.9 ms
tests[taylor51]
benches/ci_benchmarking.rs0%
4.4 s4.4 s
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs0%
280.7 ms280.6 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs0%
67.3 ms67.3 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs0%
10 s10 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs0%
15.9 ms15.9 ms
tests[cykjson]
benches/ci_benchmarking.rs0%
440.1 ms440.1 ms
tests[rectangle]
benches/ci_benchmarking.rs0%
12.1 s12.1 s
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs0%
12.3 ms12.3 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs0%
2.9 s2.9 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.6 s1.6 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8 s8 s
Commits
Click on a commit to change the comparison rangeBase
main
629b0b2
+6.98%
Refine missing-include test path generation
c643f7b
3 days ago
by Copilot