Leo Alt
41087f3195
Add CLI and JSON option to show unproved targets
2021-08-04 13:54:50 +02:00
chriseth
01a1316b36
Only set "runs" if used.
2021-08-03 15:53:59 +02:00
jaa2
c627e6af10
CommandLineParser: Handle --optimize-runs option in assembly mode
...
Fixes #11708 .
2021-07-29 18:15:57 +02:00
Leo Alt
6c8ecfa82c
Add option to choose solver
2021-07-27 17:14:21 +02:00
Kamil Śliwak
9a7c364c71
Process input files in Standard JSON mode just like in other modes
...
- This makes `-` for stdin work.
- `--ignore-missing` now works with `--standard-json`, though it's not very useful because there can be at most one input file.
- Separate errors for situations where there are no input files on the command line (this can be detected in the parser) and where they are not present on disk.
2021-07-27 15:54:32 +02:00
Kamil Śliwak
c938f35b99
CommandLineParser: Initialize inputMode earlier to make it usable in more functions
2021-07-27 15:54:32 +02:00
Kamil Śliwak
3b104a3f38
CommandLineParser: Refactor checkMutuallyExclusive() to handle multiple options and use it more
2021-07-27 15:54:32 +02:00
Ladislav Sladecek
9bbeea58c8
Make --pretty-json work with Standard JSON output
2021-07-26 16:00:46 +02:00
chriseth
46514ffad2
Merge pull request #11520 from ethereum/local-streams-in-command-line-parser
...
Local output streams in CommandLineParser
2021-07-07 15:07:23 +02:00
Kamil Śliwak
3bad7aff02
CommandLineParser: Remove g_arg aliases
2021-07-07 13:02:50 +02:00
Kamil Śliwak
6c33fbcb6a
CommandLineParser: Replace global sout/serr streams with class members
...
- This removes the global variable and prevents stderr/stdout from being printed in tests
2021-07-07 12:53:15 +02:00
Kamil Śliwak
c17ee4fe65
CommandLineParser: Equality operators for settings
2021-07-06 17:17:18 +02:00
Kamil Śliwak
d781955b26
Extract CommandLineParser out of CommandLineInterface
2021-07-06 17:17:18 +02:00
Kamil Śliwak
b0c70883f7
Copy CommandLineInterface.cpp/.h to CommandLineParser.cpp/.h
2021-07-06 17:17:18 +02:00
