Add error handling to alloystar command

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 2 years ago

Jack-Clark commented 2 years ago

This prevents the program running any further if the alloystar subprocess's returncode to is non-zero.