Pārlūkot izejas kodu

Fixed include in conformance check; make_parallel uses PO instead of CO

Yentl Van Tendeloo 9 gadi atpakaļ
vecāks
revīzija
4d6788aade
2 mainītis faili ar 2 papildinājumiem un 1 dzēšanām
  1. 1 0
      bootstrap/conformance_scd.alc
  2. 1 1
      scripts/make_parallel.py

+ 1 - 0
bootstrap/conformance_scd.alc

@@ -2,6 +2,7 @@ include "primitives.alh"
 include "library.alh"
 include "object_operations.alh"
 include "constructors.alh"
+include "modelling.alh"
 
 Boolean function is_direct_instance(model : Element, instance : Element, type : Element):
 	// Just check whether or not the type mapping specifies the type as the type of the instance

+ 1 - 1
scripts/make_parallel.py

@@ -11,7 +11,7 @@ files = sys.argv[3:]
 
 
 def do_compile_wrapper(filename):
-    do_compile(address, filename, str(random.random()), filename, "CO")
+    do_compile(address, filename, str(random.random()), filename, "PO")
 
 p = multiprocessing.Pool(multiprocessing.cpu_count())
 p.map(do_compile_wrapper, files)