API.md

## Welcome

This is our webservice's API.

Enjoy!

## POST /compare

#### Request:
- Supported content types are:
    - `application/json;charset=utf-8`
    - `application/json`

```javascript
{
  "sourceA":
    "public static float real1(float a) { \
       pre(a >= (2 - 1 + 1)); \
       a += a; \
       post(a >= (4 - 3 + 3)); \
     }",
  "sourceB":
    "public static float real2(float a) { \
       pre(a > 2 || a == 2); \
       a = a * 2; \
       post(a > 4 || a == 4); \
     }"
}
```

#### Response:

- Status code 200
- Headers: []
- Supported content types are:
    - `application/json;charset=utf-8`
    - `application/json`


- Response body as below.
```javascript
{ "model": {"a": [0, -0.5], "i": 10},
    "responseType": "NotEquiv"
}
```