gisele 0.5.1 → 0.6.0

data/lib/gisele/errors.rb

@@ -18,4 +18,8 @@ module Gisele
   class UnexpectedNodeError < InternalError
   end
 
+  # Raised when a variable is not known.
+  class NoSuchVariableError < Error
+  end
+
 end # module Gisele

data/lib/gisele/loader.rb

@@ -2,5 +2,4 @@ require "path"
 require "quickl"
 require "awesome_print"
 require "yargi"
-require "stamina-core"
-require "gisele-language"
+require "gisele-analysis"

data/lib/gisele/version.rb

@@ -2,8 +2,8 @@ module Gisele
   module Version
 
     MAJOR = 0
-    MINOR = 5
-    TINY  = 1
+    MINOR = 6
+    TINY  = 0
 
     def self.to_s
       [ MAJOR, MINOR, TINY ].join('.')

data/spec/command/main/gisele_glts.stdout

@@ -1,85 +1,91 @@
 digraph G {
-  graph [rankdir="LR"];
-  0 [color="black" fillcolor="green" shape="circle" style="filled"];
-  2 [color="black" fillcolor="white" shape="circle" style="filled"];
-  4 [color="black" fillcolor="white" shape="circle" style="filled"];
-  6 [color="black" fillcolor="white" shape="circle" style="filled"];
-  5 [color="black" fillcolor="white" shape="circle" style="filled"];
-  7 [color="black" fillcolor="white" shape="circle" style="filled"];
-  9 [color="black" fillcolor="white" shape="circle" style="filled"];
-  10 [color="black" fillcolor="white" shape="circle" style="filled"];
-  21 [color="black" fillcolor="white" shape="circle" style="filled"];
-  18 [color="black" fillcolor="white" shape="circle" style="filled"];
-  23 [color="black" fillcolor="white" shape="circle" style="filled"];
-  20 [color="black" fillcolor="white" shape="circle" style="filled"];
-  12 [color="black" fillcolor="white" shape="circle" style="filled"];
-  22 [color="black" fillcolor="white" shape="circle" style="filled"];
-  14 [color="black" fillcolor="white" shape="circle" style="filled"];
-  19 [color="black" fillcolor="white" shape="circle" style="filled"];
-  8 [color="black" fillcolor="white" shape="circle" style="filled"];
-  13 [color="black" fillcolor="white" shape="circle" style="filled"];
-  15 [color="black" fillcolor="white" shape="circle" style="filled"];
-  24 [color="black" fillcolor="white" shape="circle" style="filled"];
-  17 [color="black" fillcolor="white" shape="circle" style="filled"];
-  26 [color="black" fillcolor="white" shape="circle" style="filled"];
-  16 [color="black" fillcolor="white" shape="circle" style="filled"];
-  25 [color="black" fillcolor="white" shape="circle" style="filled"];
-  27 [color="black" fillcolor="white" shape="circle" style="filled"];
-  3 [color="black" fillcolor="white" shape="circle" style="filled"];
-  29 [color="black" fillcolor="white" shape="circle" style="filled"];
-  11 [color="black" fillcolor="white" shape="circle" style="filled"];
-  36 [color="black" fillcolor="white" shape="circle" style="filled"];
-  1 [color="black" fillcolor="white" shape="circle" style="filled"];
-  30 [color="black" fillcolor="white" shape="circle" style="filled"];
-  33 [color="black" fillcolor="white" shape="circle" style="filled"];
-  32 [color="black" fillcolor="white" shape="circle" style="filled"];
-  38 [color="black" fillcolor="white" shape="circle" style="filled"];
-  35 [color="black" fillcolor="white" shape="circle" style="filled"];
-  34 [color="black" fillcolor="white" shape="circle" style="filled"];
-  37 [color="black" fillcolor="white" shape="circle" style="filled"];
-  31 [color="black" fillcolor="white" shape="circle" style="filled"];
-  28 [color="black" fillcolor="white" shape="circle" style="filled"];
-  4 -> 6 [label="FirstTask:start"];
-  6 -> 5 [label="FirstTask:end"];
-  2 -> 4 [label=""];
-  7 -> 9 [label=""];
-  12 -> 14 [label="MakeJoy:start"];
-  14 -> 13 [label="MakeJoy:end"];
-  10 -> 12 [label=""];
-  15 -> 17 [label="DrinkBeers:start"];
-  17 -> 16 [label="DrinkBeers:end"];
-  13 -> 15 [label=""];
-  16 -> 11 [label=""];
-  9 -> 10 [label="[everyoneHappy]"];
-  11 -> 8 [label=""];
-  18 -> 20 [label="DrinkBeer:start"];
-  20 -> 19 [label="DrinkBeer:end"];
-  9 -> 18 [label="[(someoneHappy and not(everyoneHappy))]"];
-  19 -> 8 [label=""];
-  21 -> 23 [label="DoNothingSpecial:start"];
-  23 -> 22 [label="DoNothingSpecial:end"];
-  9 -> 21 [label="[(not(someoneHappy) and not(everyoneHappy))]"];
-  22 -> 8 [label=""];
-  5 -> 7 [label=""];
-  24 -> 26 [label=""];
-  27 -> 29 [label=""];
-  30 -> 32 [label="DoSomething:start"];
-  32 -> 31 [label="DoSomething:end"];
-  29 -> 30 [label="[somethingToDo]"];
-  31 -> 28 [label=""];
-  33 -> 35 [label="DoNothing:start"];
-  35 -> 34 [label="DoNothing:end"];
-  29 -> 33 [label="[nothingToDo]"];
-  34 -> 28 [label=""];
-  36 -> 38 [label="WaitAndSee:start"];
-  38 -> 37 [label="WaitAndSee:end"];
-  29 -> 36 [label="[(not(someoneHappy) and not(everyoneHappy))]"];
-  37 -> 28 [label=""];
-  26 -> 25 [label="[endOfTheDay]"];
-  26 -> 27 [label="[not(endOfTheDay)]"];
-  28 -> 26 [label=""];
-  8 -> 24 [label=""];
-  25 -> 3 [label=""];
-  0 -> 2 [label=""];
-  3 -> 1 [label=""];
+  graph [margin="0" pack="true" rankdir="LR" ranksep="0"];
+  0 [color="black" fillcolor="green" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  1 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  2 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  3 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  4 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  5 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  6 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  7 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  8 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  9 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  10 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  11 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  12 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  13 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  14 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  15 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  16 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  17 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  18 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  19 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  20 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  21 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  22 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  23 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  24 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  25 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  26 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  27 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  28 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  29 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  30 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  31 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  32 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  33 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  34 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  35 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  36 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  37 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  38 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  39 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  40 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  41 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
+  4 -> 6 [arrowsize="0.7" label="FirstTask:start"];
+  6 -> 5 [arrowsize="0.7" label="FirstTask:end"];
+  2 -> 4 [arrowsize="0.7" label=""];
+  7 -> 9 [arrowsize="0.7" label=""];
+  12 -> 14 [arrowsize="0.7" label="MakeJoy:start"];
+  14 -> 13 [arrowsize="0.7" label="MakeJoy:end"];
+  10 -> 12 [arrowsize="0.7" label=""];
+  15 -> 17 [arrowsize="0.7" label="DrinkBeers:start"];
+  17 -> 16 [arrowsize="0.7" label="DrinkBeers:end"];
+  13 -> 15 [arrowsize="0.7" label=""];
+  16 -> 11 [arrowsize="0.7" label=""];
+  9 -> 10 [arrowsize="0.7" label="[everyoneHappy]"];
+  11 -> 8 [arrowsize="0.7" label=""];
+  18 -> 20 [arrowsize="0.7" label=""];
+  21 -> 23 [arrowsize="0.7" label="DrinkBeer:start"];
+  23 -> 22 [arrowsize="0.7" label="DrinkBeer:end"];
+  20 -> 21 [arrowsize="0.7" label="[someoneHappy]"];
+  22 -> 19 [arrowsize="0.7" label=""];
+  24 -> 26 [arrowsize="0.7" label="DoNothingSpecial:start"];
+  26 -> 25 [arrowsize="0.7" label="DoNothingSpecial:end"];
+  20 -> 24 [arrowsize="0.7" label="[not(someoneHappy)]"];
+  25 -> 19 [arrowsize="0.7" label=""];
+  9 -> 18 [arrowsize="0.7" label="[not(everyoneHappy)]"];
+  19 -> 8 [arrowsize="0.7" label=""];
+  5 -> 7 [arrowsize="0.7" label=""];
+  27 -> 29 [arrowsize="0.7" label=""];
+  30 -> 32 [arrowsize="0.7" label=""];
+  33 -> 35 [arrowsize="0.7" label="DoSomething:start"];
+  35 -> 34 [arrowsize="0.7" label="DoSomething:end"];
+  32 -> 33 [arrowsize="0.7" label="[somethingToDo]"];
+  34 -> 31 [arrowsize="0.7" label=""];
+  36 -> 38 [arrowsize="0.7" label="DoNothing:start"];
+  38 -> 37 [arrowsize="0.7" label="DoNothing:end"];
+  32 -> 36 [arrowsize="0.7" label="[nothingToDo]"];
+  37 -> 31 [arrowsize="0.7" label=""];
+  39 -> 41 [arrowsize="0.7" label="WaitAndSee:start"];
+  41 -> 40 [arrowsize="0.7" label="WaitAndSee:end"];
+  32 -> 39 [arrowsize="0.7" label="WaitAndSee:"];
+  40 -> 31 [arrowsize="0.7" label=""];
+  29 -> 28 [arrowsize="0.7" label="[endOfTheDay]"];
+  29 -> 30 [arrowsize="0.7" label="[not(endOfTheDay)]"];
+  31 -> 29 [arrowsize="0.7" label=""];
+  8 -> 27 [arrowsize="0.7" label=""];
+  28 -> 3 [arrowsize="0.7" label=""];
+  0 -> 2 [arrowsize="0.7" label="Complete:start"];
+  3 -> 1 [arrowsize="0.7" label="Complete:end"];
 }

data/spec/command/main/gisele_help.stdout

@@ -10,6 +10,9 @@ OPTIONS
       --ast=[MODE]                 Compile as an abstract syntax tree (debug,ruby)
       --graph=[MODE]               Compile as a workflow graph (dot)
       --glts=[MODE]                Compile as guarded labeled transition system (dot)
+  -d, --deterministic              Determinize gtls output?
+  -e, --explicit                   Explicit guards in gtls output?
+  -s, --separate                   Split guards from events in glts output?
       --help                       Show this help message
       --version                    Show version and exit
 

data/spec/command/main/gisele_no_sugar.stdout

@@ -5,7 +5,7 @@
         "Complete",
         [
             :trackvar_def,
-            "everyOneHappy",
+            "everyoneHappy",
             [
                 :event_set,
                 "FirstTask:start"
@@ -29,6 +29,39 @@
             ],
             false
         ],
+        [
+            :trackvar_def,
+            "endOfTheDay",
+            [
+                :event_set
+            ],
+            [
+                :event_set
+            ],
+            nil
+        ],
+        [
+            :trackvar_def,
+            "somethingToDo",
+            [
+                :event_set
+            ],
+            [
+                :event_set
+            ],
+            nil
+        ],
+        [
+            :trackvar_def,
+            "nothingToDo",
+            [
+                :event_set
+            ],
+            [
+                :event_set
+            ],
+            nil
+        ],
         [
             :task_def,
             "DrinkBeers",

data/spec/command/main/gisele_version.stdout

@@ -1,2 +1,2 @@
-gisele 0.5.0 (c) The University of Louvain
+gisele 0.6.0 (c) The University of Louvain
 SystemExit

data/spec/fixtures/tasks/complete.gis

@@ -1,6 +1,6 @@
 task Complete
 
-  trackvar everyOneHappy
+  trackvar everyoneHappy
     {FirstTask:start}
 
   fluent someoneHappy
@@ -8,6 +8,10 @@ task Complete
     {DoNothingSpecial:end}
   initially false
 
+  trackvar endOfTheDay   {}
+  trackvar somethingToDo {}
+  trackvar nothingToDo   {}
+
   task DrinkBeers
     while not(drunk)
       DrinkBeer

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: gisele
 version: !ruby/object:Gem::Version
-  version: 0.5.1
+  version: 0.6.0
   prerelease: 
 platform: ruby
 authors:
@@ -9,11 +9,11 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2012-07-20 00:00:00.000000000 Z
+date: 2012-10-16 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rake
-  requirement: &70306421708120 !ruby/object:Gem::Requirement
+  requirement: !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
@@ -21,10 +21,15 @@ dependencies:
         version: 0.9.2
   type: :development
   prerelease: false
-  version_requirements: *70306421708120
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.9.2
 - !ruby/object:Gem::Dependency
   name: rspec
-  requirement: &70306421705080 !ruby/object:Gem::Requirement
+  requirement: !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
@@ -32,21 +37,31 @@ dependencies:
         version: '2.11'
   type: :development
   prerelease: false
-  version_requirements: *70306421705080
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '2.11'
 - !ruby/object:Gem::Dependency
   name: path
-  requirement: &70306421702520 !ruby/object:Gem::Requirement
+  requirement: !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: '1.2'
+        version: '1.3'
   type: :runtime
   prerelease: false
-  version_requirements: *70306421702520
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '1.3'
 - !ruby/object:Gem::Dependency
   name: quickl
-  requirement: &70306421700760 !ruby/object:Gem::Requirement
+  requirement: !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
@@ -54,10 +69,15 @@ dependencies:
         version: 0.4.3
   type: :runtime
   prerelease: false
-  version_requirements: *70306421700760
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.4.3
 - !ruby/object:Gem::Dependency
   name: awesome_print
-  requirement: &70306421692720 !ruby/object:Gem::Requirement
+  requirement: !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
@@ -65,10 +85,15 @@ dependencies:
         version: '1.0'
   type: :runtime
   prerelease: false
-  version_requirements: *70306421692720
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '1.0'
 - !ruby/object:Gem::Dependency
   name: yargi
-  requirement: &70306421690940 !ruby/object:Gem::Requirement
+  requirement: !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
@@ -76,29 +101,28 @@ dependencies:
         version: 0.2.0
   type: :runtime
   prerelease: false
-  version_requirements: *70306421690940
-- !ruby/object:Gem::Dependency
-  name: stamina-core
-  requirement: &70306421688480 !ruby/object:Gem::Requirement
+  version_requirements: !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 0.5.3
-  type: :runtime
-  prerelease: false
-  version_requirements: *70306421688480
+        version: 0.2.0
 - !ruby/object:Gem::Dependency
-  name: gisele-language
-  requirement: &70306421686800 !ruby/object:Gem::Requirement
+  name: gisele-analysis
+  requirement: !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 0.5.0
+        version: 0.6.0
   type: :runtime
   prerelease: false
-  version_requirements: *70306421686800
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.6.0
 description: ! 'This is a fresh-new implementation of the process analysis techniques
 
   developed in the Gisele and PIPAS research projects at UCLouvain'
@@ -106,6 +130,7 @@ email:
 - blambeau@gmail.com
 executables:
 - gisele
+- tast2fsp
 extensions: []
 extra_rdoc_files:
 - README.md
@@ -118,21 +143,45 @@ files:
 - Gemfile
 - Gemfile.lock
 - bin/gisele
+- bin/tast2fsp
+- examples/dqaad/dqaad.gif
+- examples/dqaad/dqaad.gis
+- examples/meeting-scheduler/MeetingScheduling.dot
+- examples/meeting-scheduler/MeetingScheduling.gif
 - examples/meeting-scheduler/MeetingScheduling.gis
-- examples/merge/BreastCancer.dot
-- examples/merge/BreastCancer.gif
-- examples/merge/BreastCancer.gis
-- examples/merge/Merge.dot
-- examples/merge/Merge.gif
-- examples/merge/RectalCancer.dot
-- examples/merge/RectalCancer.gif
-- examples/merge/RectalCancer.gis
+- examples/rectal-cancer-pathway/RectalCancerPathway.dot
+- examples/rectal-cancer-pathway/RectalCancerPathway.gif
 - examples/rectal-cancer-pathway/RectalCancerPathway.gis
+- examples/union/breast/deterministic.dot
+- examples/union/breast/deterministic.gif
+- examples/union/breast/glts.dot
+- examples/union/breast/glts.gif
+- examples/union/breast/minimal.dot
+- examples/union/breast/minimal.gif
+- examples/union/breast/wf.dot
+- examples/union/breast/wf.gif
+- examples/union/breast.gis
+- examples/union/dot.rb
+- examples/union/merged.dot
+- examples/union/merged.gif
+- examples/union/minim.dot
+- examples/union/minim.gif
+- examples/union/rectal/deterministic.dot
+- examples/union/rectal/deterministic.gif
+- examples/union/rectal/glts.dot
+- examples/union/rectal/glts.gif
+- examples/union/rectal/minimal.dot
+- examples/union/rectal/minimal.gif
+- examples/union/rectal/wf.dot
+- examples/union/rectal/wf.gif
+- examples/union/rectal.gis
+- examples/union/union.gis
+- examples/union/union.rb
+- examples/while/while-deteministic.gif
+- examples/while/while.dot
+- examples/while/while.gif
+- examples/while/while.gis
 - lib/gisele/command.rb
-- lib/gisele/compiling/to_glts.rb
-- lib/gisele/compiling/to_graph.rb
-- lib/gisele/compiling/to_graph.yml
-- lib/gisele/compiling.rb
 - lib/gisele/errors.rb
 - lib/gisele/loader.rb
 - lib/gisele/version.rb
@@ -159,8 +208,6 @@ files:
 - spec/fixtures/tasks/simple.gis
 - spec/spec_helper.rb
 - spec/test_examples.rb
-- spec/unit/compiling/test_to_glts.rb
-- spec/unit/compiling/test_to_graph.rb
 - spec/unit/test_gisele.rb
 - tasks/debug_mail.rake
 - tasks/debug_mail.txt
@@ -188,7 +235,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 1.8.15
+rubygems_version: 1.8.24
 signing_key: 
 specification_version: 3
 summary: Gisele is a Process Analyzer Toolset
@@ -211,6 +258,4 @@ test_files:
 - spec/fixtures/tasks/simple.gis
 - spec/spec_helper.rb
 - spec/test_examples.rb
-- spec/unit/compiling/test_to_glts.rb
-- spec/unit/compiling/test_to_graph.rb
 - spec/unit/test_gisele.rb