more fixes

Author: gustavo-grieco

lib/Echidna/Output/Source.hs

@@ -166,10 +166,9 @@ markLines fileType codeLines runtimeLines resultMap =
           cssClass = if n `elem` runtimeLines then getCSSClass markers else "n" -- fallback to 'neutral' class.
         result = case fileType of
           Lcov -> pack $ printf "DA:%d,%d" n (length results)
-          _ -> pack $ printf " %*d | %-4s| %s" lineNrSpan n markers (wrapLine codeLine)
+          _ -> pack $ printf " %-4s %s" markers (wrapLine codeLine)
 
     in result
-  lineNrSpan = length . show $ V.length codeLines + 1
 
 getCSSClass :: String -> Text
 getCSSClass markers =

lib/Echidna/Transaction.hs

@@ -78,7 +78,7 @@ genTx world deployedContracts = do
       call <- genInteractionsM genDict sigs
       pure (addr, call)
     else do
-      usePrioritized <- (<= (0.9 :: Double)) <$> getRandom
+      usePrioritized <- (<= (0.25 :: Double)) <$> getRandom
       if usePrioritized
         then do
            (pName, pArgs) <- rElem (NE.fromList prioritized)