mirror of
https://github.com/ioacademy-jikim/debugging
synced 2025-06-10 09:26:15 +00:00
6 lines
173 B
Plaintext
6 lines
173 B
Plaintext
vc1: [ 3: 7, 5: 8 ]
|
|
vc2: [ 1: 4, 3: 9 ]
|
|
vc3: [ 1: 4, 3: 9, 5: 8 ]
|
|
vc_lte(vc1, vc2) = 0, vc_lte(vc1, vc3) = 1, vc_lte(vc2, vc3) = 1
|
|
vc_lte([ 1: 3, 2: 1 ], [ 1: 4 ]) = 0 sw 0
|