issues
search
potassco
/
clintest
🧪 A test framework for clingo programs
https://potassco.org/clintest/
MIT License
7
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Extend assertions to check for theory symbols
#39
nrueh
opened
1 month ago
1
Built-in test for special cases
#38
nrueh
opened
1 month ago
1
Update __init__.py
#37
henryotunuya
opened
2 months ago
0
Fix just a typo
#36
teiesti
closed
2 months ago
0
just a typo
#35
javier-romero
closed
2 months ago
1
Prepare the 0.2.0 release
#34
teiesti
closed
3 months ago
0
Enhance support for optimization
#33
teiesti
opened
3 months ago
0
Bugfixes
#32
teiesti
closed
4 months ago
0
Support optimization, second attempt
#31
teiesti
closed
3 months ago
0
Support optimization
#30
teiesti
closed
4 months ago
1
Add py.typed
#29
teiesti
closed
4 months ago
0
Color support
#28
teiesti
opened
5 months ago
0
Add an assertion that checks if a models contains a predicate with a given signature
#27
teiesti
opened
5 months ago
0
Save the model that decided a test
#26
teiesti
opened
5 months ago
0
Test an Application class
#25
susuhahnml
opened
5 months ago
3
Store and grant access to information on the assertion level
#24
mihammer97
opened
5 months ago
0
Allow empty connectives
#23
teiesti
closed
4 months ago
1
Add a py.typed
#22
teiesti
closed
4 months ago
0
Grant more access to the `Control` object within a `clintest.solver.Clingo` solver
#21
teiesti
opened
9 months ago
0
Grant access to the `entries` of a `Recording`
#20
teiesti
opened
9 months ago
0
Add a `Context` test
#19
teiesti
opened
9 months ago
0
Add a model API
#18
teiesti
opened
9 months ago
0
Add more quantifiers
#17
teiesti
opened
9 months ago
0
Support optimization
#16
teiesti
closed
3 months ago
0
Clintest v2
#15
owrel
closed
2 years ago
0
Re-write parser for json input (piped use of clintest)
#14
owrel
closed
2 years ago
0
Changing test vocabulary/format
#13
owrel
closed
2 years ago
0
Adding more parameters to the command line + more documentation
#12
owrel
closed
2 years ago
0
1+ parser bug
#11
owrel
closed
2 years ago
0
Command line support v0
#10
owrel
closed
2 years ago
0
Have a look on kanban
#9
owrel
closed
2 years ago
0
Clintest as helper, wrong configuration generated
#8
owrel
closed
2 years ago
1
Providing more data
#7
owrel
closed
2 years ago
0
Encoding file value
#6
owrel
closed
2 years ago
0
Improving model register
#5
owrel
closed
2 years ago
0
Documentation
#4
owrel
closed
2 years ago
0
Self testing
#3
owrel
closed
2 years ago
0
Input Verification
#2
owrel
closed
2 years ago
0
Model cost
#1
owrel
closed
2 years ago
0