-
Alexandre Duret-Lutz authored
* src/kernel.c: The initialization code of the BDD cache was awfully slow due to multiple references to global variables.
Alexandre Duret-Lutz authored* src/kernel.c: The initialization code of the BDD cache was awfully slow due to multiple references to global variables.
Loading