Test

sdebl examples/heat.sdebl --stop-after-optimization --O2 +RTS -s -hy -i0.01
2020-11-04 20:08:00 UTC (uploaded 2020-11-04 15:09:39 UTC); download .hp
(Edit)