solidity/test/cmdlineTests/model_checker_targets_error/args

2 lines
32 B
Plaintext

--model-checker-targets aaa,bbb