Project

General

Profile

Support #3112

Tool Runner: make use of callable instead of runnable

Added by Anonymous about 3 years ago. Updated almost 3 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
10/19/2017
Due date:
% Done:

0%

Estimated time:

Description

Right now ToolRunnerBase makes use of the Runnable interface to call the tools. Upgrade it to Callable.

This was done in a specialised way for NuSMV. It should be changed for all.

History

#1 Updated by Anonymous almost 3 years ago

  • Status changed from New to Closed
  • Assignee deleted (Anonymous)

It has been done. Closing it myself.

Also available in: Atom PDF