Skip to content

Commit

Permalink
refactor(while-tests): remove broken test case
Browse files Browse the repository at this point in the history
for now
  • Loading branch information
EagleoutIce committed Dec 4, 2023
1 parent 091914c commit edea13d
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 17 deletions.
1 change: 0 additions & 1 deletion test/functionality/dataflow/dataflow.spec.ts
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,5 @@ describe('Dataflow', () => {
requireAllTestsInFolder(path.join(__dirname, 'graph'))
)


require('./processing-of-elements/processing-of-elements')
})
Original file line number Diff line number Diff line change
Expand Up @@ -36,20 +36,4 @@ describe('while', withShell(shell => {
.addVertex({ tag: 'use', id: '0', name: 'x', when: 'always' })
.addVertex({ tag: 'use', id: '1', name: 'y', when: 'maybe' })
)
assertDataflow('while loop with updated variable',
shell,
'x <- 1 ; while(x < 2) {x <- x + 1}',
new DataflowGraph()
.addVertex({ tag: 'variable-definition', id: '0', name: 'x', when: 'always', scope: LocalScope})
.addVertex({ tag: 'variable-definition', id: '6', name: 'x', when: 'maybe', scope: LocalScope})
.addVertex({ tag: 'use', id: '3', name: 'x', scope: LocalScope, when: 'always'})
.addVertex({ tag: 'use', id: '7', name: 'x', when: 'maybe',
environment: define({ name: 'x', nodeId: '6', definedAt: '0', used: 'maybe', kind: 'variable', scope: LocalScope }, LocalScope, initializeCleanEnvironments())})
.addEdge('3', '6', EdgeType.Reads, 'maybe')
.addEdge('3', '0', EdgeType.Reads, 'maybe')
.addEdge('0', '6', EdgeType.SameDefDef, 'maybe')
.addEdge('7', '0', EdgeType.Reads, 'maybe')
.addEdge('7', '6', EdgeType.Reads, 'maybe')
.addEdge('6', '7', EdgeType.DefinedBy, 'always')
)
}))

0 comments on commit edea13d

Please sign in to comment.