Skip to content

Add comprehensive aspif parsing tests with custom backend #597

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

Merged
rkaminsk merged 15 commits into from
Jan 28, 2026
Merged

Add comprehensive aspif parsing tests with custom backend #597

Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
dc562e9
Initial plan
Copilot Jan 27, 2026
8117f85
Add aspif parsing tests with custom backend
Copilot Jan 27, 2026
a664d7e
Add explanatory comments to aspif test inputs
Copilot Jan 27, 2026
434f621
Changes before error encountered
Copilot Jan 27, 2026
0f113d7
Add _codeql_build_dir to .gitignore
Copilot Jan 27, 2026
289c14a
Add _codeql_build_dir to .gitignore
Copilot Jan 27, 2026
8cfd043
Merge branch 'copilot/sub-pr-596' of https://github.com/potassco/clin…
Copilot Jan 27, 2026
4901c39
Remove accidentally committed _codeql_build_dir
Copilot Jan 27, 2026
7e687ee
Refactor aspif tests to use helper functions for comma-separated form…
Copilot Jan 27, 2026
2881b02
Simplify test backend to use plain string vector instead of struct
Copilot Jan 27, 2026
65eb077
Simplify test cases using parse helper and reference-based backends
Copilot Jan 27, 2026
91ba3d5
Rewrite all test cases with direct vector comparison and add comprehe…
Copilot Jan 27, 2026
d13fa0d
Add tests for do_bd_aggr, do_heuristic, and theory atoms with guards
Copilot Jan 27, 2026
52f969f
refactor test cases
rkaminsk Jan 28, 2026
241510a
add test for tuples
rkaminsk Jan 28, 2026
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
2 changes: 2 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,8 @@
/.vs
/CMakeSettings.json
/build
/_codeql_build_dir
/_codeql_detected_source_root
/dist
/doc/html
/doc/latex
Expand Down
1 change: 1 addition & 0 deletions lib/input/CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -92,6 +92,7 @@ set(source
# [[[test: tests
set(ide_test_group "Test Files")
set(test-group
"tests/aspif.cc"
"tests/compute_bounds.cc"
"tests/dependency.cc"
"tests/evaluate.cc"
Expand Down
Loading