Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Strictly speaking this is not correct, since uninitialized flows are valid flows. But for the purpose of electric we work with initialized ones. We can remove or make this check optional in the future if need be.
- Loading branch information