https://github.com/tensorush/zig-exhaustigen

Zig port of exhaustigen-rs library for exhaustive testing.
https://github.com/tensorush/zig-exhaustigen

zig zig-library zig-package

Last synced: 5 months ago
JSON representation

Zig port of exhaustigen-rs library for exhaustive testing.

• Host: GitHub
• URL: https://github.com/tensorush/zig-exhaustigen
• Owner: tensorush
• License: mit
• Created: 2024-07-17T18:44:59.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2025-03-04T13:55:18.000Z (over 1 year ago)
• Last Synced: 2025-03-04T14:35:32.427Z (over 1 year ago)
• Topics: zig, zig-library, zig-package
• Language: Zig
• Homepage: https://tensorush.github.io/zig-exhaustigen/
• Size: 9.77 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# zig-exhaustigen

## Zig port of [exhaustigen-rs library](https://github.com/graydon/exhaustigen-rs) for exhaustive testing.

### Usage

1. Add `exhaustigen` dependency to `build.zig.zon`:

```sh

zig fetch --save git+https://github.com/tensorush/zig-exhaustigen.git

```

2. Use `exhaustigen` dependency in `build.zig`:

```zig

const exhaustigen_dep = b.dependency("exhaustigen", .{

    .target = target,

    .optimize = optimize,

});

const exhaustigen_mod = exhaustigen_dep.module("exhaustigen");

const root_mod = b.createModule(.{

    .target = target,

    .optimize = optimize,

    .imports = &.{

        .{ .name = "exhaustigen", .module = exhaustigen_mod },

    },

});

```