Fix running tests locally.
Merge pull request #32 from klee-web/fix_local_tests

Fix running tests locally.
Merge pull request #31 from klee-web/kill_task

Can delete active and pending tasks.
Inital commit for invalid test cases.