-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtest_chapter04.py
executable file
·58 lines (45 loc) · 1.52 KB
/
test_chapter04.py
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
# This file is part of the materials accompanying the book
# "Mathematical Logic through Python" by Gonczarowski and Nisan,
# Cambridge University Press. Book site: www.LogicThruPython.org
# (c) Yannai A. Gonczarowski and Noam Nisan, 2017-2021
# File name: test_chapter04.py
"""Tests all Chapter 4 tasks."""
from propositions.proofs_test import *
from propositions.semantics_test import *
from propositions.some_proofs_test import *
from propositions.soundness_test import *
def test_task1(debug=False):
test_variables(debug)
def test_task2(debug=False):
test_evaluate_inference(debug)
def test_task3(debug=False):
test_is_sound_inference(debug)
def test_task4(debug=False):
test_specialize(debug)
def test_task5(debug=False):
test_merge_specialization_maps(debug)
test_formula_specialization_map(debug)
test_specialization_map(debug)
test_is_specialization_of(debug)
def test_task6(debug=False):
test_rule_for_line(debug)
test_is_line_valid(debug)
test_is_valid(debug)
def test_task7(debug=False):
test_prove_and_commutativity(debug)
def test_task8(debug=False):
test_prove_I0(debug)
def test_task9(debug=False):
test_rule_nonsoundness_from_specialization_nonsoundness(debug)
def test_task10(debug=False):
test_nonsound_rule_of_nonsound_proof(debug)
test_task1(True)
test_task2(True)
test_task3(True)
test_task4(True)
test_task5(True)
test_task6(True)
test_task7(True)
test_task8(True)
test_task9(True)
test_task10(True)