component: Data Library | priority: blocker | resolution: fixed
2008-06-20 09:43:44: @jgroote created the issue
When doing mcrl22lps -D prob.mcrl2 prob.lps
the function getValBool is declared twice. lpsconfcheck detects this by:
jfg@pclin215> lpsconfcheck -v prob.lps
error: double declaration of function getValBool
error: reading from LPS failed
error: Typechecking of the invariant formula failed.
Version information of mcrl22lps:
jfg@pclin215> mcrl22lps --version
mcrl22lps mCRL2 toolset July 2008 (development) (revision 4745M-shared)
Copyright (c) 2008 Technische Universiteit Eindhoven.
This is free software. You may redistribute copies of it under the
terms of the Boost Software License http://www.boost.org/LICENSE_1_0.txt.
There is NO WARRANTY, to the extent permitted by law.
Issue migrated from trac ticket # 427
component: Data Library | priority: blocker | resolution: fixed
2008-06-20 09:43:44: @jgroote created the issue
When doing mcrl22lps -D prob.mcrl2 prob.lps the function getValBool is declared twice. lpsconfcheck detects this by:
jfg@pclin215> lpsconfcheck -v prob.lps error: double declaration of function getValBool error: reading from LPS failed error: Typechecking of the invariant formula failed.
Version information of mcrl22lps: jfg@pclin215> mcrl22lps --version mcrl22lps mCRL2 toolset July 2008 (development) (revision 4745M-shared) Copyright (c) 2008 Technische Universiteit Eindhoven. This is free software. You may redistribute copies of it under the terms of the Boost Software License http://www.boost.org/LICENSE_1_0.txt. There is NO WARRANTY, to the extent permitted by law.
Written by Jan Friso Groote.