Add debug version of make all
Renamed folder for solver tests to match the test runner's name
Add missing folder
Fix problem with injecting empty strings
Add additional test to concolic