Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Missing test of the online ATPs #68

Closed
asr opened this issue Aug 30, 2016 · 1 comment
Closed

Missing test of the online ATPs #68

asr opened this issue Aug 30, 2016 · 1 comment
Assignees
@asr
Labels
online-atps test-suite travis type: enhancement

Comments

@asr
Copy link
Owner

asr commented Aug 30, 2016 •
edited
Loading

What the title says.
@asr asr self-assigned this Aug 30, 2016
This was referenced Aug 30, 2016
Closed
Closed
asr added a commit that referenced this issue Sep 4, 2016
@asr
[ close #68 ] Added test case for the online ATPs.
befca19
@asr asr changed the title Missing test of the online-atps Missing test of the on-line ATPs Sep 4, 2016
@asr asr changed the title Missing test of the on-line ATPs Missing test of the online ATPs Sep 4, 2016
asr added a commit that referenced this issue Sep 4, 2016
@asr
[ #68 ] Added test case for the online ATPs.
39bdc6e
@asr asr mentioned this issue Sep 4, 2016
Closed
@asr
Copy link
Owner Author

asr commented Sep 5, 2016

Closed by the above commit.

@asr asr closed this as completed Sep 5, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@asr asr

Labels
online-atps test-suite travis type: enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@asr