Dead code in Theory Extractor
Description
Environment
None
Gliffy Diagrams
Activity
Show:

Michelle Werth March 15, 2017 at 12:40 PM
Yes, was probably a copy-paste error, was not reachable and used a wrong method-call

Jenkins Build Server November 2, 2016 at 8:32 PM
SUCCESS: Integrated in Jenkins build probcore_windows_tests #685 (See http://alfred.cs.uni-duesseldorf.de/job/probcore_windows_tests/685/)
added FIXME for unclear what the right behavior is (jens: https://github.com/bendisposto/prob2/commit/373049fb7f548c7124e02c21b73743519796f1c4)

Jenkins Build Server November 2, 2016 at 8:32 PM
SUCCESS: Integrated in Jenkins build probcore_win64_tests #710 (See http://alfred.cs.uni-duesseldorf.de/job/probcore_win64_tests/710/)
added FIXME for unclear what the right behavior is (jens: rev 373049fb7f548c7124e02c21b73743519796f1c4)
Fixed
Details
Details
Assignee

Reporter

Priority
Created November 2, 2016 at 3:53 AM
Updated March 15, 2017 at 12:40 PM
Resolved March 15, 2017 at 12:40 PM
line 170, See FIXME