No error handling for alloystar subprocess

mc-imperial / spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy

Apache License 2.0

2 stars 0 forks source link

No error handling for alloystar subprocess #3

Closed Jack-Clark closed 2 years ago

Jack-Clark commented 2 years ago

isCFGdeemedFeasible.py doesn't check the returncode of alloystar. This means that the program will appear to run successfully even when alloystar fails.

I've created this pull request #2 to fix the issue.