Check that the state space is the same

Description

None

Environment

None

Activity

Show:
Jenkins Build Server
February 14, 2013, 1:42 PM

Integrated in

ProB_Tests_Linux_No_Parallel #17

Result = SUCCESS

Jenkins Build Server
February 13, 2013, 7:57 PM

Integrated in

ProB_TclTk_Windows #162
- dumps statespace into file(s) (Revision 13019)

Result = SUCCESS
koerner :
Files :

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

Jenkins Build Server
February 13, 2013, 1:36 PM

Integrated in

ProB_TclTk_Linux #5475
- dumps statespace into file(s) (Revision 13019)

Result = SUCCESS
koerner :
Files :

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

Assignee

Philipp Koerner

Reporter

Jens Bendisposto

Priority

Major