search

ahartmanns / qcomp

qcomp.org – Quantitative Model Repository and Tool Comparison
http://qcomp.org/
6 stars 7 forks source link

Undocumented properties Modest conversion #66

Closed remco1112 closed 2 years ago

remco1112 commented 4 years ago

The following models have undocumented properties:

The extra properties seem to be created in the modest to jani conversion.

ahartmanns commented 2 years ago

Fixed in 2824da02560b292bb29e7b5dfe0cec45f6949b15 and a07d37b968b21dcdfbe8ad87fe9021bb25281606.