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