Viewing all changes in revision 321.
- Committer: Jiri Srba
- Date: 2014-08-14 07:31:34 UTC
- mfrom: (320.1.4 TimeDartTraceBug)
- Revision ID: srba@cs.aau.dk-20140814073134-utvvg2tsizdo9sbl
merged in branch fixing a minor change to the structure of the trace-generation. This will only affect livenes queries ending in delay forever or deadlocks
expand all
collapse all
added
removed
