[herd] Add debug message at cat model interpretation start

herd / herdtools7

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

Other

215 stars 54 forks source link

Closed maranget closed 1 month ago

maranget commented 1 month ago

Simply one more debug message at cat interpretation start, commanded by option -debug model.