Update the getOptionInfo test output#112

daniel-larraz merged 1 commit intocvc5:maincvc5/cvc5_pythonic_api:mainfrom

daniel-larraz:getOptionInfo-test-outputdaniel-larraz/cvc5_pythonic_api:getOptionInfo-test-outputCopy head branch name to clipboard