Adding test for symbolic backend.
Fixing NullPointerException in symbolic backend.
Fixing the symbolic backend: require --backend symbolic for krun; fixed the smt solver (missing) call.
Added a regression test for the symbolic backend, which tests all its important features.
Added copyright forms.
Fixed messed up configuration file: wrong arguments for programs and results dirs.
Changed definition for test. Renamed symbolic-kompile dir to test1.
Use the MaudeBackend instead of SymbolicBackend.
Use regex to match program output
Forgot reference to unexistent package.
Fixing the -d issue and added regex attribute
Merge pull request #383 from andreiarusoaie/symbolic-kompile

Symbolic kompile