Home My Page Projects The Why platform
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

[#8070] Assertion failure

Date:
2009-06-17 13:14
Priority:
3
State:
Open
Submitted by:
Jacek ChrzÄ…szcz (chrzaszc)
Assigned to:
Nobody (None)
Hardware:
none
Product:
none
Operating System:
none
Component:
none
Version:
none
Severity:
none
Resolution:
none
URL:
Summary:
Assertion failure

Detailed description
Hi,

When running krakatoa on the attached KeyPool.java file, an assertion failure is reported.

chrzaszcz@drzewo:~/Granty/Mobius/BML/fmco/tmp$ krakatoa -version
This is Krakatoa version 2.18, compiled on pon, 25 maj 2009, 15:48:34 CEST

chrzaszcz@drzewo:~/Granty/Mobius/BML/fmco/tmp$ krakatoa KeyPool.java
Warning: KeyPool is not a subpackage of .
Parsing OK.
Typing OK.
Generating JC function KeyPool_insert for method KeyPool.insert
Generating JC function cons_KeyPool for constructor KeyPool
File "java/java_interp.ml", line 1748, characters 26-26:
Fatal error: exception Assert_failure("java/java_interp.ml", 1748, 26)

Bests,

Jacek

No Comments Have Been Posted

Attachments:
Size Name Date By Download
1006 bytesKeyPool.java2009-06-17 13:14chrzaszcKeyPool.java
5 KiBkrakatoa.log2009-06-17 13:14chrzaszckrakatoa.log
Field Old Value Date By
File Added1362: KeyPool.java2009-06-17 13:14chrzaszc
File Added1363: krakatoa.log2009-06-17 13:14chrzaszc