# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1359738183 -3600
# Node ID d4aaa46cac0d92fd081c94be90dcae92dd765477
# Parent  693745d01b55cd08f3e9e9a128a40d3bb34f6c7d
AssertionError report as errors

diff -r 693745d01b55 -r d4aaa46cac0d vmtest/src/main/java/org/apidesign/bck2brwsr/vmtest/impl/Bck2BrwsrCase.java
--- a/vmtest/src/main/java/org/apidesign/bck2brwsr/vmtest/impl/Bck2BrwsrCase.java	Fri Feb 01 18:02:16 2013 +0100
+++ b/vmtest/src/main/java/org/apidesign/bck2brwsr/vmtest/impl/Bck2BrwsrCase.java	Fri Feb 01 18:03:03 2013 +0100
@@ -110,6 +110,9 @@
             } catch (InvocationTargetException ex) {
                 Throwable t = ex.getTargetException();
                 value = t.getClass().getName() + ":" + t.getMessage();
+                if (t instanceof AssertionError) {
+                    throw t;
+                }
             }
         }
     }
diff -r 693745d01b55 -r d4aaa46cac0d vmtest/src/test/java/org/apidesign/bck2brwsr/tck/AssertionTest.java
--- a/vmtest/src/test/java/org/apidesign/bck2brwsr/tck/AssertionTest.java	Fri Feb 01 18:02:16 2013 +0100
+++ b/vmtest/src/test/java/org/apidesign/bck2brwsr/tck/AssertionTest.java	Fri Feb 01 18:03:03 2013 +0100
@@ -28,8 +28,12 @@
 public class AssertionTest {
 
     @Compare public Object checkAssert() throws ClassNotFoundException {
-        assert false : "Is assertion status on?";
-        return null;
+        try {
+            assert false : "Is assertion status on?";
+            return null;
+        } catch (AssertionError ex) {
+            return ex.getClass().getName();
+        }
     }
     
     @Factory