https://github.com/porges/maat

https://github.com/porges/maat

Last synced: 21 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/porges/maat
• Owner: Porges
• Created: 2021-02-10T23:07:08.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2023-02-25T02:10:06.000Z (almost 2 years ago)
• Last Synced: 2024-10-26T10:28:20.331Z (2 months ago)
• Language: Go
• Size: 1.23 MB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 𓁦 maat 𓆄 

maat is an experiment

----

Write a test that fails:

```rust

#[test]

pub fn test_inner() {

    property(|maat| {

        let x = maat.generate("x", vec(i64(0, 100), 0, 10));

        let mut y = x.clone();

        y.reverse();

        x == y

    })

}

```

Run it:

```

[maat] Falsified property with values:

x: alloc::vec::Vec = [

    0,

    1,

]

[maat] Original failing values were:

x: alloc::vec::Vec = [

    51,

    32,

    90,

    50,

    33,

    97,

    61,

    77,

]

```

Thanks `maat`.