summaryrefslogtreecommitdiff
path: root/internal/engine/property_test.go
Commit message (Collapse)AuthorAgeFilesLines
* the module path is git.labunix.xyz/krinoLukasz Kasprzak2 days1-2/+2
| | | | | | | | | | | So that go install can find it. cgit serves no go-import meta tag, so nginx answers a ?go-get=1 request for /NAME with one pointing at https://git.labunix.xyz/NAME.git; the alternative was carrying a .git suffix through every import line forever. One sed over the imports, both go.mod files, and the dependency gate's whitelist. Nothing else depends on the path. go install works from the next tag, the first release whose go.mod carries it.
* plan 10: missing and weak tests (per-step logging, trash path, fuzz oracle, ↵Lukasz Kasprzak5 days1-2/+2
| | | | w after error)
* plan 9: property test compares directories and refuses to pass vacuously; ↵Lukasz Kasprzak5 days1-12/+30
| | | | undo tracks directories trash restores recreate
* plan 8: generated apply and undo round trip; undo reverses chains within one ↵Lukasz Kasprzak5 days1-0/+239
file