Skip to content

Allow filtering what proof trees are dumped to stdout via a rustc attr#113694

Closed
BoxyUwU wants to merge 2 commits into
rust-lang:masterfrom
BoxyUwU:proof_tree_dump_filtering
Closed

Allow filtering what proof trees are dumped to stdout via a rustc attr#113694
BoxyUwU wants to merge 2 commits into
rust-lang:masterfrom
BoxyUwU:proof_tree_dump_filtering

use `dump-solver-proof-tree` in a test

85bfe07
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs