Search results

Loading a Local Variable of Type Double

bug

Status: Open.

#36 In wwu-pi/muggl;

· anfuchs opened on Aug 16, 2016

Long Variable in Method Argument not supported via JaCoP Solver

Status: Open.

#34 In wwu-pi/muggl;

· anfuchs opened on Aug 10, 2016

Config Files Shenanigans

Status: Open.

#27 In wwu-pi/muggl;

· vvhof opened on Mar 1, 2016

Remove SWT dependency from muggl-common project

enhancement

Status: Open.

#24 In wwu-pi/muggl;

· vvhof opened on Feb 23, 2016

Incomplete covered control graphs

bug

question

Status: Open.

#23 In wwu-pi/muggl;

· anfuchs opened on Nov 9, 2015

Missing Objectref during DU chain generation

bug

Status: Open.

#20 In wwu-pi/muggl;

· Dagefoerde opened on Sep 22, 2015

Flow Coverage: Too many test cases.

question

Status: Open.

#13 In wwu-pi/muggl;

· vvhof opened on Mar 9, 2015

Add additional Termination Criteria

enhancement

Status: Open.

#12 In wwu-pi/muggl;

· vvhof opened on Mar 9, 2015

Test case portfolio does not cover the DU Chains

bug

Status: Open.

#11 In wwu-pi/muggl;

· vvhof opened on Mar 9, 2015

Not using all DU Chains

bug

Status: Open.

#10 In wwu-pi/muggl;

· vvhof opened on Mar 9, 2015

classpath missing from 'Options' (class)

bug

Status: Open.

#9 In wwu-pi/muggl;

· HerbertKuchen opened on Feb 24, 2015

[windows] "open test case file" - does not open test case file

Status: Open.

#8 In wwu-pi/muggl;

· vvhof opened on Jan 15, 2015