search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

'krun --help' throws exception #407

Closed dlucanu closed 10 years ago

dlucanu commented 10 years ago

$ krun --help usage: krun [options]

-h,--help Print this help message. --version Print version information. -v,--verbose Verbose output. -d,--directory

Path to the directory in which the kompiled K definition resides. The default is the current directory. --main-module Specify main module in which a program starts to execute. The default is the module specified in the given compiled K definition. --syntax-module Specify main module for syntax. The default is the module specified in the given compiled K definition. --io <[on|off]> Use real IO when running the definition. (Default: enabled). --color <[on|off|extended]> Use colors in output. (Default: on). --terminal-color Background color of the terminal. Cells won't be colored in this color. (Default: black). --parser Command used to parse programs. (Default: kast). --config-var-parser Command used to parse configuration variables. (Default: kast -e). See --parser above. Applies to subsequent -c options until another parser is specified with this option. -c,--config-var Specify values for variables in the configuration. -o,--output How to display Maude results. is either [pretty|smart|compatible|kore|raw|binary|no ne]. (Default: pretty). --search In conjunction with it you can specify 3 options that are optional: pattern (the pattern used for search), bound (the number of desired solutions) and depth (the maximum depth of the search). --search-final Same as --search but only return final states, even if --depth is provided. --search-all Same as --search but return all matching states, even if --depth is not provided. --search-one-step Same as --search but search only one transition step. --search-one-or-more-steps Same as --search-all but exclude initial state, even if it matches. --pattern Specify a term and/or side condition that the result of execution or search must match in order to succeed. Return the resulting matches as a list of substitutions. In conjunction with it you can specify other 2 options that are optional: bound (the number of desired solutions) and depth (the maximum depth of the search). --bound The number of desired solutions for search. --depth The maximum number of computational steps to execute or search the definition for. --graph Displays the search graph generated by the last search. --backend Specify the krun backend to execute with.

is either [maude|java]. (Default: maude). --simulation Simulation property of two programs in two semantics. -X,--help-experimental Print help on non-standard options. Exception in thread "Thread-1" java.lang.NullPointerException at java.io.File.(File.java:277) at org.kframework.krun.Main$2.run(Main.java:954)
grosu commented 10 years ago

This is very bad! Please fix immediately, we cannot afford such errors. Dorel, I assume you did an "ant clean; ant", right?

Grigore

