-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
758 changed files
with
6,950,906 additions
and
0 deletions.
There are no files selected for viewing
10,549 changes: 10,549 additions & 0 deletions
10,549
dataset/json/00ef475a78b24a96bf83f66dea3a01be.json
Large diffs are not rendered by default.
Oops, something went wrong.
3,717 changes: 3,717 additions & 0 deletions
3,717
dataset/json/0145705221134826a087abeaf933921f.json
Large diffs are not rendered by default.
Oops, something went wrong.
9,130 changes: 9,130 additions & 0 deletions
9,130
dataset/json/016964ca6be64ae48e14d43ca546c152.json
Large diffs are not rendered by default.
Oops, something went wrong.
9,696 changes: 9,696 additions & 0 deletions
9,696
dataset/json/0238fca6ffc6409d98d64ea55cd39c83.json
Large diffs are not rendered by default.
Oops, something went wrong.
8,008 changes: 8,008 additions & 0 deletions
8,008
dataset/json/023ac46236f242bba1083243c71ef5c6.json
Large diffs are not rendered by default.
Oops, something went wrong.
10,995 changes: 10,995 additions & 0 deletions
10,995
dataset/json/02c8c65bd4a24bbb92728da6a25bd67c.json
Large diffs are not rendered by default.
Oops, something went wrong.
3,729 changes: 3,729 additions & 0 deletions
3,729
dataset/json/0325d68cad4e4196bd48aee3dcbff785.json
Large diffs are not rendered by default.
Oops, something went wrong.
8,307 changes: 8,307 additions & 0 deletions
8,307
dataset/json/0391ab5afcd64969a3e8da1aaf3f8d11.json
Large diffs are not rendered by default.
Oops, something went wrong.
7,377 changes: 7,377 additions & 0 deletions
7,377
dataset/json/039549aaabf34b72a9f90dc2d0a3a111.json
Large diffs are not rendered by default.
Oops, something went wrong.
10,140 changes: 10,140 additions & 0 deletions
10,140
dataset/json/03c39abca43a472b8d06a2e25fbd0d21.json
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,226 @@ | ||
| { | ||
| "variables": [ | ||
| "x0", | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| "positives": [ | ||
| { | ||
| "traces": [ | ||
| [ | ||
| "x0", | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x1" | ||
| ], | ||
| [ | ||
| "x2" | ||
| ], | ||
| [] | ||
| ], | ||
| "repeat": 0 | ||
| }, | ||
| { | ||
| "traces": [ | ||
| [ | ||
| "x0", | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x2" | ||
| ], | ||
| [], | ||
| [ | ||
| "x1" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x1" | ||
| ] | ||
| ], | ||
| "repeat": 3 | ||
| }, | ||
| { | ||
| "traces": [ | ||
| [ | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x1" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x1", | ||
| "x2" | ||
| ] | ||
| ], | ||
| "repeat": 1 | ||
| }, | ||
| { | ||
| "traces": [ | ||
| [ | ||
| "x1" | ||
| ], | ||
| [ | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x0" | ||
| ], | ||
| [], | ||
| [] | ||
| ], | ||
| "repeat": 3 | ||
| }, | ||
| { | ||
| "traces": [ | ||
| [ | ||
| "x0", | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x1" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x2" | ||
| ] | ||
| ], | ||
| "repeat": 0 | ||
| } | ||
| ], | ||
| "negatives": [ | ||
| { | ||
| "traces": [ | ||
| [ | ||
| "x0" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x2" | ||
| ], | ||
| [], | ||
| [ | ||
| "x0", | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x2" | ||
| ] | ||
| ], | ||
| "repeat": 3 | ||
| }, | ||
| { | ||
| "traces": [ | ||
| [], | ||
| [ | ||
| "x0", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x0" | ||
| ], | ||
| [ | ||
| "x1" | ||
| ] | ||
| ], | ||
| "repeat": 3 | ||
| }, | ||
| { | ||
| "traces": [ | ||
| [ | ||
| "x0" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x0" | ||
| ], | ||
| [] | ||
| ], | ||
| "repeat": 4 | ||
| }, | ||
| { | ||
| "traces": [ | ||
| [ | ||
| "x0", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x0" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x2" | ||
| ], | ||
| [], | ||
| [ | ||
| "x1", | ||
| "x2" | ||
| ] | ||
| ], | ||
| "repeat": 4 | ||
| }, | ||
| { | ||
| "traces": [ | ||
| [ | ||
| "x0" | ||
| ], | ||
| [ | ||
| "x1", | ||
| "x2" | ||
| ], | ||
| [ | ||
| "x0", | ||
| "x1" | ||
| ], | ||
| [ | ||
| "x2" | ||
| ], | ||
| [] | ||
| ], | ||
| "repeat": 1 | ||
| } | ||
| ], | ||
| "expected": "->(F(x1),U(!(x0),x1))" | ||
| } |
Oops, something went wrong.