Skip to content

Bound the prover subprocesses, and kill the tree when one wedges - #191

Open
shellygr wants to merge 1 commit into
masterfrom
shelly/prover-subprocess-timeout
Open

Bound the prover subprocesses, and kill the tree when one wedges#191
shellygr wants to merge 1 commit into
masterfrom
shelly/prover-subprocess-timeout

Bound the prover subprocesses, and kill the tree when one wedges

f47afc5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar