Dead code in Theory Extractor

Description

line 170, See FIXME

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

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