Skip to content

Shrink index and minimal test file output support #16

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
ninioArtillero merged 15 commits into from
Dec 18, 2025
+123 −16
Merged

Shrink index and minimal test file output support #16

Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
1401af3
Use index and minimal test file output arguments
ninioArtillero Dec 16, 2025
25ca82b
Log messages to stderr
ninioArtillero Dec 17, 2025
a60b13f
Test result data type
ninioArtillero Dec 17, 2025
1eae5d9
Reminder for testgen
ninioArtillero Dec 17, 2025
7f31576
Refactor logic branching with continuation index
ninioArtillero Dec 17, 2025
a78f75b
Factor continue index pattern
ninioArtillero Dec 18, 2025
9e4ae81
Remove isJust/fromJust antipattern
ninioArtillero Dec 18, 2025
fdf69c9
Reduce nesting by folding a Maybe
ninioArtillero Dec 18, 2025
61a6c00
Function from Bool to custom result type
ninioArtillero Dec 18, 2025
24fa38c
Use dummy no shrinking shrinker
ninioArtillero Dec 18, 2025
b0cdd66
Do not return index on global success
ninioArtillero Dec 18, 2025
2688027
Print minimal counterexample on stdout following design
ninioArtillero Dec 18, 2025
d5c91b8
Add missing derived instances for custom types
ninioArtillero Dec 18, 2025
a610a75
Refactor index update function
ninioArtillero Dec 18, 2025
3339ac9
Remove fromJusts
ninioArtillero Dec 18, 2025
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: 1 addition & 1 deletion cardano-node/app/conformance-test-runner.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -231,7 +231,7 @@ main = do
-- 'fromJust' is safe here because an index generated
-- by 'indexUpdate' is always on the tree.
(Just minimalTestFilePath, True) -> encodeFile minimalTestFilePath (fromJust (Ix.lookup ix tree))
(Nothing, True) -> print ix
(Nothing, True) -> print $ encode $ fromJust (Ix.lookup ix tree)
_ -> pure ()
pure mempty
exitWithStatus . Flags $ testResultToFlag testRes <> mightContinueShrinking
Expand Down