search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
225 stars 62 forks source link

[asl] Avoid warning by redefining ASL function #932

Closed maranget closed 2 months ago

maranget commented 2 months ago

ASL function AltDecodeBitMask triggers a waning at typing time, The warning occurs systematically, while this function is not called.

The warning is silenced by overriding the function. The new definition fails so that one would get informed if the function is ever called in the future.

The PR also deletes all stderr reference files in herd/tests/instructions/AArch64.ASL.