Next:
Debugging approaches
Up:
Core Maude
Previous:
Tokens, bubbles, and metaparsing
Contents
Debugging and Troubleshooting
Subsections
Debugging approaches
Tracing
Term coloring
The debugger
The profiler
Performance note
Traps and known problems
Associativity and idempotency
Segmentation fault (core dumped)
Bare variable lefthand sides
Operator overloading and associativity
Preregularity and equational attributes
Collapse theories
One-sided identities and associativity
Memberships for associative operators
Memberships for iterated operators
The Maude Team
