Skip to content

Bug fixes in CharIn domain for Contains and Trim#2

Open
pkalita595 wants to merge 1 commit into
alexjordan:string-domains-tacas-2017from
pkalita595:string-domains-tacas-2017
Open

Bug fixes in CharIn domain for Contains and Trim#2
pkalita595 wants to merge 1 commit into
alexjordan:string-domains-tacas-2017from
pkalita595:string-domains-tacas-2017

Conversation

@pkalita595

Copy link
Copy Markdown

We have found bugs in Contains and Trim abstract transformers in Character Inclusion domain.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant