Add failing tests
Add successful test
Add colored terminal output to test runner
Merge pull request #5 from thpani/run_tests_color_output

Add colored terminal output to test runner
Merge pull request #4 from thpani/tests

Tests
move failing tests to fail directory
show how to fix array problem
more tests
lift wrap out of SymbolicInt
update slides
minor fixes, more tests
Merge remote-tracking branch 'upstream/master'
Remove failing tests from test directory