translate the contract of abstract methods

rgrig / freeboogie

Automatically exported from code.google.com/p/freeboogie

0 stars 0 forks source link

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Abstract methods in Java are ignored by BmlToBpl. They should be translated 
into Boogie procedures with no implementation.

Original issue reported on code.google.com by radugrig...@gmail.com on 20 Feb 2010 at 7:55