diff options
| author | Gaëtan Gilbert | 2020-01-06 14:35:08 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-01-27 14:12:52 +0100 |
| commit | 72201ba9afb95ed0bfdd9e9e2cdeb089b7224a76 (patch) | |
| tree | 689b991242ee441c15ef244a85b80f0912eeeebe /stm/asyncTaskQueue.ml | |
| parent | 506b35913103c17e4d27663aa0f977452d5815b0 (diff) | |
Checker: use inductive's check_template flag
And enable related test.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions