Neil Brown
426064ba2d
Fixed some failing tests due to a change in the sequential edge labels in the flow graph (just the while tests)
2008-09-11 16:10:30 +00:00
Neil Brown
3a5881c14f
Added an optional flag to the ESeq edge label, ready to be used to indicate whether a condition was true on this branch or not
2008-06-06 18:34:50 +00:00
Neil Brown
cbe460f306
Added a new part to UsageLabel for conditions in nodes, and added a new corresponding labelling function for nodes
2008-06-06 18:32:47 +00:00
Neil Brown
a417708cda
Fixed some of the flow graph tests that were broken by the change to Rep
2008-06-04 18:32:16 +00:00
Neil Brown
41ff60cb78
Removed the Rep constructor from Structured and instead added a Rep constructor to SpecType
...
This way, all replicators are declared like other names, and their scope is considered replicated. This simplifies the code a little.
Fixes #55
2008-06-04 17:00:43 +00:00
Neil Brown
edbfea163f
Changed FlowGraphTest to compile against my latest changes
2008-05-30 19:44:26 +00:00
Neil Brown
3daf82d318
Merged Alternative and AlternativeCond into a single Alternative item that always has a pre-condition
2008-04-03 14:52:37 +00:00
Neil Brown
ceafd77c1e
Removed Wait, GetTime and AlternativeWait (the old Rain time items) from the AST
2008-03-24 15:15:54 +00:00
Adam Sampson
6df110dce4
Wrap QuickCheck tests into HUnit tests.
...
This means all the tests now get run as part of one list, and HUnit keeps track
of the number of failures for us. (The reason I was doing this was so that
tocktest will exit non-zero on QuickCheck test failure too.)
As part of this, I've reworked TestMain's main function quite a bit. It'll now
filter QuickCheck tests into response to options too.
2008-03-12 19:38:02 +00:00
Neil Brown
ba75f5b06c
Removed the initialiser expression on the Declaration item in the AST
2008-03-09 00:23:13 +00:00
Neil Brown
03eab6c142
Fixed some typing relating to QuickCheck and the TestMonad to avoid type ambiguities in future
2008-03-05 16:04:30 +00:00
Neil Brown
5807c59edf
Moved the three Flow modules out to a new flow directory
2008-02-26 15:07:07 +00:00
