Skip to content
#

test-case-generation

Star

Here are 6 public repositories matching this topic...

Language: All
Filter by language
All 6 JavaScript 2 C# 1 Haskell 1 Kotlin 1 Python 1

TorXakis / TorXakis

Star
Open

Parser error: Unclear scoping - decision needed

5
pjljvandelaar
pjljvandelaar commented Dec 13, 2018

The following model is accepted by TorXakis:

PROCDEF p [Input1, Input2 :: Int; Output :: Int] () ::=
        Input1 ? x 
    >-> Input2 ? y [[ x <> y ]] 
    >-> Output ! x + y | Input1 ?x | Input2 ?y [[ x == y ]]
    >-> Output ! x + y
    >-> STOP
ENDDEF

CHANDEF chans ::= Input1,Input2, Output :: Int ENDDEF

MODELDEF M ::=
    CHAN IN Input1, Input2
    CHAN OUT Output
    SY
Read more
component-bexpr component-txs-compiler documentation needs-more-information
Find more good first issues →

Improve this page

Add a description, image, and links to the test-case-generation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the test-case-generation topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.