-
Notifications
You must be signed in to change notification settings - Fork 88
Expand file tree
/
Copy pathand_ambiguous2.expected
More file actions
27 lines (27 loc) · 2.98 KB
/
Copy pathand_ambiguous2.expected
File metadata and controls
27 lines (27 loc) · 2.98 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
┌──────────────────────────────────┐
│ _ │
└──────────────────────────────────┘
│
│ Entry main
▼
┌──────────────────────────────────┐
│ _ │
└──────────────────────────────────┘
│
│ Proc '__goblint_split_begin(b)'
▼
┌───┐ Test (a && b,false) ┌──────────────────────────────────┐ Test (a && b,false) ┌───┐
│ _ │ ◀───────────────────── │ _ │ ─────────────────────▶ │ _ │
└───┘ └──────────────────────────────────┘ └───┘
│ │ │
│ │ Test (a && b,true) │
│ ▼ │
│ ┌──────────────────────────────────┐ │
│ │ _ │ │
│ └──────────────────────────────────┘ │
│ │ │
│ │ Ret (Some 1, main) │
│ ▼ │
│ Ret (Some 0, main) ┌──────────────────────────────────┐ Ret (Some 0, main) │
└────────────────────────▶ │ _ │ ◀────────────────────────┘
└──────────────────────────────────┘