Loading Example YAML Files is Broken

Open syoon2 opened this issue 3 years ago • 0 comments

Caused by: https://github.com/yaml/pyyaml/issues/576

https://github.com/kste/cryptosmt/blob/c46d2884d639a0660142002a199268b8ebb5b3e4/cryptosmt.py#L116

Due to the "breaking" change introduced in PyYAML 6.0, the use of --inputfile argument now throws TypeError due to the missing Loader argument. It seems like one of the following has to happen to make it work again: (1) update CryptoSMT code to be compliant with PyYAML 6.0, or (2) cap PyYAML version to < 6.0 then update Dockerfile and README accordingly.

Jul 08 '22 05:07 syoon2