GermanShepherd
GermanShepherd

Reputation: 151

How to run my smv file on NuSMV

I have installed NuSMV 2.5.4 on a ubuntu machine. When I run it in interactive mode using the command NuSMV -int first.smv I get the following response cannot open input file first.smv. Why is that? I have placed my smv file(first.smv) in the bin folder.

Upvotes: 1

Views: 3194

Answers (2)

user2979063
user2979063

Reputation: 15

You will need to specify the filepath to "first.smv" such as:

$ NuSMV> read_model -i C:/your folder/first.smv

that will read the model. But Model won't be visible until you give other relevant commands.

HTH

Upvotes: 1

dejvuth
dejvuth

Reputation: 7136

Your first.smv should be in the folder that you run the command, not in the bin folder

Upvotes: 2

Related Questions