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.2.tar.gz (6.3 kB view details)

Uploaded Source

File details

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

File metadata

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

File hashes

Hashes for huzzer-0.0.2.tar.gz
Algorithm Hash digest
SHA256 09af865df196fca1956b344b0f3234162bd97989c7f24d2947f6f7c4d2272983
MD5 28a68390bdeffff29dd4cbebebe191f1
BLAKE2b-256 b5abc8d094dd79ec9a9753b84e40c5c25d781e3911bb22982ce913ae4f67faec

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