!html

Reply to: noreply@sort.ucd.ie }}} {{{ Bugs item #511, was opened at 2006-12-04 14:53 You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=441&aid=511&group_id=97

Category: None Group: CVS HEAD Status: Open Resolution: None Priority: 5 Submitted By: Radu Grigore (rgrig) Assigned to: Radu Grigore (rgrig) Summary: Run escjava on itself

Initial Comment: Run ESC/Java on itself (make self_test). Write down

run time (huge)
bugs (such as out of memory exception thrown for some classes)
a summary of other observations with statistics (such as percent of methods that have VC too big)

Comment By: Patrice Chalin (chalin) Date: 2006-12-06 00:20

Message: You might want to run jml on it first (this weeds out obvious spec errors with escj fails to ignore).

You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=441&aid=511&group_id=97 }}}

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:08:00 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:13:52 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:18:08 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Thu Jan 10 18:17:56 2008

Duplicate of #200

kiniry / Mobius

[ escjava-Bugs-511 ] Run escjava on itself #139

!html