Closed PeterJCLaw closed 2 years ago
Currently we're limited to 3.9 as the ruamel.yaml version we're using doesn't build on 3.10. Unfortunately ruamel.yaml 0.16+ changes API somewhat, so we'll need to work out how to move to that.
ruamel.yaml
When fixing this https://github.com/PeterJCLaw/srcomp-scorer/issues/6 can likely be addressed too.
00722ccde98e6f8eb19ad9f57312de7f4ee43c51 and d3dae2a5ce8e36fd5f86e9b57fcf1709e9e008b9 fix this.
Currently we're limited to 3.9 as the
ruamel.yaml
version we're using doesn't build on 3.10. Unfortunatelyruamel.yaml
0.16+ changes API somewhat, so we'll need to work out how to move to that.When fixing this https://github.com/PeterJCLaw/srcomp-scorer/issues/6 can likely be addressed too.