using GPU adapter: Apple M1 Max
...
Got device: <wgpu::Device 0x1>
Creating shader module...
[Asyncify] addSleepTaskOnce Data-Race Validation
Shader module: <wgpu::ShaderModule 0x1>
Creating render pipeline...
Render pipeline: <wgpu::RenderPipeline 0x1>
[Asyncify] addSleepTaskOnce RenderPassEncoderRelease
[Asyncify] addSleepTaskOnce TextureViewRelease
[Asyncify] addSleepTaskOnce CommandEncoderRelease
[Asyncify] addSleepTaskOnce QueueSubmit[1]
[Asyncify] addSleepTaskOnce QueueOnSubmittedWorkDone[1]
[Asyncify] addSleepTaskOnce CommandBufferRelease
[Asyncify] running SleepTasks [
'Data-Race Validation',
'RenderPassEncoderRelease',
'TextureViewRelease',
'CommandEncoderRelease',
'QueueSubmit[1]',
'CommandBufferRelease',
'QueueOnSubmittedWorkDone[1]'
]
Running [ './faial-drf --all-dims --all-levels --json <wgsl_json>' ]
Kernel DRF status { fs_main: true, vs_main: true }
All Kernels Data-Race Free? true
[Asyncify] running SleepTasks []
[Asyncify] addSleepTaskOnce Data-Race Validation
[Asyncify] addSleepTaskOnce QueueSubmit[1]
[Asyncify] addSleepTaskOnce QueueOnSubmittedWorkDone[1]
[Asyncify] addSleepTaskOnce CommandEncoderRelease
[Asyncify] addSleepTaskOnce CommandBufferRelease
[Asyncify] addSleepTaskOnce BufferMapAsync
[Asyncify] running SleepTasks [
'Data-Race Validation',
'QueueSubmit[1]',
'CommandEncoderRelease',
'CommandBufferRelease',
'BufferMapAsync',
'QueueOnSubmittedWorkDone[1]'
]
Running [ './faial-drf --all-dims --all-levels --json <wgsl_json>' ]
Kernel DRF status { fs_main: true, vs_main: true }
All Kernels Data-Race Free? true
PNG size: 0x40589d0B
...