├── .github └── workflows │ ├── ci.yaml │ └── zulip_notifier.yml ├── .gitignore ├── LICENSE ├── README.md ├── assert ├── assert.go ├── assert_noop.go ├── assert_types.go ├── boolean_guidance.go ├── location.go ├── numeric_guidance.go ├── rich_assert.go ├── rich_assert_nop.go └── tracker.go ├── default.nix ├── doc2go-headers.patch ├── doc2go-meta-desc.patch ├── doc2go-title.patch ├── go.mod ├── go.sum ├── instrumentation ├── bitset.go ├── notify.go └── notify_noop.go ├── internal ├── emit.go ├── emit_test.go ├── sdk_const.go ├── voidstar_handler.go └── voidstar_handler_noop.go ├── lifecycle ├── lifecycle.go └── lifecycle_noop.go ├── random ├── random.go ├── random_choice.go ├── random_choice_test.go └── random_local.go ├── reformat.sh └── tools └── antithesis-go-instrumentor ├── antithesis-go-instrumentor.go ├── assertions ├── assertion_hints.go ├── assertion_scanner.go └── catalog_output.go ├── cmd ├── cmd_args.go ├── cmd_files.go └── exclusions.go ├── common ├── files.go ├── logger.go ├── names.go └── text.go ├── instrumentor ├── file_instrumentor.go ├── node_stack.go ├── notifier_output.go └── symbol_table.go └── version.txt /.github/workflows/ci.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/.github/workflows/ci.yaml -------------------------------------------------------------------------------- /.github/workflows/zulip_notifier.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/.github/workflows/zulip_notifier.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/README.md -------------------------------------------------------------------------------- /assert/assert.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/assert/assert.go -------------------------------------------------------------------------------- /assert/assert_noop.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/assert/assert_noop.go -------------------------------------------------------------------------------- /assert/assert_types.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/assert/assert_types.go -------------------------------------------------------------------------------- /assert/boolean_guidance.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/assert/boolean_guidance.go -------------------------------------------------------------------------------- /assert/location.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/assert/location.go -------------------------------------------------------------------------------- /assert/numeric_guidance.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/assert/numeric_guidance.go -------------------------------------------------------------------------------- /assert/rich_assert.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/assert/rich_assert.go -------------------------------------------------------------------------------- /assert/rich_assert_nop.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/assert/rich_assert_nop.go -------------------------------------------------------------------------------- /assert/tracker.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/assert/tracker.go -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/default.nix -------------------------------------------------------------------------------- /doc2go-headers.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/doc2go-headers.patch -------------------------------------------------------------------------------- /doc2go-meta-desc.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/doc2go-meta-desc.patch -------------------------------------------------------------------------------- /doc2go-title.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/doc2go-title.patch -------------------------------------------------------------------------------- /go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/go.mod -------------------------------------------------------------------------------- /go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/go.sum -------------------------------------------------------------------------------- /instrumentation/bitset.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/instrumentation/bitset.go -------------------------------------------------------------------------------- /instrumentation/notify.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/instrumentation/notify.go -------------------------------------------------------------------------------- /instrumentation/notify_noop.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/instrumentation/notify_noop.go -------------------------------------------------------------------------------- /internal/emit.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/internal/emit.go -------------------------------------------------------------------------------- /internal/emit_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/internal/emit_test.go -------------------------------------------------------------------------------- /internal/sdk_const.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/internal/sdk_const.go -------------------------------------------------------------------------------- /internal/voidstar_handler.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/internal/voidstar_handler.go -------------------------------------------------------------------------------- /internal/voidstar_handler_noop.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/internal/voidstar_handler_noop.go -------------------------------------------------------------------------------- /lifecycle/lifecycle.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/lifecycle/lifecycle.go -------------------------------------------------------------------------------- /lifecycle/lifecycle_noop.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/lifecycle/lifecycle_noop.go -------------------------------------------------------------------------------- /random/random.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/random/random.go -------------------------------------------------------------------------------- /random/random_choice.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/random/random_choice.go -------------------------------------------------------------------------------- /random/random_choice_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/random/random_choice_test.go -------------------------------------------------------------------------------- /random/random_local.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/random/random_local.go -------------------------------------------------------------------------------- /reformat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/reformat.sh -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/antithesis-go-instrumentor.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/antithesis-go-instrumentor.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/assertions/assertion_hints.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/assertions/assertion_hints.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/assertions/assertion_scanner.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/assertions/assertion_scanner.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/assertions/catalog_output.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/assertions/catalog_output.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/cmd/cmd_args.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/cmd/cmd_args.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/cmd/cmd_files.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/cmd/cmd_files.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/cmd/exclusions.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/cmd/exclusions.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/common/files.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/common/files.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/common/logger.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/common/logger.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/common/names.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/common/names.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/common/text.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/common/text.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/instrumentor/file_instrumentor.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/instrumentor/file_instrumentor.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/instrumentor/node_stack.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/instrumentor/node_stack.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/instrumentor/notifier_output.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/instrumentor/notifier_output.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/instrumentor/symbol_table.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antithesishq/antithesis-sdk-go/HEAD/tools/antithesis-go-instrumentor/instrumentor/symbol_table.go -------------------------------------------------------------------------------- /tools/antithesis-go-instrumentor/version.txt: -------------------------------------------------------------------------------- 1 | Antithesis LLC Go Instrumentor %s 2 | --------------------------------------------------------------------------------