API.md

Welcome

This is our webservice's API.

Enjoy!

POST /compare

Request:

• Supported content types are:
  • application/json;charset=utf-8
  • application/json

{
  "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.

{ "model": {"a": [0, -0.5], "i": 10},
    "responseType": "NotEquiv"
}