Main.hs 643 Bytes
Newer Older
1
2
module Main where

Philipp Meyer's avatar
Philipp Meyer committed
3
4
5
import System.Environment (getArgs)

import Parser (parseFile)
6
7
8
9
10
import PetriNet
import Property

checkProperty :: PetriNet -> Property -> Bool
checkProperty net p = True
Philipp Meyer's avatar
Philipp Meyer committed
11

12
main :: IO ()
Philipp Meyer's avatar
Philipp Meyer committed
13
14
15
main = do
        args <- getArgs
        let file = head args
16
17
18
        putStrLn "Safety and Liveness Analysis of Petri Nets with SMT solvers"
        putStrLn $ "Reading \"" ++ file ++ "\""
        (net,properties) <- parseFile file
19
        putStrLn $ "Analyzing " ++ showName net
20
21
22
23
        mapM_ (\p -> do
                  putStrLn $ "Checking " ++ show p
                  putStrLn $ show $ checkProperty net p
              ) properties
Philipp Meyer's avatar
Philipp Meyer committed
24