search

prismmodelchecker / prism

The main development version of the PRISM model checker.
http://www.prismmodelchecker.org/
GNU General Public License v2.0
157 stars 73 forks source link

Fixes #215 #216

Closed merkste closed 1 year ago

merkste commented 1 year ago

Replace prismArgs.copy() by list(prismArgs) to copy list.