Error: 'double free or corruption (!prev)'

[SSoelvsten]

When trying to build the EPFL sin circuit optimised for depth with ZDDs, the auto, pq, and ra version crashes with a double free or corruption (!prev) error.

Picotrav (Adiar [ZDD] 307200 MiB):
  ....

   Constructing BDDs for '/home/soelv94/stats-auto/benchmarks/epfl/best_results/depth/sin_depth_2021.blif'
*** Error in `./adiar_picotrav_zdd': double free or corruption (!prev): 0x000000000d752bb0 ***

[SSoelvsten]

The plot thickens: I cannot replicate it locally on my machine

Picotrav (Adiar [ZDD] 4096 MiB):
   Parsing 'benchmarks/epfl/arithmetic/sin.blif'
   | input validation:
   | | [x] parsing
   | | [x] acyclic
   | net info:
   | | inputs:                 24
   | | outputs:                25
   | | internal nodes:         5416
   Parsing 'benchmarks/epfl/best_results/depth/sin_depth_2021.blif'
   | input validation:
   | | [x] parsing
   | | [x] acyclic
   | | [x] number of inputs match
   | | [x] number of outputs match
   | net info:
   | | inputs:                 24
   | | outputs:                25
   | | internal nodes:         683103

   Variable order: LEVEL / DFS

   Variable order:    | derived

   Adiar [ZDD] init (ms):      2

   Constructing BDDs for 'benchmarks/epfl/arithmetic/sin.blif'
   | time (ms):              542801
   | final BDDs:
   | | max BDD size:         1093349
   | | w/ duplicates:        8048325
   | | allocated:            0

   Constructing BDDs for 'benchmarks/epfl/best_results/depth/sin_depth_2021.blif'
   | time (ms):              42581922
   | final BDDs:
   | | max BDD size:         1093349
   | | w/ duplicates:        8048325
   | | allocated:            0

   Verifying equality:
   | result:
   | | all outputs match!
   | time (ms):            563

Adiar statistics

| Not gathered; please compile with 'ADIAR_STATS'.