Development maintainance

[marcofavorito]

Proposed changes

This PR provides various fixes and improvements, mostly on the development environment.

Most important changes:

• chore: bump Python interpreter version to 3.10 in Pipfile: Python 3.7 is a bit too obsolete (at the time of writing). Python 3.10 seems a better choice as a Python interpreter version for setting up the development environment. Moreover, version 3.7 is reaching end-of-life in a month: https://devguide.python.org/versions/

• test: use py3{py-minor-version} format rather than py3.{py-minor-version} for testenv name: This convention is more "tox-friendly", since an environment with 'py$MAJOR$MINOR' in its name will use the Python interpreter at version $MAJOR.MINOR as base python. In particular, in this way, we could avoid the repetition of different testenv configurations which only differ by the basepython variable. This change required a workaround in the GitHub Actions workflow configuration, since the Python version there has a dot that separates major and minor versions.

• chore: upgrade dev dependencies Upgrade the development dependencies. For each dependency, the latest version is used as lower-bound of the version specifier set; as upper-bound, the same version number but with the minor number increased by one and patch number set to 0.

• ci: fix tox version in CI, to make the CI behaviour more similar to local dev environment

• ci: remove Python version 3.7 from linting workflow: This was due to an incompatibility with a newer version of isort.

• fix code according to new failures caused by tools upgrade: bcc26e0, 1536c78, 939d5f8

• lint: add safety checker (partially addresse https://github.com/AI-Planning/pddl/issues/61[)](https://github.com/AI-Planning/pddl/pull/60/commits/409e31c0b89b22833c61b701b8f6bc6436510c49)

• lint: add bandit checker (partially address https://github.com/AI-Planning/pddl/issues/61[)](https://github.com/AI-Planning/pddl/pull/60/commits/375c14a61b685ce55f5f0474fd4ceb354f0da08e), and resolve new issues (010c75a)

Fixes

n/a

Types of changes

What types of changes does your code introduce?
Put an x in the boxes that apply

• Bugfix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)

Checklist

Put an x in the boxes that apply.

• I have read the CONTRIBUTING doc
• Lint and unit tests pass locally with my changes
• I have added tests that prove my fix is effective or that my feature works

Further comments

n/a

[codecov-commenter]

Codecov Report

Merging #60 (0fceb87) into main (75ecdf4) will increase coverage by 0.01%.
The diff coverage is 100.00%.

❗ Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@            Coverage Diff             @@
##             main      #60      +/-   ##
==========================================
+ Coverage   87.33%   87.34%   +0.01%     
==========================================
  Files          20       20              
  Lines        1050     1051       +1     
  Branches      163      163              
==========================================
+ Hits          917      918       +1     
  Misses        104      104              
  Partials       29       29              

Flag	Coverage Δ
unittests	87.34% <100.00%> (+0.01%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
pddl/__init__.py	100.00% <ø> (ø)
pddl/helpers/base.py	93.75% <100.00%> (ø)
pddl/parser/domain.py	79.89% <100.00%> (ø)
pddl/parser/problem.py	85.33% <100.00%> (+0.19%)	⬆️
pddl/parser/symbols.py	100.00% <100.00%> (ø)

[francescofuggitti]

LGTM

[haz]

Aye, looks good. Let's see how the build goes ;)