Task #13587

Bug #13581: Report node not satisfiable users to the user

Review 13581-cr-not-satisfiable-report

Added by Lucas Di Pentima over 1 year ago. Updated over 1 year ago.

Status:
Closed
Priority:
Normal
Assigned To:
Category:
-
Target version:
Start date:
06/07/2018
Due date:
% Done:

0%

Estimated time:

History

#1 Updated by Tom Clegg over 1 year ago

  • Assigned To set to Tom Clegg

#2 Updated by Lucas Di Pentima over 1 year ago

  • Subject changed from Review to Review 13581-cr-not-satisfiable-report
  • Status changed from New to In Progress
  • Start date set to 06/07/2018

#3 Updated by Tom Clegg over 1 year ago

  • Assigned To changed from Tom Clegg to Lucas Di Pentima

#4 Updated by Lucas Di Pentima over 1 year ago

  • Assigned To changed from Lucas Di Pentima to Tom Clegg

#5 Updated by Tom Clegg over 1 year ago

  • Assigned To changed from Tom Clegg to Lucas Di Pentima

#6 Updated by Lucas Di Pentima over 1 year ago

  • Assigned To changed from Lucas Di Pentima to Tom Clegg

#7 Updated by Tom Clegg over 1 year ago

  • Assigned To changed from Tom Clegg to Lucas Di Pentima

#8 Updated by Lucas Di Pentima over 1 year ago

  • Status changed from In Progress to Closed
  • Remaining (hours) set to 0.0

Also available in: Atom PDF