Skip to content

Issues: wwu-pi/muggl

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

17 Open 15 Closed
17 Open 15 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Loading a Local Variable of Type Double bug
#36 opened Aug 16, 2016 by anfuchs
1
Long Variable in Method Argument not supported via JaCoP Solver
#34 opened Aug 10, 2016 by anfuchs
Config Files Shenanigans
#27 opened Mar 1, 2016 by vvhof
2 tasks
@anfuchs
1
Remove SWT dependency from muggl-common project enhancement
#24 opened Feb 23, 2016 by vvhof
1
Incomplete covered control graphs bug question
#23 opened Nov 9, 2015 by anfuchs
1
Missing Objectref during DU chain generation bug
#20 opened Sep 22, 2015 by Dagefoerde
@vvhof
Flow Coverage: Too many test cases. question
#13 opened Mar 9, 2015 by vvhof
1
Add additional Termination Criteria enhancement
#12 opened Mar 9, 2015 by vvhof
1
Test case portfolio does not cover the DU Chains bug
#11 opened Mar 9, 2015 by vvhof
Not using all DU Chains bug
#10 opened Mar 9, 2015 by vvhof
classpath missing from 'Options' (class) bug
#9 opened Feb 24, 2015 by HerbertKuchen
[windows] "open test case file" - does not open test case file
#8 opened Jan 15, 2015 by vvhof
@vvhof
1
[windows] ui start with wrong directory
#7 opened Jan 15, 2015 by vvhof
@vvhof
Uninitialized array positions bug
#6 opened Sep 11, 2014 by manuelmontenegro
Failing test case generated when swapping the elements of an array
#5 opened Sep 3, 2014 by manuelmontenegro
1
ClassCastException when receiving int instead of Integer
#4 opened Sep 3, 2014 by manuelmontenegro
Empty stack error bug
#2 opened Jul 28, 2014 by RafaelCaballero
ProTip! Type g i on any issue or pull request to go back to the issue listing page.