Skip to content

Kill Boogie and Z3 processes when Carbon is interrupted#426

Merged
gauravpartha merged 6 commits into
masterfrom
kill-z3
Jan 18, 2023
Merged

Kill Boogie and Z3 processes when Carbon is interrupted#426
gauravpartha merged 6 commits into
masterfrom
kill-z3

minor

b1f4c42
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs
⚡