fefrei / prog2tests

Automatically exported from code.google.com/p/prog2tests
0 stars 0 forks source link

Including test from Immanuel Haffner #19

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
Prog2 Forum thread:
https://forum.st.cs.uni-saarland.de/boards/viewthread?thread=1518

Original issue reported on code.google.com by Nichmen...@gmail.com on 27 Jun 2012 at 5:29

GoogleCodeExporter commented 9 years ago

Original comment by Nichmen...@gmail.com on 27 Jun 2012 at 7:47

GoogleCodeExporter commented 9 years ago
Hallo,
Ich bins, Immanuel. Ich wollte mal fragen wie ich updates zu meinen Tests 
nachreiche? Hab nun den Test bzw isPurePositive/negative und Literal.isPure 
gefixt...

Original comment by morph3uz...@gmail.com on 28 Jun 2012 at 10:13

GoogleCodeExporter commented 9 years ago
The link https://docs.google.com/open?id=0B9qp-zSEHtyfenBCU3o3dzk4Znc doesn't 
seem to be up to date anymore ("this item is in the owner's trash").
My suggestions for further handling of versions:
- Share a GoogleDrive Folder with me, so I can read what you upload there. I 
suggest this only because you seem to prefer the Service GoogleDrive.
- Make a post here "new version!" or write me a mail if you've uploaded a new 
version.

Since I have to afteredit your test file(s), please use the "after-edited" 
version for further work. That saves me a lot of time.

You're welcome to suggest any other form of giving me "new" source, if you want 
that so badly.

Note that I currently do not have the "new version" you were talking about.

Original comment by Nichmen...@gmail.com on 28 Jun 2012 at 11:15

GoogleCodeExporter commented 9 years ago
I processed your code, and found some errors.
Please read my posts on the forum: 
https://forum.st.cs.uni-saarland.de/boards/viewthread?thread=1518#8455

Original comment by Nichmen...@gmail.com on 29 Jun 2012 at 6:50

GoogleCodeExporter commented 9 years ago
i will link u all my tests after i fixed all issues i found and passed all the 
tests...

Original comment by morph3uz...@gmail.com on 1 Jul 2012 at 11:03

GoogleCodeExporter commented 9 years ago

Original comment by felix@familie-freiberger.net on 15 Jul 2012 at 12:49