From: Dorel Lucanu [notifications@github.com] Sent: Friday, May 02, 2014 2:15 AM To: kframework/k Subject: [k] 'krun --help' throws exception (#407)

$ krun --help usage: krun [options]

-h,--help Print this help message. --version Print version information. -v,--verbose Verbose output. -d,--directory

Path to the directory in which the kompiled K definition resides. The default is the current directory. --main-module Specify main module in which a program starts to execute. The default is the module specified in the given compiled K definition. --syntax-module Specify main module for syntax. The default is the module specified in the given compiled K definition. --io <[on|off]> Use real IO when running the definition. (Default: enabled). --color <[on|off|extended]> Use colors in output. (Default: on). --terminal-color Background color of the terminal. Cells won't be colored in this color. (Default: black). --parser Command used to parse programs. (Default: kast). --config-var-parser Command used to parse configuration variables. (Default: kast -e). See --parser above. Applies to subsequent -c options until another parser is specified with this option. -c,--config-var Specify values for variables in the configuration. -o,--output How to display Maude results. is either [pretty|smart|compatible|kore|raw|binary|no ne]. (Default: pretty). --search In conjunction with it you can specify 3 options that are optional: pattern (the pattern used for search), bound (the number of desired solutions) and depth (the maximum depth of the search). --search-final Same as --search but only return final states, even if --depth is provided. --search-all Same as --search but return all matching states, even if --depth is not provided. --search-one-step Same as --search but search only one transition step. --search-one-or-more-steps Same as --search-all but exclude initial state, even if it matches. --pattern Specify a term and/or side condition that the result of execution or search must match in order to succeed. Return the resulting matches as a list of substitutions. In conjunction with it you can specify other 2 options that are optional: bound (the number of desired solutions) and depth (the maximum depth of the search). --bound The number of desired solutions for search. --depth The maximum number of computational steps to execute or search the definition for. --graph Displays the search graph generated by the last search. --backend Specify the krun backend to execute with. is either [maude|java]. (Default: maude). --simulation Simulation property of two programs in two semantics. -X,--help-experimental Print help on non-standard options.

Exception in thread "Thread-1" java.lang.NullPointerException at java.io.File.(File.java:277) at org.kframework.krun.Main$2.run(Main.java:954)

— Reply to this email directly or view it on GitHubhttps://github.com/kframework/k/issues/407.

dlucanu commented 10 years ago

yes. Dorel

On 5/2/14 4:12 PM, Grigore Rosu wrote:

This is very bad! Please fix immediately, we cannot afford such errors. Dorel, I assume you did an "ant clean; ant", right?

Grigore

From: Dorel Lucanu [notifications@github.com] Sent: Friday, May 02, 2014 2:15 AM To: kframework/k Subject: [k] 'krun --help' throws exception (#407)

$ krun --help usage: krun [options]

-h,--help Print this help message. --version Print version information. -v,--verbose Verbose output. -d,--directory

Path to the directory in which the kompiled K definition resides. The default is the current directory. --main-module Specify main module in which a program starts to execute. The default is the module specified in the given compiled K definition. --syntax-module Specify main module for syntax. The default is the module specified in the given compiled K definition. --io <[on|off]> Use real IO when running the definition. (Default: enabled). --color <[on|off|extended]> Use colors in output. (Default: on). --terminal-color Background color of the terminal. Cells won't be colored in this color. (Default: black). --parser Command used to parse programs. (Default: kast). --config-var-parser Command used to parse configuration variables. (Default: kast -e). See --parser above. Applies to subsequent -c options until another parser is specified with this option. -c,--config-var Specify values for variables in the configuration. -o,--output How to display Maude results. is either [pretty|smart|compatible|kore|raw|binary|no ne]. (Default: pretty). --search In conjunction with it you can specify 3 options that are optional: pattern (the pattern used for search), bound (the number of desired solutions) and depth (the maximum depth of the search). --search-final Same as --search but only return final states, even if --depth is provided. --search-all Same as --search but return all matching states, even if --depth is not provided. --search-one-step Same as --search but search only one transition step. --search-one-or-more-steps Same as --search-all but exclude initial state, even if it matches. --pattern Specify a term and/or side condition that the result of execution or search must match in order to succeed. Return the resulting matches as a list of substitutions. In conjunction with it you can specify other 2 options that are optional: bound (the number of desired solutions) and depth (the maximum depth of the search). --bound The number of desired solutions for search. --depth The maximum number of computational steps to execute or search the definition for. --graph Displays the search graph generated by the last search. --backend Specify the krun backend to execute with. is either [maude|java]. (Default: maude). --simulation Simulation property of two programs in two semantics. -X,--help-experimental Print help on non-standard options.

Exception in thread "Thread-1" java.lang.NullPointerException at java.io.File.(File.java:277) at org.kframework.krun.Main$2.run(Main.java:954)

— Reply to this email directly or view it on GitHubhttps://github.com/kframework/k/issues/407.

— Reply to this email directly or view it on GitHub https://github.com/kframework/k/issues/407#issuecomment-42029870.

osa1 commented 10 years ago

I think this error exists for months. I know ktest has same problem for months too. (not introduced by me)

➜  k git:(master) ./bin/ktest 
org.kframework.ktest.CmdArgs.InvalidArgumentException: ktest requires exactly one <file> parameter.
        at org.kframework.ktest.CmdArgs.CmdArg.validateArgs(CmdArg.java:176)
        at org.kframework.ktest.KTest.run(KTest.java:47)
        at org.kframework.ktest.KTest.main(KTest.java:102)
        at org.kframework.main.Main.main(Main.java:57)
Exception in thread "main" java.lang.NullPointerException
        at org.kframework.ktest.KTest.main(KTest.java:107)
        at org.kframework.main.Main.main(Main.java:57)
dwightguth commented 10 years ago

I will fix this today. On May 2, 2014 10:40 AM, "Ömer Sinan Ağacan" notifications@github.com wrote:

I think this error exists for months. I know ktest has same problem for months too. (not introduced by me)

— Reply to this email directly or view it on GitHubhttps://github.com/kframework/k/issues/407#issuecomment-42045301 .