diff options
| author |  kuruis <unknown> | 2013-12-29 02:10:46 -0800 |
|---|---|---|
| committer | kuruis <unknown> | 2013-12-29 02:10:46 -0800 |
| commit | 148e6adb6b1d60b34c93523dbda2266c887a3d6d (patch) | |
| tree | 8ed9e5ce31f50508389e9f06ac959e36b0cd1950 /Test/og/parallel2.bpl | |
| parent | 97d289bddf594c2d363e589a2370a6140e8bcee5 (diff) | |
yieldtypesafe and yieldreachability automatons are separated.
integration of parallel call cmds done
points (1 and 3) on Shaz's email are done
Diffstat (limited to 'Test/og/parallel2.bpl')
0 files changed, 0 insertions, 0 deletions