search

ssardina-research / nugat-0.6.0

NuGaT port for NuSMV 2.6.0
https://es.fbk.eu/technologies/nugat-game-solver
GNU General Public License v2.0
2 stars 0 forks source link

unknown command 'pick_state' #2

Open ssardina opened 3 years ago

ssardina commented 3 years ago

It does not accept 'pick_state' in the script in this version. Worked in 0.5.4

[ssardina@Thinkpad-X1 examples]$ ../build/NuGAT -source flip-coin-NUGAT-v01.script 
FILE ->>> flip-coin-NUGAT-v01.script 
*** This is NuGAT 0.6.0 (compiled on Thu Oct 29 19:54:36 2020)
*** Enabled addons are: game 
*** For more information on NuGaT see <http://es.fbk.eu/tools/nugat>
*** or email to <nugat-users@list.fbk.eu>.
*** Please report bugs to <Please report bugs to <nusmv-users@fbk.eu>>.
*** Copyright (c) 2010, Fondazione Bruno Kessler

*** This version of NuGAT-0.6.0 is linked to NuSMV 2.6.0.
*** For more information on NuSMV see <http://nusmv.fbk.eu>
*** or email to <nusmv-users@list.fbk.eu>.
*** Copyright (C) 2010-2014, Fondazione Bruno Kessler

*** This version of NuGAT-0.6.0 is linked to the CUDD library version 2.4.1
*** Copyright (c) 1995-2004, Regents of the University of Colorado

*** This version of NuGAT-0.6.0 is linked to the MiniSat SAT solver. 
*** See http://minisat.se/MiniSat.html
*** Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
*** Copyright (c) 2007-2010, Niklas Sorensson

Entering game mode...
Done entering game mode.
Note that now game commands apply.
*** WARNING: Game addon does not support properties COI size sorting.  ***
*** WARNING: Properties COI size sorting will be disabled.             ***
unknown command 'pick_state'
aborting 'source flip-coin-NUGAT-v01.script'
Exiting game mode...
Done exiting game mode.
Note that now the commands from before entering game mode apply.
ssardina commented 3 years ago

Actually it does not work in 0.5.4 either...