Regarding the issue of output

[Liangchen]

Dear Developers,

I hope to output the result files not to be saved in ./output, but to be output to a directory that I can specify myself. Which part of the code needs to be modified to achieve this?

Yours,

Liangchen

[Philipp Wendler]

Dear Liangchen,

thank you for your interest in CPAchecker!

Am 08.06.24 um 05:28 schrieb Liangchen:

> I hope to output the result files not to be saved in ./output, but to be
> output to a directory that I can specify myself. Which part of the code
> needs to be modified to achieve this?

Do you want to change the output path when running CPAchecker?
You can do so easily via the command-line argument -outputpath.

Or are you implementing something in CPAchecker and want to change the
directory of some particular output file?
We do not support this because we tell users that they can find all
output files in the common output directory.
You can put some output files into subdirectories, however, like we do
with output/cfa/.

Greetings
Philipp
--
Philipp Wendler
Software and Computational Systems Lab
LMU Munich, Germany
Oettingenstr. 67 Raum F008 - Tel.: 089/2180-9181