We want an option to control whether every worker has its own hashmap or has to request the hash status from the master.
ProB_TclTk_Windows #141 (Revision 12875)
Result = SUCCESSkoerner : Files :
Works, but is slow.
ProB_TclTk_Linux #5400 (Revision 12904)
ProB_TclTk_Windows #146 (Revision 12904)
Result = SUCCESS