fix asynchronous state tracking in ufuzz (#4369)

This commit is contained in:
Alex Lam S.L
2020-12-11 21:19:56 +00:00
committed by GitHub
parent 58dff9ada3
commit 2123f38394

View File

@@ -516,10 +516,13 @@ function createAssignmentPairs(recurmax, noComma, stmtDepth, canThrow, varNames,
var key = index in keys ? keys[index] : rng(10) && createKey(recurmax, keys);
return key ? key + ": " + name : name;
}).join(", ")) + " }");
var save_async = async;
if (was_async != null) async = was_async;
values.unshift("{ " + addTrailingComma(pairs.values.map(function(value, index) {
var key = index in keys ? keys[index] : createKey(recurmax, keys);
return key + ": " + value;
}).join(", ")) + " }");
async = save_async;
}
break;
default: