In January 2021 we will introduce a 10 GB quota for project repositories. Higher limits for individual projects will be available on request. Please see for more information.

Commit 769f3e09 authored by Philipp Meyer's avatar Philipp Meyer

Fixed two small print bugs

parent f90158e5
......@@ -305,7 +305,7 @@ checkSafetyProperty verbosity net refine f traps = do
rt <- checkSat $ checkTrapSat net assigned
case rt of
Nothing -> do
putStrLn "No trap found."
verbosePut verbosity 1 "No trap found."
return False
Just at -> do
let trap = trapFromAssignment at
......@@ -5,6 +5,6 @@ where
import Data.Char
validateId :: String -> String
validateId "" = error "empty id"
validateId "" = ""
validateId (x:xs) = (if isAlpha x then x else '_') :
map (\c -> if isAlphaNum c then c else '_') xs
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment