issues
search
fefrei
/
prog2tests
Automatically exported from code.google.com/p/prog2tests
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
isPure test
#20
GoogleCodeExporter
closed
9 years ago
3
Including test from Immanuel Haffner
#19
GoogleCodeExporter
closed
9 years ago
6
pure negative iff positive dependent is empty
#18
GoogleCodeExporter
closed
9 years ago
0
DPLLAlgorithm "performance"
#17
GoogleCodeExporter
closed
9 years ago
6
test getSatisfyingAssignment
#16
GoogleCodeExporter
closed
9 years ago
4
empty collections
#15
GoogleCodeExporter
closed
9 years ago
4
behaviour of iterate for stack underruns
#14
GoogleCodeExporter
closed
9 years ago
1
Test cases designed for sat solvers?
#13
GoogleCodeExporter
closed
9 years ago
3
test for corner cases
#12
GoogleCodeExporter
closed
9 years ago
9
Variable.equals() and .hashCode()
#11
GoogleCodeExporter
closed
9 years ago
1
null yourself
#10
GoogleCodeExporter
closed
9 years ago
4
Variable independence day
#9
GoogleCodeExporter
closed
9 years ago
1
Tests by Markus Bauer
#8
GoogleCodeExporter
closed
9 years ago
2
DPLL lexical ordering
#7
GoogleCodeExporter
closed
9 years ago
2
Directory creation
#6
GoogleCodeExporter
closed
9 years ago
1
Immutable Variables in Clause
#5
GoogleCodeExporter
closed
9 years ago
3
Propositional.equals()
#4
GoogleCodeExporter
closed
9 years ago
1
Tsetin-Renumbering
#3
GoogleCodeExporter
closed
9 years ago
3
CnfFactory
#2
GoogleCodeExporter
closed
9 years ago
4
Whitespace recognition
#1
GoogleCodeExporter
closed
9 years ago
1
Previous