Skip to content

Convert test inputs from the version 1 to the version 2 file format - #881

Closed
mernst wants to merge 1 commit into
codespecs:masterfrom
mernst:convert-test-inputs-to-version-2
Closed

mernst wants to merge 1 commit into
codespecs:masterfrom
mernst:convert-test-inputs-to-version-2

Conversation

@mernst

@mernst mernst commented Oct 6, 2026

Copy link
Copy Markdown
Member

Split out of #880.

Converts the version 1 .decls and .dtrace test inputs (split targets, dtracediff, SampleTester.decls, and the pine_mdiep, schedule, schedule2, and tcas system tests) to version 2. Removes version 1 test inputs that are not worth converting: RatNum, StackAr, and fuzzy split targets, SampleTesterGlobal.decls, the StackAr diff-test, and the Kvasir disambig goal files.

Daikon already reads version 2, so this does not depend on dropping version 1 support.

Testing, with master's code: make -C java junit passes, SplitterFactoryTest passes, and the pine_mdiep, schedule, schedule2, tcas daikon-tests and the schedule2 diff-test pass.

🤖 Generated with Claude Code

Convert version 1 .decls and .dtrace test inputs to version 2, and
remove version 1 test inputs that are not worth converting.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@coderabbitai

coderabbitai Bot commented Oct 6, 2026

Copy link
Copy Markdown

Review in Change Stack →

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration
  • Configuration used: Repository: codespecs/daikon/.coderabbit.yaml
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: 79f2c0fd-7d26-46d5-bd7e-425686c6a593
📥 Commits

Reviewing files that changed from the base of the PR and between 779e30d and a9b2071.

