search

moves-rwth / stormpy

Python Bindings for the Probabilistic Model Checker Storm
https://moves-rwth.github.io/stormpy/
GNU General Public License v3.0
29 stars 16 forks source link

Stormpy: Parametric POMDPs and Apply FSC may fail #16

Closed sjunges closed 4 years ago

sjunges commented 4 years ago

In some combinations of tests, on linux systems under release build, we have witnessed a segfault in the apply-fsc method on parametric POMDPs. This is likely due to the polynomial cache, but incredibly hard to debug in absence of a proper machine to debug this on.

As parametric POMDPs are a very experimental feature anyway, I will not immediately dive deep to solve this problem.

sjunges commented 4 years ago

Problem seems fixed by clearing the pycarl variable pools:

https://github.com/moves-rwth/stormpy/commit/d8fd39cdc59a80cf49f8fc76dab45b0b0f8ccc4c