mirror of
https://github.com/Zenithsiz/ftmemsim-valgrind.git
synced 2026-02-05 11:10:21 +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
|