search

model-checking / cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32 stars 11 forks source link

Error on Ubuntu 18.04 #122

Closed zhassan-aws closed 2 years ago

zhassan-aws commented 2 years ago

Using CBMC viewer 3.4 on Ubuntu 18.04 produces the following error:

  File "/home/runner/.local/lib/python3.6/site-packages/cbmc_viewer/ctagst.py", line 29, in popen
    with subprocess.Popen(cmd, **kwds) as pipe:
TypeError: __init__() got an unexpected keyword argument 'text'

See https://github.com/model-checking/kani/runs/6784443958?check_suite_focus=true#step:5:656 for more details.