Share

Overture Tool

Tracker: Bugs

5 Breakpoints in VDM-SL not wokring - ID: 2894116
Last Update: Tracker Item Submitted ( lausdahl )

It is not possible to set a breakpoint in the IDE when debugging a VDM-SL
project. //found by PGL


Kenneth Lausdahl ( lausdahl ) - 2009-11-08 12:25

5

Open

None

Christian Thillemann

Editor

None

Public


Comments

No follow-up comments have been posted.

Attached File

No Files Currently Attached

Change

No changes have been made to this artifact.