Closed chlohal closed 2 years ago
Fixed the issue! I made it more precise with long states over the weekend by making the initStartingDeltaVariables
procedure run in loop, but I forgot to toggle off the flag for re-running it! Therefore, it'd run every time :(
AfterStatements wait eternally