Keyword .model of LPN file is not accepted

[danilovesky]

The LPN parser does accept the model name declaration, which is preceded by the `.model' keyword. For example, parsing of the following input results in a syntax error at line 1:

.model inverter
.inputs in
.outputs out
#@.init_state [01]
.graph
p0 in+
in+ out-
out- in-
in- out+
out+ p0
.marking {p0}
.end

[cjmyers]

It uses .name

I’m not aware of .model. This was not part of the .g format when we originally wrote this parser.

Chris

On Apr 14, 2017, at 10:58 PM, Danil Sokolov notifications@github.com wrote:

The LPN parser does accept the model name declaration, which is preceded by the `.model' keyword. For example, parsing of the following input results in a syntax error at line 1:

.model inverter .inputs in .outputs out

@.init_state [01]

.graph p0 in+ in+ out- out- in- in- out+ out+ p0 .marking {p0} .end — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/MyersResearchGroup/ATACS/issues/60, or mute the thread https://github.com/notifications/unsubscribe-auth/ADWD9-Hm38xDhNIPq14SFwkke5xzqdGbks5rv-v3gaJpZM4M-IXg.

[danilovesky]

Great! I will use .name instead of .model then - problem solved :)