Author: jonnyjd
Date: Thu Jun 11 15:33:43 2015
New Revision: 10002
URL: http://svn.gna.org/viewcvs/service-tech?rev=10002&view=rev
Log:
chloe3: cosmetic fixes
Modified:
trunk/chloe3/THEORY
trunk/chloe3/tests/testsuite.at
Modified: trunk/chloe3/THEORY
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/chloe3/THEORY?rev=10002&r1=10001&r2=10002&view=diff
==============================================================================
--- trunk/chloe3/THEORY (original)
+++ trunk/chloe3/THEORY Thu Jun 11 15:33:43 2015
@@ -15,8 +15,8 @@
Programming, 2015.
Richard Mu"ller. Verifying Responsiveness for Open Systems by
- Means of Conformance Checking. PhD thesis, HU Berlin / TU
- Eindhoven, 2014.
+ Means of Conformance Checking. PhD thesis, Technische Universiteit
+ Eindhoven and Humboldt-Universita"t zu Berlin, 2014.
Optimizing the Construction of the LTS CSD/BSD
==============================================
@@ -31,8 +31,8 @@
described here:
Johannes Dewender. An Optimized Implementation for a Trace-Based
- Characterization of b-Bounded Responsiveness. Diplomarbeit, HU
- Berlin, 2015.
+ Characterization of b-Bounded Responsiveness. Diplomarbeit,
+ Humboldt-Universita"t zu Berlin, 2015.
Modified: trunk/chloe3/tests/testsuite.at
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/chloe3/tests/testsuite.at?rev=10002&r1=10001&r2=10002&view=diff
==============================================================================
--- trunk/chloe3/tests/testsuite.at (original)
+++ trunk/chloe3/tests/testsuite.at Thu Jun 11 15:33:43 2015
@@ -116,7 +116,7 @@
AT_CHECK_LOLA
AT_CHECK([cp TESTFILES/user.owfn .])
AT_CHECK([CHLOE --lola LOLA --config=foo user.owfn],0,ignore)
-AT_KEYWORDS(infrstructure)
+AT_KEYWORDS(infrastructure)
AT_CLEANUP
AT_SETUP([stats output])
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
service-tech-commits@gna.org. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
