Skip to content

[2.3.2] - 2022-08-30
Compare
Choose a tag to compare
@david-yz-liu david-yz-liu released this 31 Aug 02:22
v2.3.2
f17846f

Bug fixes

  • Updated jsonreporter to get data from the new pylint Message class (#840)

Experimental

  • Added preliminary support for translation of constraints into Z3 solver. (This is currently not enabled by default in PythonTA.)
Assets 2
Loading