search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
135 stars 74 forks source link

resolve unused parameter warnings in spotproduct #496

Closed sjunges closed 4 months ago

sjunges commented 4 months ago

@volkm Could you maybe have a look? I dont understand why the CI is failing.

volkm commented 4 months ago

The issue is really weird. It seems like the source code from the master is taken instead of the one from the PR. Otherwise I do not see where (void) model comes from. But on the other hand the function ltl2daSpotProduct is defined without model as argument, meaning that the PR version is taken.

Can you try merging the master and see whether it makes a difference?

volkm commented 4 months ago

The merge did not help. I will investigate it further...