Author: weinberg
Date: Fri Aug 14 09:34:17 2009
New Revision: 4576
URL: http://svn.gna.org/viewcvs/service-tech?rev=4576&view=rev
Log:
+ added new user directive in userconfig.H called STATESPACE
- directive is used when wendy shall generate a livelock free partner
- it enables FULL, TARJAN, FULLTARJAN and SHOWLOWLINK, which is new as well
and tells lola to print out the lowlink value of each state being printed out
+ due to bug #14120 <http://gna.org/bugs/?14120> I had to enclose the following
lines of code: 909, 1173 in graph.cc like this
#ifndef STATESPACE
CurrentState -> phi = F -> value;
#endif
! this should be removed as soon as the bug is fixed
Added:
trunk/lola/src/configs/userconfig.H.statespace
Modified:
trunk/lola/ChangeLog
trunk/lola/src/Makefile.am
trunk/lola/src/configs/userconfig.H.full
trunk/lola/src/dimensions.H
trunk/lola/src/graph.cc
trunk/lola/src/userconfig.H
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
