Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Finishing Short Truth Table Contradiction Rule tests #713

Merged
merged 22 commits into from
Mar 29, 2024
Merged

Finishing Short Truth Table Contradiction Rule tests #713

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
22 commits
Select commit Hold shift click to select a range
768f65d
Created Or Contradiction test files
charlestian23 Jan 31, 2024
3604959
Added false or test
charlestian23 Jan 31, 2024
8dade08
Fixed false or test and added unknown or test
charlestian23 Jan 31, 2024
56d9d7b
Methods should start with lowercase
charlestian23 Jan 31, 2024
6ccc402
Added true or test and removed useless lines
charlestian23 Jan 31, 2024
f067125
Added Not Contradiction test
charlestian23 Jan 31, 2024
7833ef7
Remove useless print statement
charlestian23 Jan 31, 2024
4dfe95a
Added And Contradiction tests
charlestian23 Feb 2, 2024
80f5a99
Removed useless imports
charlestian23 Feb 2, 2024
27fece9
Fixed bug with test
charlestian23 Feb 2, 2024
eca66e6
Added conditional test cases
charlestian23 Feb 6, 2024
3534e57
Create ConditionalContradictionRuleTest.java
charlestian23 Feb 6, 2024
424535a
Added biconditional test files
charlestian23 Feb 6, 2024
0c6ffd7
Fixed typo
charlestian23 Feb 6, 2024
b0dd870
Create BiconditionalContradictionRuleTest.java
charlestian23 Feb 6, 2024
0e0f790
Added single test file
charlestian23 Feb 9, 2024
93ddcbd
Added remaining test files
charlestian23 Feb 9, 2024
625df23
Added JUnit test
charlestian23 Feb 9, 2024
21d0619
Merge branch 'dev' into finishing-stt-tests
charlestian23 Feb 9, 2024
bf18425
Merge branch 'dev' into finishing-stt-tests
charlestian23 Feb 21, 2024
9a09c3e
Merge branch 'dev' into finishing-stt-tests
Chase-Grajeda Mar 29, 2024
e4bd08d
Removed unused tests
Chase-Grajeda Mar 29, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Added remaining test files
  • Loading branch information
@charlestian23
charlestian23 committed Feb 9, 2024
commit 93ddcbd6eacdb9f775ea8c24a91b48362ae4de8e
15 changes: 15 additions & 0 deletions src/test/resources/puzzles/shorttruthtable/rules/AtomicContradictionRule/FF
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 1,15 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Legup version="3.0.0">
<saved/>
<puzzle name="ShortTruthTable">
<board>
<data>
<statement representation="A" row_index="0"/>
<statement representation="A" row_index="1"/>
<cell char_index="0" row_index="0" type="FALSE"/>
<cell char_index="0" row_index="1" type="FALSE"/>
</data>
</board>
</puzzle>
<solved isSolved="false" lastSaved="2024-02-09 16:17:16"/>
</Legup>
15 changes: 15 additions & 0 deletions src/test/resources/puzzles/shorttruthtable/rules/AtomicContradictionRule/FT
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 1,15 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Legup version="3.0.0">
<saved/>
<puzzle name="ShortTruthTable">
<board>
<data>
<statement representation="A" row_index="0"/>
<statement representation="A" row_index="1"/>
<cell char_index="0" row_index="0" type="FALSE"/>
<cell char_index="0" row_index="1" type="TRUE"/>
</data>
</board>
</puzzle>
<solved isSolved="false" lastSaved="2024-02-09 16:17:16"/>
</Legup>
14 changes: 14 additions & 0 deletions src/test/resources/puzzles/shorttruthtable/rules/AtomicContradictionRule/FU
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 1,14 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Legup version="3.0.0">
<saved/>
<puzzle name="ShortTruthTable">
<board>
<data>
<statement representation="A" row_index="0"/>
<statement representation="A" row_index="1"/>
<cell char_index="0" row_index="0" type="FALSE"/>
</data>
</board>
</puzzle>
<solved isSolved="false" lastSaved="2024-02-09 16:17:16"/>
</Legup>
15 changes: 15 additions & 0 deletions src/test/resources/puzzles/shorttruthtable/rules/AtomicContradictionRule/TF
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 1,15 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Legup version="3.0.0">
<saved/>
<puzzle name="ShortTruthTable">
<board>
<data>
<statement representation="A" row_index="0"/>
<statement representation="A" row_index="1"/>
<cell char_index="0" row_index="0" type="TRUE"/>
<cell char_index="0" row_index="1" type="FALSE"/>
</data>
</board>
</puzzle>
<solved isSolved="false" lastSaved="2024-02-09 16:17:16"/>
</Legup>
14 changes: 14 additions & 0 deletions src/test/resources/puzzles/shorttruthtable/rules/AtomicContradictionRule/TU
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 1,14 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Legup version="3.0.0">
<saved/>
<puzzle name="ShortTruthTable">
<board>
<data>
<statement representation="A" row_index="0"/>
<statement representation="A" row_index="1"/>
<cell char_index="0" row_index="0" type="TRUE"/>
</data>
</board>
</puzzle>
<solved isSolved="false" lastSaved="2024-02-09 16:17:16"/>
</Legup>
14 changes: 14 additions & 0 deletions src/test/resources/puzzles/shorttruthtable/rules/AtomicContradictionRule/UF
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 1,14 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Legup version="3.0.0">
<saved/>
<puzzle name="ShortTruthTable">
<board>
<data>
<statement representation="A" row_index="0"/>
<statement representation="A" row_index="1"/>
<cell char_index="0" row_index="1" type="FALSE"/>
</data>
</board>
</puzzle>
<solved isSolved="false" lastSaved="2024-02-09 16:17:16"/>
</Legup>
14 changes: 14 additions & 0 deletions src/test/resources/puzzles/shorttruthtable/rules/AtomicContradictionRule/UT
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 1,14 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Legup version="3.0.0">
<saved/>
<puzzle name="ShortTruthTable">
<board>
<data>
<statement representation="A" row_index="0"/>
<statement representation="A" row_index="1"/>
<cell char_index="0" row_index="1" type="TRUE"/>
</data>
</board>
</puzzle>
<solved isSolved="false" lastSaved="2024-02-09 16:17:16"/>
</Legup>
13 changes: 13 additions & 0 deletions src/test/resources/puzzles/shorttruthtable/rules/AtomicContradictionRule/UU
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 1,13 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Legup version="3.0.0">
<saved/>
<puzzle name="ShortTruthTable">
<board>
<data>
<statement representation="A" row_index="0"/>
<statement representation="A" row_index="1"/>
</data>
</board>
</puzzle>
<solved isSolved="false" lastSaved="2024-02-09 16:17:16"/>
</Legup>
Loading