Allow different filenames for statistics

Description

None

Environment

None

Activity

Show:
Jenkins Build Server
December 15, 2012, 7:28 AM

Integrated in

ProB_TclTk_Linux #5151
(Revision 12640)

Result = SUCCESS
bendisposto :
Files :

  • /trunk/prolog/extensions/zmq/master.c

  • /trunk/prolog/extensions/zmq/master.pl

  • /trunk/prolog/extensions/zmq/worker.c

  • /trunk/prolog/parB2.sh

Jenkins Build Server
December 15, 2012, 7:53 AM

Integrated in

ProB_TclTk_Linux #5152
(Revision 12641)

Result = SUCCESS
bendisposto :
Files :

  • /trunk/prolog/src/prob_cli.pl

Jenkins Build Server
December 15, 2012, 8:05 PM

Integrated in

ProB_TclTk_Windows #92
(Revision 12641)
(Revision 12640)

Result = SUCCESS
bendisposto :
Files :

  • /trunk/prolog/src/prob_cli.pl

bendisposto :
Files :

  • /trunk/prolog/extensions/zmq/master.c

  • /trunk/prolog/extensions/zmq/master.pl

  • /trunk/prolog/extensions/zmq/worker.c

  • /trunk/prolog/parB2.sh

Jenkins Build Server
January 21, 2013, 3:16 PM

Integrated in

ProB_TclTk_Linux_No_Parallel #12
(Revision 12641)
(Revision 12640)

Result = SUCCESS
bendisposto :
Files :

  • /trunk/prolog/src/prob_cli.pl

bendisposto :
Files :

  • /trunk/prolog/extensions/zmq/master.c

  • /trunk/prolog/extensions/zmq/master.pl

  • /trunk/prolog/extensions/zmq/worker.c

  • /trunk/prolog/parB2.sh

Fixed

Assignee

Philipp Koerner

Reporter

Jens Bendisposto

Priority

Trivial