From 6c5ac7c2425c1f8797ec988ccfa8f465f88948d7 Mon Sep 17 00:00:00 2001
From: Guillaume Maudoux <guillaume.maudoux@uclouvain.be>
Date: Tue, 28 Aug 2018 22:55:59 +0200
Subject: [PATCH] Disable vm tests for now (see #313)

---
 platform-test/CMakeLists.txt | 2 +-
 platform-test/base/vm.oz     | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/platform-test/CMakeLists.txt b/platform-test/CMakeLists.txt
index e144fc152..76609bc47 100644
--- a/platform-test/CMakeLists.txt
+++ b/platform-test/CMakeLists.txt
@@ -12,7 +12,7 @@ set(BASE_FUNCTORS
     #"weakdictionary.oz" "weakdictionaryGC.oz"
     #"finalize.oz" "gc.oz"
     "state.oz" "thread.oz"
-    "vm.oz"
+    #"vm.oz" #FIXME vm tests are buggy, see #313.
     "reflection.oz" "serializer.oz"
 )
 file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/base")
diff --git a/platform-test/base/vm.oz b/platform-test/base/vm.oz
index 31e866145..44176a048 100644
--- a/platform-test/base/vm.oz
+++ b/platform-test/base/vm.oz
@@ -6,6 +6,7 @@ import
 export
    Return
 define
+   % FIXME: These tests are buggy. See issue #313
    Return =
    mvm([ncores(proc {$}
 		  {VM.ncores} > 0 = true