aboutsummaryrefslogtreecommitdiff
path: root/internal/engine/property_test.go
Commit message (Collapse)AuthorAgeFilesLines
* the module path is git.labunix.xyz/krinoLukasz Kasprzak3 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 Kasprzak6 days1-2/+2
| | | | w after error)
* plan 9: property test compares directories and refuses to pass vacuously; ↵Lukasz Kasprzak6 days1-12/+30
| | | | undo tracks directories trash restores recreate
* plan 8: generated apply and undo round trip; undo reverses chains within one ↵Lukasz Kasprzak6 days1-0/+239
file