Add a timeout for processing CFGs with Alloy

mc-imperial / spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy

Apache License 2.0

2 stars 0 forks source link

Closed Jack-Clark closed 1 year ago

Jack-Clark commented 1 year ago

Default value is 5 mins. This avoids hanging on CFGs that don't trigger an out of memory error, but make no progress after many hours of trying.