More tests
Correct realization of red char
Refactor: simpler data structure

Since we remove no vertices of the red-black graph, there is no need for
some fields of the instance data structure.
Fixed decision tree level selection
test instance cleanup
begin refactor
more checks
move all operations on state_s to accept a pointer
Fixed bug in allocating memory for a state
All tests passed
Avoid using uninitialized memory
initial regression tests
Regression tests
simple tests
first version of regression tests
Do not remove run-tests.sh when cleaning
send output to file
Fixed several tests
More than one instance in an input file

To test all possible small instances, we need to group together more
instances, otherwise we would have too many files.
Remove malloc, if possible