⛔ Files ignored due to path filters (15)
  • java/daikon/test/dtracediff/AllTypes.dtrace.gz is excluded by !**/*.gz
  • java/daikon/test/dtracediff/Hanoi-badvalue.dtrace.gz is excluded by !**/*.gz
  • java/daikon/test/dtracediff/Hanoi-badvar.dtrace.gz is excluded by !**/*.gz
  • java/daikon/test/dtracediff/Hanoi-mungpointers.dtrace.gz is excluded by !**/*.gz
  • java/daikon/test/dtracediff/Hanoi-truncated.dtrace.gz is excluded by !**/*.gz
  • java/daikon/test/dtracediff/Hanoi.dtrace.gz is excluded by !**/*.gz
  • tests/daikon-tests/pine_mdiep/pine_mdiep.decls.gz is excluded by !**/*.gz
  • tests/daikon-tests/pine_mdiep/pine_mdiep.dtrace.gz is excluded by !**/*.gz
  • tests/daikon-tests/schedule/schedule.dtrace.gz is excluded by !**/*.gz
  • tests/daikon-tests/schedule2/schedule2.dtrace.gz is excluded by !**/*.gz
  • tests/daikon-tests/tcas/tcas.dtrace.gz is excluded by !**/*.gz
  • tests/diff-tests/StackAr/StackAr-1.dtrace.gz is excluded by !**/*.gz
  • tests/diff-tests/StackAr/StackAr-2.dtrace.gz is excluded by !**/*.gz
  • tests/diff-tests/schedule2/schedule2-1.dtrace.gz is excluded by !**/*.gz
  • tests/diff-tests/schedule2/schedule2-2.dtrace.gz is excluded by !**/*.gz
📒 Files selected for processing (48)
  • Makefile
  • java/daikon/test/SampleTester.decls
  • java/daikon/test/SampleTesterGlobal.decls
  • java/daikon/test/split/targets/BigFloat.decls
  • java/daikon/test/split/targets/DataStructures_QueueAr_dequeue_25.java.goal
  • java/daikon/test/split/targets/DataStructures_QueueAr_dequeue_27.java.goal
  • java/daikon/test/split/targets/DataStructures_QueueAr_enqueue_29.java.goal
  • java/daikon/test/split/targets/DataStructures_QueueAr_enqueue_30.java.goal
  • java/daikon/test/split/targets/DataStructures_QueueAr_enqueue_31.java.goal
  • java/daikon/test/split/targets/DataStructures_QueueAr_enqueue_32.java.goal
  • java/daikon/test/split/targets/DataStructures_QueueAr_isFull_21.java.goal
  • java/daikon/test/split/targets/DataStructures_QueueAr_isFull_22.java.goal
  • java/daikon/test/split/targets/Fib.decls
  • java/daikon/test/split/targets/Math__BigFloat_bdiv__39.java.goal
  • java/daikon/test/split/targets/QueueAr.decls
  • java/daikon/test/split/targets/RatNum.decls
  • java/daikon/test/split/targets/RatNum.spinfo
  • java/daikon/test/split/targets/StackAr.decls
  • java/daikon/test/split/targets/StackAr.spinfo
  • java/daikon/test/split/targets/StreetNumberSet.decls
  • java/daikon/test/split/targets/fuzzy.decls
  • java/daikon/test/split/targets/fuzzy.spinfo
  • tests/daikon-tests/pine_mdiep/pine_mdiep.txt-daikon.goal
  • tests/daikon-tests/schedule/schedule.decls
  • tests/daikon-tests/schedule2/schedule2.decls
  • tests/daikon-tests/tcas/tcas.decls
  • tests/diff-tests/Makefile
  • tests/diff-tests/StackAr/Makefile
  • tests/diff-tests/StackAr/StackAr-1m2.txt.goal
  • tests/diff-tests/StackAr/StackAr-1m2mxor.txt.goal
  • tests/diff-tests/StackAr/StackAr-2m1.txt.goal
  • tests/diff-tests/StackAr/StackAr-2m1mxor.txt.goal
  • tests/diff-tests/StackAr/StackAr-a.txt.goal
  • tests/diff-tests/StackAr/StackAr-ap.txt.goal
  • tests/diff-tests/StackAr/StackAr-e.txt.goal
  • tests/diff-tests/StackAr/StackAr-jt.txt.goal
  • tests/diff-tests/StackAr/StackAr-p.txt.goal
  • tests/diff-tests/StackAr/StackAr-t.txt.goal
  • tests/diff-tests/StackAr/StackAr-u.txt.goal
  • tests/diff-tests/StackAr/StackAr-union.txt.goal
  • tests/diff-tests/StackAr/StackAr-unionm1m2m2.txt.goal
  • tests/diff-tests/StackAr/StackAr-xor.txt.goal
  • tests/diff-tests/StackAr/StackAr-xorm1m2m2m1.txt.goal
  • tests/diff-tests/StackAr/StackAr.decls
  • tests/diff-tests/StackAr/StackAr.txt.goal
  • tests/diff-tests/schedule2/schedule2.decls
  • tests/kvasir-tests/SimpleDisambigStructTest/SimpleDisambigStructTest.disambig.decls.goal
  • tests/kvasir-tests/SimpleDisambigStructTest/SimpleDisambigStructTest.disambig.dtrace.goal
💤 Files with no reviewable changes (22)
  • java/daikon/test/split/targets/fuzzy.decls
  • Makefile
  • tests/diff-tests/StackAr/StackAr-xor.txt.goal
  • java/daikon/test/split/targets/StackAr.decls
  • tests/kvasir-tests/SimpleDisambigStructTest/SimpleDisambigStructTest.disambig.decls.goal
  • java/daikon/test/split/targets/RatNum.decls
  • tests/diff-tests/StackAr/StackAr.txt.goal
  • java/daikon/test/split/targets/fuzzy.spinfo
  • tests/diff-tests/StackAr/Makefile
  • tests/diff-tests/StackAr/StackAr-e.txt.goal
  • tests/diff-tests/StackAr/StackAr-2m1.txt.goal
  • tests/diff-tests/StackAr/StackAr.decls
  • java/daikon/test/SampleTesterGlobal.decls
  • tests/diff-tests/StackAr/StackAr-union.txt.goal
  • java/daikon/test/split/targets/StackAr.spinfo
  • tests/diff-tests/StackAr/StackAr-jt.txt.goal
  • tests/diff-tests/StackAr/StackAr-1m2.txt.goal
  • tests/kvasir-tests/SimpleDisambigStructTest/SimpleDisambigStructTest.disambig.dtrace.goal
  • java/daikon/test/split/targets/RatNum.spinfo
  • tests/diff-tests/StackAr/StackAr-u.txt.goal
  • tests/diff-tests/StackAr/StackAr-p.txt.goal
  • tests/diff-tests/StackAr/StackAr-t.txt.goal

Included review availability: This review used your included allowance. Your plan provides up to 2 included reviews per hour; 0 remain after this review.


📝 Walkthrough

Walkthrough

The change converts several declaration fixtures to version 2.0, removes other declaration and specification fixtures, and updates splitters to track array variables alongside indices or sizes. It also removes the StackAr diff-test fixtures and changes the diff-test directory list to include StackAr.

Priority: ⬇️ Low

Change: Other

Merge Risk: ⚪ Minimal · up to a9b20

This change updates test input files to the newer declaration format and removes obsolete test inputs. It does not change production behavior, and the author reports that the affected tests pass. No merge-blocking risk was found.

Architecture Summary

Architecture risk: 🔵 Low · up to a9b20

The change affects 3 systems.

Changed systems: java, tests, Makefile

Architecture concerns
No architecture-level concerns identified.

Review details

Systems and components

  • observed — java (service) was modified; 20 changed files map to changed impact.
  • observed — tests (service) was modified; 17 changed files map to changed impact.
  • observed — Makefile (service) was modified; 1 changed file maps to changed impact.

Before / after behavior

  • observed — Modified behavior in Makefile: Removed daikon/test/SampleTesterGlobal.decls from the DAIKON_RESOURCE_FILES list, so it is no longer included among the resources selected by that variable.
  • observed — Modified behavior in java/daikon/test/SampleTester.decls: The file replaces the VarComparability and DECLARE format with version 2.0 declarations for foo.f():::ENTER. The point is marked as an entry, and x, y, and z are declared as variables with explicit integer types and comparability.
  • observed — Modified behavior in java/daikon/test/SampleTester.decls: foo.f():::EXIT35 replaces its DECLARE record with a subexit point and explicit variable metadata for integer variables x, y, and z.
  • observed — Modified behavior in java/daikon/test/SampleTester.decls: foo.g():::ENTER replaces its DECLARE record with an entry point and explicit variable metadata for integer variables p, q, and r.
🚥 Pre-merge checks | ✅ 3
✅ Passed checks (3 passed)
Check name Status Explanation
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create a new PR
  • Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Comment @coderabbitai help to get the list of available commands.

@mernst

mernst commented Oct 6, 2026

Copy link
Copy Markdown
Member Author

Closing as a duplicate of #879. Its only extra change, deleting two unused version 1 Kvasir goal files, has been moved to #879.

@mernst mernst closed this Oct 6, 2026
@mernst
mernst deleted the convert-test-inputs-to-version-2 branch October 6, 2026 23:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant