New columns in tables

[paolo-di-biase]

Is it possible to add more columns in tables? it will be very helpful to have a column for the formula size.

[PhilippWendler]

Yes! First, you need to have a get_value_from_output method in your tool-info module. This receives as a parameter the tool output and an identifier for what it should look (such that you do not need to hard-code the selection in the tool-info module). Then you need to specify this identifier in a <column> tag (docs). There are two ways to do this: Either you add the <column> tag directly to the benchmark definition that you give to benchexec. Then the value will be extracted after the run (by calling the above method for each run) and stored in the .results.xml.bz2 file. table-generator will then use it automatically. The disadvantage is that you need to decide to add the <column> tag before the benchmarking. If you want to extract values afterwards, you need to write a table-definition file and add the <column> tag there (instead of passing the .results.xml.bz2 file directly to table-generator.

Example from CPAchecker:

• get_value_from_output
• benchmark definition with <column>
• resulting table