* * CRANGLER 6.11.0 (cbmc-6.11.0-dirty) 64-bit * * Usage: Purpose: crangler [-?] [-h] [--help] show this help crangler file.json ... configuration file names
Examples (1) from the manual page, untested
{
The following JSON configuration file makes crangler preprocess remove_static1.c.