search

christoff-buerger / racr

Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
MIT License
30 stars 9 forks source link

Sagittarius Scheme fails test suite #60

Closed christoff-buerger closed 8 years ago

christoff-buerger commented 8 years ago

Sagittarius Scheme fails the following tests:

Composed Petri nets: purchase-processing.scm and syntax-tests.scm

Unhandled exception
  Condition components:
  1. petrinets-exception
  2. &message Cannot compose Petri nets; The composed net is not well-formed.
  3. &stack-trace

stack trace:
  [1] raise-continuable
  [2] run-tests
    src: (ap:exception: "Cannot compose Petri nets; The com
  [3] load

Note: runtime-structure-example-slide.scm passes.

SiPLE: correct/closures.siple

Segmentation fault: 11
christoff-buerger commented 8 years ago

Reported the issue at ktakashi/sagittarius-scheme#1.

christoff-buerger commented 8 years ago

Commit ktakashi/sagittarius-scheme@7dba3517e497b3a748fdff58ed36b8c9e03b69c6 fixes the issue.