"Prove it" does not launch selection

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)

BSD 3-Clause "New" or "Revised" License

5 stars 3 forks source link

"Prove it" does not launch selection #85

Closed jspam closed 12 years ago

jspam commented 12 years ago

When activating the Project Explorer, selecting a file and pressing Prove it, not the selected file is passed to the prover, but the file currently open in the editor. It should be the selected file, in accordance with the Run and Debug buttons.