diff options
author | 2016-01-17 19:11:04 -0800 | |
---|---|---|
committer | 2016-01-17 19:11:04 -0800 | |
commit | f75e5ba707885666ead81d7c5ec1653e7a09f3ff (patch) | |
tree | 074a3fb6a84097236c06057dd279f423341ccdfa /Test/civl/StoreBuffer.bpl | |
parent | 107dae2093c2049c674cb4a32cd01143765893b9 (diff) |
updated the example to implement the allocation of thread identifiers;
this example provides another illustration of abstracting ordinary
variables by linear variables
Diffstat (limited to 'Test/civl/StoreBuffer.bpl')
0 files changed, 0 insertions, 0 deletions