I was editing a domain to remove costs and inadvertently ran the updated domain (no costs) against a problem file that had an initializer of
(= (total-cost) 0)
validate got a segmentation fault during type checking of that. I replicated this on both Linux and Mac.
I will attach the domain and problem.
p01.pddl.txt domain.pddl.txt
I was editing a domain to remove costs and inadvertently ran the updated domain (no costs) against a problem file that had an initializer of
(= (total-cost) 0)
validate got a segmentation fault during type checking of that. I replicated this on both Linux and Mac. I will attach the domain and problem.