Georgii Plotnikov comments

Results 15 comments of


                                            Georgii Plotnikov

Pretty print expected json output of command line tests.

@matheusaaguiar May I take it?

Pretty print expected json output of command line tests.

@matheusaaguiar let me clarify I'm moving in the right direction. There is a script `cmdlineTests.sh` that runs cmdlineTests. The script executes test with the `command_args="--standard-json "$(cat "${tdir}/args" 2>/dev/null || true)`....

Pretty print expected json output of command line tests.

hi @matheusaaguiar @cameel before proceeding with the main subject of this issue I decided to build and run all tests including both z3 and CVC4. I founded a small suspicious...

Pretty print expected json output of command line tests.

@cameel it even generates an error due to an ambiguous call

Pretty print expected json output of command line tests.

@cameel I'm on MacOS 12.5 Apple clang version 14.0.0 (clang-1400.0.29.102) Target: x86_64-apple-darwin21.6.0 Thread model: posix

Pretty print expected json output of command line tests.

> Thanks. I guess that's it. We don't install CVC4 on macOS. Maybe we should. What do you think @leonardoalt? PR #13556 created

Pretty print expected json output of command line tests.

@cameel @matheusaaguiar sorry for being a nerd but why there are byte/op codes, a source map sometimes are present in tests like here: https://github.com/ethereum/solidity/blob/3ddf5db755e7ada1e26c4850764d5f7ad988333e/test/cmdlineTests/standard_yul_immutable_references/output.json#L15 but sometimes are not like here:...