fixed badge... hopefully! (#40)

* fixed badge... hopefully!

* now using wf name

.github/workflows/python-package.yml

@@ -1,7 +1,7 @@
 # This workflow will install Python dependencies, run tests and lint with a variety of Python versions
 # For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions
 
-name: Python package
+name: PythonPackage
 
 on:
   push:

README.rst

@@ -6,18 +6,16 @@ Inference Logic
 .. image:: https://img.shields.io/pypi/v/inference_logic.svg
         :target: https://pypi.python.org/pypi/inference_logic
 
-.. image:: https://img.shields.io/travis/gecBurton/inference_logic.svg
-        :target: https://travis-ci.com/gecBurton/inference_logic
+
+.. image:: https://github.com/gecBurton/inference_logic/workflows/PythonPackage/badge.svg
+        :target: https://github.com/gecBurton/inference_logic/workflows/PythonPackage/badge.svg
+
 
 .. image:: https://readthedocs.org/projects/json-inference-logic/badge/?version=latest
         :target: https://inference-logic.readthedocs.io/en/latest/?badge=latest
         :alt: Documentation Status
 
 
-.. image:: https://pyup.io/repos/github/gecBurton/inference_logic/shield.svg
-     :target: https://pyup.io/repos/github/gecBurton/inference_logic/
-     :alt: Updates
-
 
 
 The goal of this project is to explore how to write a minimal set of features to allow declarative programming in Python.

tests/ninety_nine_problems/test_arithmetic.py

@@ -1,3 +1,5 @@
+import pytest
+
 from inference_logic.algorithms import search
 from inference_logic.data_structures import Assert, Assign, Rule, Variable
 
@@ -104,3 +106,43 @@ def test_33():
     ]
     query = dict(a=15, b=4, coprime=Q)
     assert list(search(db, query)) == [{Q: True}]
+
+
+@pytest.mark.xfail
+def test_34():
+    assert False
+
+
+@pytest.mark.xfail
+def test_35():
+    assert False
+
+
+@pytest.mark.xfail
+def test_36():
+    assert False
+
+
+@pytest.mark.xfail
+def test_37():
+    assert False
+
+
+@pytest.mark.xfail
+def test_38():
+    assert False
+
+
+@pytest.mark.xfail
+def test_39():
+    assert False
+
+
+@pytest.mark.xfail
+def test_40():
+    assert False
+
+
+@pytest.mark.xfail
+def test_41():
+    assert False