diff options
| author | Fabian Meumertzheim <meumertzheim@code-intelligence.com> | 2021-05-04 19:27:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-04 19:27:25 +0200 |
| commit | de0189a7edd68086e7878a8fcd60508d557d01e9 (patch) | |
| tree | 3370247d60627108e3ba1604f35d3ba41f7752c0 /agent | |
| parent | d1ab8409c835bbe6a64610e8f4f2243786bb7dc2 (diff) | |
| download | jazzer-api-de0189a7edd68086e7878a8fcd60508d557d01e9.tar.gz | |
Commit coverage IDs to disk before releasing the lock (#92)
Diffstat (limited to 'agent')
| -rw-r--r-- | agent/src/main/java/com/code_intelligence/jazzer/agent/CoverageIdStrategy.kt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/agent/src/main/java/com/code_intelligence/jazzer/agent/CoverageIdStrategy.kt b/agent/src/main/java/com/code_intelligence/jazzer/agent/CoverageIdStrategy.kt index ee562104..34afec0a 100644 --- a/agent/src/main/java/com/code_intelligence/jazzer/agent/CoverageIdStrategy.kt +++ b/agent/src/main/java/com/code_intelligence/jazzer/agent/CoverageIdStrategy.kt @@ -181,6 +181,7 @@ internal class SynchronizedCoverageIdStrategy(private val idSyncFile: Path) : Co // We are the first to instrument this class and should record the number of IDs in the sync file. check(cachedFirstId != null) localIdFileLock.channel().append("$cachedClassName:$cachedFirstId:$idCount\n") + localIdFileLock.channel().force(true) } idFileLock = null cachedFirstId = null |