[litmus] Fix wrong behavior in presi mode

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Other

219 stars 56 forks source link

Closed maranget closed 4 months ago

maranget commented 4 months ago

Combination of options -mode presi -ascall false was producing C code that could not compile when there is no exported labels in code.

Notice: If some labels need to be exported legitimately, then the setting -ascall true applies without notice.

maranget commented 4 months ago

Problem found with PR #845.

maranget commented 4 months ago

Merged, thanks @relokin.