Skip to content

Commit

Permalink
[925] Remove debug tracing
Browse files Browse the repository at this point in the history
  • Loading branch information
uroboros committed Oct 23, 2019
1 parent 40661cd commit c3162ec
Showing 1 changed file with 1 addition and 3 deletions.
Expand Up @@ -93,8 +93,6 @@ import qualified Hedgehog.Extra.Manual as Manual

import Test.Goblin (Goblin (..), GoblinData, SeedGoblin (..))

import qualified Debug.Trace as D

class STS s => HasTrace s where
-- | Generate an initial environment that is based on the given trace length.
envGen
Expand Down Expand Up @@ -332,7 +330,7 @@ genTraceOfLength aTraceLength profile env st0 aSigGen =
loop (d - 1) sti acc
Just sig ->
case applySTS @s (TRC(env, sti, sig)) of
Left _err -> D.trace (show _err) (loop (d - 1) sti acc)
Left _err -> loop (d - 1) sti acc
Right sti' -> loop (d - 1) sti' ((sti', sigTree) : acc)

interleaveSigs
Expand Down

0 comments on commit c3162ec

Please sign in to comment.