esterel-test

Tests for the Esterel implementation in Racket

Build status: ok passing tests valid license

README Download
Authors
Documentation
    Tags
    License
    Last updatedWednesday, June 4th, 2025 6:53:31pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/rfindler/esterel.git?path=esterel-test29529c8586e182b6e3adceb1fa25292eef5b6238
    Last checkedMonday, October 27th, 2025 6:40:52am (UTC)
    Last editedFriday, February 24th, 2023 10:21:04pm (UTC)
    Date addedWednesday, February 22nd, 2023 3:22:28pm (UTC)
    Modules
    • esterel/tests/non-constructive.rkt
    • esterel/tests/hiphop-tests/run-tests.rkt
    • esterel/tests/await-cases.rkt
    • esterel/tests/exn.rkt
    • esterel/tests/p-n.rkt
    • esterel/tests/popl-19.rkt
    • esterel/tests/dynamic-signals.rkt
    • esterel/tests/private/util.rkt
    • esterel/tests/hiphop-tests/parse.rkt
    • esterel/tests/par-trap.rkt
    • esterel/tests/docs-complete.rkt
    • esterel/tests/hiphop-tests/find.rkt
    • esterel/tests/pre.rkt
    • esterel/tests/basic.rkt
    • esterel/tests/hiphop-tests/convert.rkt
    • esterel/tests/signal-value.rkt