Changes in tcs1.testcase http://src.iws.cs.ovgu.de/source/rss/hets/CspCASL/test/tcs1.testcase en Copyright 2005 Java CspCASL - working on outermost concrete syntax of ccspec parsing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8871 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/test/tcs1.testcase - c01168f53431b6ad785bf8a8b12bd3a60b93b9b4 Andy Gimblett <a.m.gimblett@swansea.ac.uk> CspCASL - preliminary work on test case framework git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7625 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/test/tcs1.testcase - 2cf5a456da8bb3a2bbb695414d8304426e3bd277 Andy Gimblett <a.m.gimblett@swansea.ac.uk>