| # Debugging options for the org.eclipse.ocl.xtext.base plug-in | |
| # Turn on general reference lookup tracing | |
| org.eclipse.ocl.xtext.base/lookup=false | |
| # Turn on general work tracing | |
| org.eclipse.ocl.xtext.base/work=false | |
| # Turn on cs 2 as continuation tracing | |
| org.eclipse.ocl.xtext.base/continuation=false | |
| # Turn on debug retry of failed lookups | |
| org.eclipse.ocl.xtext.base/debug/retry=false | |