test_cif2mcrl2.tooldef dbg_real variable value incorrect
The value of `dbg_real` is `"dbt.txt"` but should be `"dbg.txt.real"`, for `copy_all.tooldef` to work.
issue
Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent