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.
The value of dbg_real
is "dbt.txt"
but should be "dbg.txt.real"
, for copy_all.tooldef
to work.
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent