https://github.com/christimperley/pythia

https://github.com/christimperley/pythia

Last synced: over 1 year ago
JSON representation

• Host: GitHub
• URL: https://github.com/christimperley/pythia
• Owner: ChrisTimperley
• License: mit
• Created: 2016-12-08T16:21:33.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-04-18T20:52:19.000Z (about 9 years ago)
• Last Synced: 2025-01-03T19:17:49.066Z (over 1 year ago)
• Language: Python
• Size: 40 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Pythia

## Installation

Build from source with `easy_install`.

## Usage

### Getting Help

```

$ pythia -h

...

$ pythia generate -h

...

```

### Generating an Oracle

```

$ pythia generate source/gzip.exe

generating oracle...

finished.

saved to disk at: oracle.pythia.json

```

### Running a test case and comparing to oracle

```

$ pythia run source/gzip.exe 17

running test case #17: <> -fgrx < <>/f.z

status: FAIL

```

### Generating a Test Mapping

## Examples

### Test Suite Manifest

### Example Oracle Definition

```

[

  {

    "retval": 0,

    "out": "the sum is: 7",

    "err": "",

    "sandbox": {}

  },

  ...

]

```