Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Partial behavior change and corresponding tests #228

Merged
merged 4 commits into from
Jun 21, 2024
Merged

Partial behavior change and corresponding tests #228

merged 4 commits into from
Jun 21, 2024

Conversation

eliotwrobson
Copy link
Collaborator

@eliotwrobson eliotwrobson commented Jun 11, 2024 •
edited
Loading

Change the checks for behavior when dealing with partial DFAs. Resolves #219 @caleb531

@eliotwrobson eliotwrobson self-assigned this Jun 11, 2024
@coveralls
Copy link

Coverage Status

coverage: 99.613%. remained the same
when pulling d55a878 on eliotwrobson:partial_behavior_change
into 6246b26 on caleb531:develop.

@coveralls
Copy link

Coverage Status

coverage: 99.613%. remained the same
when pulling 2dabc18 on eliotwrobson:partial_behavior_change
into 6246b26 on caleb531:develop.

@coveralls
Copy link

Coverage Status

coverage: 99.613%. remained the same
when pulling 903d312 on eliotwrobson:partial_behavior_change
into 6246b26 on caleb531:develop.

@coveralls
Copy link

Coverage Status

coverage: 99.613%. remained the same
when pulling 5cf29cf on eliotwrobson:partial_behavior_change
into 6246b26 on caleb531:develop.

1 similar comment
@coveralls
Copy link

Coverage Status

coverage: 99.613%. remained the same
when pulling 5cf29cf on eliotwrobson:partial_behavior_change
into 6246b26 on caleb531:develop.

caleb531
caleb531 approved these changes Jun 21, 2024
View reviewed changes
Copy link
Owner

@caleb531 caleb531 left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@eliotwrobson Sorry I hadn't gotten to this—been a busy couple weeks. But looks good to me!

@eliotwrobson eliotwrobson merged commit 70ddad2 into caleb531:develop Jun 21, 2024
16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@caleb531 caleb531 caleb531 approved these changes

Assignees

@eliotwrobson eliotwrobson

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@eliotwrobson @coveralls @caleb531