Commit 8b39e9ad authored by Vivien Kraus's avatar Vivien Kraus

Simplify the generated code

The current code is too slow to process through frama-c.  With a set
of assignments like that, it should be easier to process.
parent b3554f5d
Pipeline #174122 passed with stages
in 38 minutes and 53 seconds