Disable vm tests for now (see #313)

mozart · Aug 28, 2018 · 6c5ac7c · 6c5ac7c
1 parent de89eeb
commit 6c5ac7c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -6,6 +6,7 @@ import
 export
    Return
 define
+   % FIXME: These tests are buggy. See issue #313
    Return =
    mvm([ncores(proc {$}
 		  {VM.ncores} > 0 = true