From d1677c172c9f573cfeacee57438c1099df1cdebc Mon Sep 17 00:00:00 2001
From: George Burton <8233643+gecBurton@users.noreply.github.com>
Date: Wed, 11 Nov 2020 12:27:10 +0000
Subject: [PATCH] fixed badge... hopefully! (#40)

* fixed badge... hopefully!

* now using wf name
---
 .github/workflows/python-package.yml          |  2 +-
 README.rst                                    | 10 ++---
 tests/ninety_nine_problems/test_arithmetic.py | 42 +++++++++++++++++++
 3 files changed, 47 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/python-package.yml b/.github/workflows/python-package.yml
index 6693168..28e9fe9 100644
--- a/.github/workflows/python-package.yml
+++ b/.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:
diff --git a/README.rst b/README.rst
index 9f9bd27..ec81afe 100644
--- a/README.rst
+++ b/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.
diff --git a/tests/ninety_nine_problems/test_arithmetic.py b/tests/ninety_nine_problems/test_arithmetic.py
index b3a57cb..15b1f5e 100644
--- a/tests/ninety_nine_problems/test_arithmetic.py
+++ b/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