Parse-print-reparse error with WP strategies
Contextual information: currently used versions
- Frama-C installation mode: Opam
- Frama-C version 27.0dev (tested commit: 3396bd)
- Alt-Ergo 2.4.3
- OS name: Ubuntu
- OS version: 20.04
The issue
On the attached file, after parsing and printing the code, running frama-c again to parse the code produces an error (due to missing parentheses around a list of arguments (..)).
Commands used:
frama-c strategy.c -print -no-unicode -ocode pp_strategy.c
frama-c pp_strategy.c