Skip to content
GitLab
  • Explore
  • Sign in
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #219

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.

Assignee
Assign to
Time tracking

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent