meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

Run tests in ci #47

Closed fanosta closed 8 months ago

fanosta commented 8 months ago

This runs the Python test cases in the newpython.yml GitHub action. There's also a python-package-build.yml - I guess this one is being phased out?

Also, I changed the path of the CNF file to be relative to the test_pyapproxmc.py file, so the tests can be run form a different working directory.