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

Throw error in incorporateTrace if no to-do points.

Browse Source
This commit is contained in:
Michael Walker 2017-02-25 05:33:29 +00:00
parent 0079254b8b
commit 3efc8acaed
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dejafu/Test/DejaFu/SCT/Internal.hs
View File

@ -167,7 +167,7 @@ incorporateTrace dependency conservative trace dpor0 = grow initialDepState (ini
, dporTodo = M.delete tid' (dporTodo dpor) , dporTodo = M.delete tid' (dporTodo dpor)
, dporDone = done , dporDone = done
} }
grow _ _ [] dpor = dpor grow _ _ [] _ = err "incorporateTrace" "trace exhausted without reading a to-do point!"
-- Construct a new subtree corresponding to a trace suffix. -- Construct a new subtree corresponding to a trace suffix.
subtree state tid sleep ((_, _, a):rest) = subtree state tid sleep ((_, _, a):rest) =