barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-18 19:11:37 +03:00
Code Issues Projects Releases Wiki Activity

Take advantage of the fact that tagged is sorted

Browse Source
This commit is contained in:
Michael Walker 2015-07-21 14:38:00 +01:00
parent d4b1ea8bc5
commit 3c1dadffa6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Test/DejaFu/SCT/Internal.hs
View File

@ -111,8 +111,8 @@ findBacktrack backtrack = go [] [] where
go _ bs _ _ = bs
doBacktrack allThreads enabledThreads bs =
let tagged = zip [0..] $ tidTag (fst . _decision) 0 bs
idxs = [ (maximum is, u)
let tagged = reverse . zip [0..] $ tidTag (fst . _decision) 0 bs
idxs = [ (head is, u)
| (u, n) <- enabledThreads
, v <- allThreads
, u /= v