Skip to main content

A very-simple-subset-of-haskell fuzzer

Project description

A very-simple-subset-of-haskell fuzzer

```
module Generated (function0,function1,function2) where

function0 :: Int -> Bool -> Bool -> Bool -> Bool -> Int -> Int
function0 a b c d e f = (function1 (2 /= 7) False False)

function1 :: Bool -> Bool -> Bool -> Int
function1 a b c = (8 * 0)

function2 :: Bool -> Int
function2 a = 1
```

it's available on pip by `pip install huzzer`

## Setup
Make sure you have python3 on your machine (`which python3` should print a path to it).

Set up a `virtualenv` with `virtualenv -p \`which python3\` env`

Activate the environment with `source env/bin/activate`

Install requirements `pip install -r requirements.txt`

Then you should be good to go. To leave the virtualenv, type `deactivate`

## Testing
To run all of the tests, run `nosetests`.

To run larger acceptance tests (against the ghc compiler), you will need `ghc` and `parallel` installed.
run `./large_acceptance_test.sh <number of tests>`

## TODOs
* multiple definitions for functions
* some unary expressions (fromEnum, !, abs)
* more commandline arguments for customisation


Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

huzzer-0.0.3.tar.gz (6.6 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

huzzer-0.0.3-py3-none-any.whl (8.7 kB view details)

Uploaded Python 3

File details

Details for the file huzzer-0.0.3.tar.gz.

File metadata

  • Download URL: huzzer-0.0.3.tar.gz
  • Upload date:
  • Size: 6.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for huzzer-0.0.3.tar.gz
Algorithm Hash digest
SHA256 ca642ac4fb4413d272f4e980a0492aa30286911dc151067e36fc6d47e5f5c3db
MD5 3cc6c49a6356e5a41e613db191d6d3e5
BLAKE2b-256 486a181ed83670091191c4eb881514a680b22e253a4774374e6299f81a18df48

See more details on using hashes here.

File details

Details for the file huzzer-0.0.3-py3-none-any.whl.

File metadata

File hashes

Hashes for huzzer-0.0.3-py3-none-any.whl
Algorithm Hash digest
SHA256 c63dbaede3017b82e344ddc8dcd3a7f40a7514d479d1893eef8df9af52f8d745
MD5 4766843cc72912210982cff5f0ee04d9
BLAKE2b-256 519ca75828787e8e73d2f7b2d3a850f987c5c5f528b9f083388fb0196bba778c

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page