KnightsofLogic/puzzle3_test.py at main · tracycaruso/KnightsofLogic · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
from puzzle3 import *

model_1 = {'B is a Knight': True, 'B is a Knave': True,'A is a Knight': True, 'A is a Knave': True}
model_2 = {'B is a Knight': True, 'B is a Knave': True,'A is a Knight': True, 'A is a Knave': False}
model_3 = {'B is a Knight': True, 'B is a Knave': True,'A is a Knight': False, 'A is a Knave': True}
model_4 = {'B is a Knight': True, 'B is a Knave': True,'A is a Knight': False, 'A is a Knave': False}
model_5 = {'B is a Knight': True, 'B is a Knave': False,'A is a Knight': True, 'A is a Knave': True}
model_6 = {'B is a Knight': True, 'B is a Knave': False,'A is a Knight': True, 'A is a Knave': False, 'initial_knowledge_filter': True, 'same_kind': True}
model_7 = {'B is a Knight': True, 'B is a Knave': False,'A is a Knight': False, 'A is a Knave': True, 'initial_knowledge_filter': True, 'different_kind': True, 'final': True}
model_8 = {'B is a Knight': True, 'B is a Knave': False,'A is a Knight': False, 'A is a Knave': False}
model_9 = {'B is a Knight': False, 'B is a Knave': True,'A is a Knight': True, 'A is a Knave': True}
model_10 = {'B is a Knight': False, 'B is a Knave': True,'A is a Knight': True, 'A is a Knave': False, 'initial_knowledge_filter': True, 'different_kind': True}
model_11 = {'B is a Knight': False, 'B is a Knave': True, 'A is a Knight': False, 'A is a Knave': True, 'initial_knowledge_filter': True, 'same_kind': True}
model_12 = {'B is a Knight': False, 'B is a Knave': True,'A is a Knight': False, 'A is a Knave': False}
model_13 = {'B is a Knight': False, 'B is a Knave': False, 'A is a Knight': True, 'A is a Knave': True}
model_14 = {'B is a Knight': False, 'B is a Knave': False, 'A is a Knight': True, 'A is a Knave': False}
model_15 = {'B is a Knight': False, 'B is a Knave': False, 'A is a Knight': False, 'A is a Knave': True}
model_16 = {'B is a Knight': False, 'B is a Knave': False,'A is a Knight': False, 'A is a Knave': False}

all_models = [ model_1, model_2, model_3, model_4, model_5, model_6, model_7,
    model_8, model_9, model_10, model_11, model_12, model_13, model_14, model_15, model_16]

def test_initial_knowledge():
    for model in all_models:
      if InitialKnowledge.evaluate(model):
        assert model['initial_knowledge_filter'] == True

def test_same_kind():
    for model in all_models:
      if InitalStatement_SameKind.evaluate(model):
        assert model['same_kind'] == True

def test_different_kind():
    for model in all_models:
      if InitalStatement_DifferentKind.evaluate(model):
        assert model['different_kind'] == True

def test_knowledge():
    for model in all_models:
      if knowledge.evaluate(model):
        assert model['final'] == True