Add flag to track nested fork detection

This commit is contained in:
Akash Levy 2026-05-27 03:05:11 -07:00 committed by GitHub
parent 10a4056e3b
commit d6216ea85d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions

View File

@ -63,6 +63,7 @@ private:
void extractVarNames();
void registerVar(const FstVar &var);
bool fork_vars_had_nested_fork = false; // Track if nested fork was detected
struct fstReaderContext *ctx;
std::vector<FstVar> vars;
std::map<fstHandle, FstVar> handle_to_var;