Closed khieta closed 9 months ago
Issue #, if available:
Description of changes:
Fix for cedar#589, which updates the integration test format. That PR must be merged before the CI will succeed for this PR.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Actually, CI will work even for the older version of cedar because this PR tests a weaker property.
cedar
Issue #, if available:
Description of changes:
Fix for cedar#589, which updates the integration test format. That PR must be merged before the CI will succeed for this PR.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.