diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2020-11-05 17:02:46 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2020-11-05 17:02:46 +0100 |
commit | 2f3706e8a063575e2aaf37cf49d6cb20a9c4bb24 (patch) | |
tree | 8ba22a538f10de8c08f0cb852a9d527eb14989c0 /aarch64/PostpassSchedulingOracle.ml | |
parent | 2f25b395ef13d9c89260c932120a983218d7807c (diff) | |
download | compcert-kvx-2f3706e8a063575e2aaf37cf49d6cb20a9c4bb24.tar.gz compcert-kvx-2f3706e8a063575e2aaf37cf49d6cb20a9c4bb24.zip |
set debug to false in oracle
Diffstat (limited to 'aarch64/PostpassSchedulingOracle.ml')
-rw-r--r-- | aarch64/PostpassSchedulingOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/PostpassSchedulingOracle.ml b/aarch64/PostpassSchedulingOracle.ml index 9669753d..a2e15139 100644 --- a/aarch64/PostpassSchedulingOracle.ml +++ b/aarch64/PostpassSchedulingOracle.ml @@ -17,7 +17,7 @@ open Asmblock open OpWeightsAsm open InstructionScheduler -let debug = true +let debug = false (** * Extracting infos from Asm instructions |