target_sources( core
      PRIVATE
         CpuPolicy.h
         ReduceType.h
         RemainingTimeLogger.h
         StaticPolicy.cpp
         StaticPolicy.h
         Time.cpp
         Time.h
         Timer.h
         TimingJSON.h
         TimingNode.cpp
         TimingNode.h
         TimingPool.cpp
         TimingPool.h
         TimingTree.cpp
         TimingTree.h
         WcPolicy.h
         DeviceSynchronizePolicy.h
      )
