create parser program with debug output
Create a command line tool which is able to compile state chart input files to SMT2-Lib.
Input:
- XML-File (required): the state chart to process
- Haskell with sbv -Expression (optional): the statement to prove (defaulting to
true
) - time-step (required): the time step which is defined by the state chart
The tool shall generate an SMT2-Lib file.
Further arguments for optional output shall be providable (e.g. print lexed state chart)
Blocked by: #15 (closed)