# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@oracle.com>
# Date 1439451726 -7200
# Node ID f54d7e045a37962ce342cf4ab50aa87234732c25
# Parent  60f3cb2c3a567e53c58e955486b64c7993bb2765
Verify the two TruffleVM instances are different - otherwise the isolation cannot work

diff -r 60f3cb2c3a56 -r f54d7e045a37 truffle/com.oracle.truffle.tck/src/com/oracle/truffle/tck/TruffleTCK.java
--- a/truffle/com.oracle.truffle.tck/src/com/oracle/truffle/tck/TruffleTCK.java	Fri Aug 07 21:01:12 2015 +0200
+++ b/truffle/com.oracle.truffle.tck/src/com/oracle/truffle/tck/TruffleTCK.java	Thu Aug 13 09:42:06 2015 +0200
@@ -214,8 +214,12 @@
     public void testCoExistanceOfMultipleLanguageInstances() throws Exception {
         final String countMethod = countInvocations();
         TruffleVM.Symbol count1 = findGlobalSymbol(countMethod);
+        TruffleVM vm1 = tckVM;
         tckVM = null; // clean-up
         TruffleVM.Symbol count2 = findGlobalSymbol(countMethod);
+        TruffleVM vm2 = tckVM;
+
+        assertNotSame("Two virtual machines allocated", vm1, vm2);
 
         int prev1 = 0;
         int prev2 = 0;