Added new test case about arrays

Signed-off-by: Herbert <herberthb12@gmail.com>
Added first updated in run_training_svcomp_details.py to support CPAChecker re-check

Signed-off-by: Herbert <herberthb12@gmail.com>
Update script to experiments

Now with support to CPAChecker re-check

Signed-off-by: Herbert <herberthb12@gmail.com>
Commented the partial support to alloc C function

Signed-off-by: Herbert <herberthb12@gmail.com>
Update README file

Signed-off-by: Herbert <herberthb12@gmail.com>
Applying a method to compact the trace log

Signed-off-by: Herbert <herberthb12@gmail.com>
Update the strategy to optimize the trace log

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Minor changes

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Update the trace log generation

The optimization is based on remove the duplicated lines in the trace taking as base the line number and the
address memory

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Updating script to run the experiments with details

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Updated the trace log generation

Signed-off-by: Herbert <herberthb12@gmail.com>
Fixed bug in script to experiments details

Bug related to stderr not correctly be write in the log

Signed-off-by: Herbert <herberthb12@gmail.com>
Fixing bug in the scrit experiments details to generate graphml

Signed-off-by: Herbert <herberthb12@gmail.com>
Added a script to simlute the SVCOMP execution tests

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Updated actual branch to test in the server

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Replaced the file name of map2check-fortes.py by map2check.py

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Removed tokenizer program from the procedures in configure.py

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Removed uncrustify file from project

Now it is necessary the installation by the user

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Removed the use of configure.py

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Renamed wrapper script to tool

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>