Closed bh2smith closed 1 year ago
This is unnecessary and annoying (since it has a default value). Also closes #30 (adding is_complete to ExecutionState).
This is unnecessary and annoying (since it has a default value). Also closes #30 (adding is_complete to ExecutionState).